TY - BOOK AU - Chang,Yao-Wen AU - Cheng,Kwang-Ting AU - Wang,Laung-Terng TI - ELECTRONIC design automation: synthesis, verification, and test T2 - The Morgan Kaufmann series in systems on silicon SN - 9780123743640 AV - TK7867 .E4227 2009 PY - 2009/// CY - Amsterdam, Boston PB - Morgan Kaufmann/Elsevier KW - Computer-aided design KW - Electronic circuit design KW - Data processing N1 - Includes bibliographical references and index ER -