Title: Formal verification of hardware design
Subjects: Very large scale integration, Computer-aided design, Integrated circuits, Design and construction, Data processing, Computer software, Verification