Wang, Laung Terng Electronic design automation: synthesis, verification, and test - AMSTERDAM Elsevier 2010 - 934 ISBN: 9780123743640 Subjects--Topical Terms: ELECTRONICS AND COMMUNICATION ENGINEERING Dewey Class. No.: 621.395 WAN/CHA