CERNY, E. et. al. <br/><br/>
SVA: THE POWER OF ASSERTIONS IN SYSTEM VERILOG 

 - 2 
 - LONDON  Springer  2015 
 - xix+590p.,24x16Cms. 
<br/><br/><label>ISBN: </label>3319071381 
<br/><br/><label>Dewey Class. No.: </label>621.38195404 C411