Eduard Cerny <br/><br/>
SVA: The Power of Assertions in SystemVerilog 

 -  Springer  2nd ed./ 2016 
<br/><br/><label>ISBN: </label>9783319331096