Title: Correct hardware design methodologies
Subjects: Computer software, Computer-aided design, Congresses, Integrated circuits, Verification, Very large scale integration