IP Cores Design from Specifications to Production: Modeling, Verification,: New