TY  - BOOK
AU  - Wang, Laung-Terng.
AU  - Chang, Yao-Wen,
AU  - Cheng, Kwang-Ting,
TI  - Electronic design automation: synthesis, verification, and test 
SN  - 9780123743640
PY  - 2009///
CY  - Boston
PB  - Morgan Kaufmann/Elsevier
KW  - Electronic circuit design
KW  - Data processing
KW  - Computer-aided design
N1  - Includes bibliographical references and index
ER  -