TY - BOOK AU - Wang, Laung Terng AU - Wang, Laung TerngChang, Yao Wen, Cheng, Kwang Ting (Tim) TI - Electronic design automation: synthesis, verification, and test SN - 9780123743640 U1 - 621.395 WAN/CHA PY - 2010/// CY - AMSTERDAM PB - Elsevier KW - ELECTRONICS AND COMMUNICATION ENGINEERING ER -