Electronic design automation : synthesis, verification, and test - Wang, Laung-Terng.; Chang, Yao-Wen, 1966-; Cheng, Kwang-Ting, 1961- (Burlington, MA. : Morgan Kaufmann, 2009)
Includes bibliographical references and index.
Keywords: Electronic circuit design -- Data processing; Computer-aided design