Title: Formal hardware verification
Subjects: Very large scale integration, Formal methods (Computer science), Computer-aided design, Verification, Integrated circuits, Integrated circuits, very large scale integration, Computer input-output equipment, Formal languages, Design and construction, Data processing