Creating Assertion-Based IP (Series on Integrated Circuits and Systems) | lit.salon