Title: Correct hardware design and verification methods
Subjects: Very large scale integration, Congresses, Verification, Integrated circuits, Computer-aided design