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 U1 - 621.395 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 -