621.3815 <br/>
Boulé, Marc. <br/>
       Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /  [electronic resource] : 
 / by Marc Boulé, Zeljko Zilic. 
 .- XX, 280 p..  online resource. 
<br/><label>LC Class. No.: </label>TK7888.4 
<br><u>ISBN:</u> 9781402085864 
<br/><label>Standard No.: </label>10.1007/978-1-4020-8586-4  doi 
<br/><u>Subject Headings:</u> <br/>Engineering.;<br/>Programming languages (Electronic computers).;<br/>Computers.;<br/>Electronic circuits.;<br/>Engineering.;<br/>Circuits and Systems.;<br/>Theory of Computation.;<br/>Programming Languages, Compilers, Interpreters.;
<br/><U>Author Added Entry: </u><br/>Zilic, Zeljko.;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBK607</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>