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 (hbk.)
PY  - 2009///
CY  - Burlington, MA.
PB  - Morgan Kaufmann
KW  - Electronic circuit design
KW  - Data processing
KW  - Computer-aided design
N1  - Includes bibliographical references and index
ER  -