Title: Correct hardware design and verification methods
First published: 1995
Subjects: Congresses, Integrated circuits, Verification, Data processing, Very large scale integration, Computer-aided design, Design and construction
LC classification: TK7874.75