Srikanth Vijayaraghavan, Meyyappan Ramanathan <br/><br/>
A Practical Guide for SystemVerilog Assertions 

 - Germany  Springer  2014 
<br/><br/><label>ISBN: </label>137011 
<br/><br/><label>Subjects--Topical Terms: </label><br/>A Practical Guide for SystemVerilog Assertions