IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection | EKB DL