Title: The fusion of hardware design and verification
Subjects: Computer-aided design, Congresses, Integrated circuits, Verification, Design and construction, Data processing, Computer software