Title: Formal equivalence checking and design debugging
First published: 1998
Subjects: Verification, Data processing, Electronic circuit design, Application specific integrated circuits, Integrated circuits, Design and construction, Electronic circuit design, data processing
LC classification: TK7874 .H82 1998