| |
-
book
 The Art of Verification with SystemVerilog Assertions (Paperback)
Highlights include: Teaches the SVA lanaguage using simple easy-to-understand language.
Teaches SVA semantics by examples.
Detailed discussion of SVA and assertion-based verification Identifying design areas that need assertions Applying SVA assertions to both simulation- and formal Practical issues with SVA ¿ Describing design behavior in SVA ¿ Verifying protocol conformity ¿ Verifying data integrity ¿ Developing an effective functional...
preview:
http://www.amazon.com
6/1/2007
Tags: verification, verilog
 |
