Formal equivalence checking and design debugging /

Bibliographic Details
Main Author:	Huang, Shi-Yu, 1965-
Other Authors:	Cheng, Kwang-Ting, 1961-
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1998]
Series:	Frontiers in electronic testing ; 12.
Subjects:	Integrated circuits > Verification. Electronic circuit design > Data processing. Application-specific integrated circuits > Desing and construction.

Evans: Library Stacks