IP cores design from specifications to production: Modeling, verification, optimization, and protection | IEEE Conference Publication | IEEE Xplore