IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection - Mohamed, Khaled Salah (Springer International Publishing : Imprint: Springer, 2016)