IP cores design from specifications to production modeling, verification, optimization, and protection - Mohamed, Khaled Salah (Springer, 2016)