Harry D. Foster

• Assertion-based design
• Assertion-based design
• Creating Assertion-Based IP
• Principles of verifiable RTL design