Title: Correct hardware design and verification methods
First published: 1993
Subjects: Congresses, Computer-aided design, Verification, Data processing, Computer software, Integrated circuits, Design and construction