Electronic design automation :  synthesis, verification, and test / 
edited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng 
 - Boston :  Morgan Kaufmann,  2009 
 - xxxv, 934 p. :  ill. ;  24 cm. 
 - The Morgan Kaufmann series in systems on silicon .
<br/><br/><label>ISBN: </label>0123743648 9780123743640 
<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   / .E44 2009