Title: Advances in hardware design and verification
First published: 1997
Subjects: Congresses, Computer engineering, Verification, Integrated circuits, Computer software