This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
May-June 2008 (vol. 25 no. 3)
pp. 284-285
Grant Martin, Tensilica
This is a review of Creating Assertion-Based IP (by Harry D. Foster and Adam C. Krolnik)—a tutorial on creating assertion-based verification IP for real designs, applicable to various classes of design blocks found in today's systems. This book uses the specific syntax of System-Verilog Assertions (SVA) and the verification environment of the Advanced Verification Methodology (AVM). However, the same principles apply to other assertion specification languages and within the context of other verification environments. Perhaps most importantly, this book teaches a way of thinking about creating and using assertion-based verification IP.
Index Terms:
verification IP, assertion-based IP, System-Verilog Assertions, Advanced Verification Methodology, Open Verification Methodology
Citation:
Grant Martin, "Learning to assert yourself," IEEE Design & Test of Computers, vol. 25, no. 3, pp. 284-285, May-June 2008, doi:10.1109/MDT.2008.78
Usage of this product signifies your acceptance of the Terms of Use.