Title: Advanced verification techniques
First published: 2004
Subjects: Verification, Integrated circuits
LC classification: TK7874.58 .S54 2004