Title: Creating assertion-based IP
Subjects: Verification, Integrated circuits, Systems engineering, Computer engineering, Computer-aided design, Engineering