Title: Professional verification
Subjects: Design and construction, Integrated circuits, Verification