Vijayaraghavan, Srikanth <br/><br/>
Practical Guide for System Verilog Assertions 

 - Switzerland:  Springer,   2005. 
 - xx, ill,. 334p. 
<br/><br/><label>Dewey Class. No.: </label>621.392 VIJ