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

<br/><br/><label>ISBN: </label>9780387261737