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