"Creating Assertion-Based IP" - читать интересную книгу автора (Harry D. Foster, Adam C. Krolnik)