Title: Hardware design verification
First published: 2005
Subjects: Verification, Integrated circuits
LC classification: TK7874.58 .L36 2005