Title: Practical design verification
Subjects: Verification, Integrated circuits