Electronic design automation : synthesis, verification, and test - Chang, Yao-Wen; Cheng, Kwang-Ting (Tim); Wang, Laung-Terng (Boston : Elsevier/Morgan Kaufmann, 2009)
Includes bibliographical references and index.
Keywords: Electronic circuit design -- -- Data processing; Computer-aided design; Electronic apparatus and appliances -- -- Computer-aided design; Electronic industries -- -- Automation; Software engineering