Introduction to SVA Assertions for Design Engineers

Publication: Design & Reuse
Contributor: Cyclic Design, LLC

March 10, 2011 -- 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 article 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 article 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.

By Eric Deal. (Deal is with Cyclic Design, LLC.)

Reprinted from, your first stop for ASIC, FPGA, EDA, and IP news and design information.
Copyright 2002 - 2014 Tech Pro Communications, 1209 Colts Circle, Lawrenceville, NJ 08648