Formal equivalence checking and design debugging - Huang, Shi-Yu , 1965-; Cheng, Kwang-Ting 1961- (Boston : Kluwer Academic Publishers, 1998)
Περιλαμβάνει βιβλιογραφία και ευρετήριο
Keywords: Integrated circuits -- Verification; Electronic circuit design -- Data processing; Application specific integrated circuits -- Design and construction