Title: Formal specification and verification in VLSI design
First published: 1990
Subjects: Integrated circuits, Very large scale integration, Computer-aided design, Verification, Integrated circuits, very large scale integration, Design and construction, Testing, Data processing
LC classification: TK7874 .D39 1990