Introduction to SVA Assertions for Design Engineers

by Eric Deal of Cyclic Design, LLC

Assertions and Assertion-Based Verification (ABV) are a hot topic, but many engineering teams remain unfamiliar with the benefits that assertions bring to the design and verification process. This paper discusses the rationale for using assertions, the benefits of using assertions throughout the design and verification process, and a step-by-step approach to implementing assertions within a design.

This online whitepaper is written from the viewpoint of a design engineer. Hopefully both design and verification engineers will see the relevance of (and humor in) these comments from the designer-centric world view.

You may also skip directly to the
Zocalo Zazz Video Tutorial

The PDF version of this whitepaper is also available at
http://www.zocalo-tech.com/files/designer_assertions.pdf