TY - BOOK AU - "Wang, Laung Terng" TI - "Electronic Design Automation : Synthesis, Verification ,& Test" U1 - WAN PB - Elsevier ER -