Foster, Harry. <br/><br/>
Assertion-Based Design  [electronic resource] / 
by Harry Foster, Adam Krolnik, David Lacey. 
 - Second Edition. 
 - Boston, MA :  Springer Science + Business Media, Inc.,  2005. 
 - 1online resource (xxiii, 390 p.) :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9781402080289 (electronic bk.) 9781402080272 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Very large scale integration--Design and construction.<br/>Integrated circuits--Verification.
<br/><br/><label>Dewey Class. No.: </label>621.395