Title: Hardware specification, verification, and synthesis
Subjects: Congresses, Verification, Data processing, Very large scale integration, Integrated circuits, Design and construction