Mehta, Ashok B., <br/><br/>
System Verilog assertions and functional coverage :  guide to language, methodology and applications / 
Ashok B. Mehta 
 - Third edition 
 - 1 online resource 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9783030247379 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Verilog (Computer hardware description language)<br/>Electronic digital computers--Design and construction<br/>Integrated circuits--Verification