Electronic design automation for IC system design, verification, and testing / 
Edited by Luciano Lavagno, Igor L. Markov, Grant E. Martin, and Louis K. Scheffer 
 - 2nd ed. 
 - Boca Raton :  CRC Press, Taylor & Francis Group,  c2016. 
 - xix, 644p. :  ill. ;  28 cm. 
<br/><br/> Revised edition of: EDA for IC system design, verification, and testing. 2006. 
<br/><br/>
<br/><br/> As part of a two-book series devoted to Electronic Design Automation for Integrated Circuits, this first installment examines logical design, focusing on system-level and micro-architectural design, verification and testing. It begins with a general overview followed by application-specific tools and methods, specification and modeling languages, high-level synthesis approaches, power estimation methods, simulation techniques and testing procedures. 
<br/><br/><label>ISBN: </label>9781482254624 
<br/><br/><label>LCCN: </label>2015034494 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Design and construction<br/>Integrated circuits--Testing<br/>Integrated circuits--Computer-aided design
<br/><br/><label>Dewey Class. No.: </label>621.3815 EL EC