621.381548 <br/>
Li, Lun,  1970- <br/>
       Digital system verification : a combined formal methods and simulation framework /  [electronic resource] : 
 / Lun Li, Mitchell A. Thornton. 
 .- San Rafael, Calif. (1537 Fourth Street, San Rafael, CA  94901 USA) :: Morgan & Claypool Publishers,,  c2010. 
 .- 1 electronic text (79 p. : ill.) :.  digital file. 
  ** Synthesis lectures on digital circuits and systems,  *  # 27  1932-3174 ;  )
<br/><label>LC Class. No.: </label>TK7874.58  / .L53 2010 
 - Synthesis lectures on digital circuits and systems,  # 27. .
<br/>Part of: Synthesis digital library of engineering and computer science. Series from website. 
<br/>Includes bibliographical references (p. 71-78). 
<br/> Abstract freely available; full-text restricted to subscribers or individual document purchasers. 
<br/> Compendex  INSPEC  Google scholar  Google book search 
<br/>
<br/><br/>Mode of access: World Wide Web. <br/>System requirements: Adobe Acrobat reader. 
<br><u>ISBN:</u> 9781608451791 (electronic bk.) 
<br/><label>Standard No.: </label>10.2200/S00257ED1V01Y201002DCS027  doi 
<br/><u>Subject Headings:</u> <br/>Integrated circuits;--Verification.<br/>Formal methods (Computer science);<br/>Integrated circuits;--Computer simulation.
<br/><U>Author Added Entry: </u><br/>Thornton, Mitchell Aaron.;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBKE241</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>