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