Electronic design automation :  synthesis, verification, and test / 
edited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng. 
 - Amsterdam ;  Boston :  Morgan Kaufmann/Elsevier,  c2009. 
 - xxxv, 934 p. :  ill. ;  25 cm. 
 - The Morgan Kaufmann series in systems on silicon .
 - Morgan Kaufmann series in systems on silicon. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780123743640 (alk. paper) 
<br/><br/><label>LCCN: </label>2008041788 
<br/><br/><label>Nat. Bib. No.: </label>GBA890529  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>014673816  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic circuit design--Data processing.<br/>Computer-aided design.
<br/><br/><label>LC Class. No.: </label>TK7867  / .E4227 2009 
<br/><br/><label>Dewey Class. No.: </label>621.39/5