Title: Applied Assertion-Based Verification
Subjects: Computers, Technology