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 :  illustrations (some color). 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>9783030247379 3030247376 
<br/><br/><label>Nat. Bib. No.: </label>GBB9H3092  bnb 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Verilog (Computer hardware description language)<br/>Electronic digital computers--Design and construction.<br/>Integrated circuits--Verification.
<br/><br/><label>Dewey Class. No.: </label>621.39