Title: Structure and behaviour in hardware verification
First published: 1993
Subjects: Verification, Integrated circuits, Computer hardware description languages