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