Title: Formal methods in circuit design
First published: 1993
Subjects: Very large scale integration, Integrated circuits, Testing, Computer-aided design, Data processing, Computers, circuits, Computers, Circuits
LC classification: TK7874.75 .S88 1993