Vijayaraghavan, Srikanth <br/><br/>
A practical guide for system verilog assertions 
Srikanth Vijayaraghavan, Meyyappan Ramanathan 
 - New Delhi  Springer (india) Private Limited  2005 
 - xxv, 334 p 
<br/><br/><label>ISBN: </label>9788184893397 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System Verilog
<br/><br/><label>Dewey Class. No.: </label>621.392 VIJ