Title: Creating assertion-based IP
Subjects: Verification, Integrated circuits