Vijayaraghavan, Srikanth <br/><br/>
A practical guide for systemverilog assertions/ 
Srikanth Vijayaraghavan and Meyyappan Ramanathan 
 - New York :  Springer,  2005 
<br/><br/><label>ISBN: </label>0387260498 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System Verilog Assertions
<br/><br/><label>Dewey Class. No.: </label>621.392  / VIJ