Title: Symbolic simulation methods for industrial formal verification
First published: 2002
Subjects: Integrated circuits, Very large scale integration, Formal methods (Computer science), Verification, Design and construction, Integrated circuits, very large scale integration
LC classification: TK7874.75 .J66 2002, TK7874.75 .J66 2002