Title: Applied formal verification
Subjects: Electronic circuits, Testing, Verification, Integrated circuits