TY - BOOK AU - Wang,Laung-Terng AU - Chang,Yao-Wen AU - Cheng,Kwang-Ting TI - Electronic design automation: synthesis, verification, and test T2 - Systems on silicon SN - 9780123743640 PY - 2009/// CY - Burlington, MA PB - Morgan Kaufmann KW - Electronic circuit design KW - Data processing KW - Computer KW - Aided design ER -