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