Electronic design automation : synthesis, verification, and test 
edited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng 
 - Amsterdam ; Boston  Morgan Kaufmann/Elsevier  2009 
 - xxxv, 934 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780123743640 
<br/><br/><label>ISSN: </label>2008041788 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer-aided design<br/>Electronic circuit design - Data processing
<br/><br/><label>Dewey Class. No.: </label>621.395 WAN