Title: Introduction to Formal Hardware Verification
Subjects: Very large scale integration, Computer-aided design, Verification, Integrated circuits, Computer input-output equipment