TY  - BOOK
AU  - Wang,Laung-Terng
AU  - Chang,Yao-Wen
AU  - Cheng,Kwang-Ting (Tim)
TI  - Electronic design automation: synthesis, verification, and test 
T2  - The Morgan Kaufmann series in systems on silicon
SN  - 0123743648
AV  - TK7867  .E44 2009
PY  - 2009///
CY  - Boston
PB  - Morgan Kaufmann
KW  - Electronic circuit design
KW  - Data processing
KW  - Computer-aided design
ER  -