Mehta,Ashok B  <br/><br/>
SystemVerilog assertions and functional coverage : guide to language, methodology and applications 

 - 2nd Ed. 
 - Switzerland :  Springer,  ©2016 
 - 406p. 
<br/><br/><label>ISBN: </label>9783319305387 
<br/><br/><label>Dewey Class. No.: </label>621.392  / ASH