Formal equivalence checking and design debugging - Huang, Shi-Yu.; Cheng, Kwang-Ting. (Boston : Kluwer Academic, 1998)
3
Keywords: Intergrated circuirts -- Verification; Electronic circuit design -- Data processing; Application specific integrated circuits -- Design and construction