Ashok B   Mehta <br/><br/>
System Verilog Assertions and Functional Coverage 

 - Third Edition 2020 
 -  springer  2020 
<br/><br/><label>ISBN: </label>9783030247379 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic Circuits and Systems<br/>Engineering