Vijayaraghavan, Srikanth Ramanathan, Meyyappan <br/><br/>
A Practical guide for system verilog assertions 
/ Srikanth Vijayaraghavan and Meyyappan Ramanathan 
 - New York  Springer  2005 
 - xxv, 327 p. 
<br/><br/><label>ISBN: </label>9780387260495 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer engineering<br/> Verilog (Computer hardware description language)<br/>Systems engineering
<br/><br/><label>Dewey Class. No.: </label>621.392  / VIJ