Foster, Harry D. <br/><br/>
Creating Assertion-Based IP  [electronic resource] / 
by Harry D. Foster, Adam C. Krolnik. 
 - Boston, MA :  Springer Science+Business Media, LLC,  2008. 
 - xviii, 313 p. :  ill., digital ;  24 cm. 
<br/><br/><label>ISBN: </label>9780387683980 (electronic bk.) 9780387366418 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.
<br/><br/><label>LC Class. No.: </label>TK7874.75  / .F683 2008 
<br/><br/><label>Dewey Class. No.: </label>621.381548