Applying Assertion-Based Formal Verification to Verification Hot Spots
|
Contributor: Ping Yeung, Sundaram Subramanian Format: PDF Document Based on our experience helping many design teams deploy assertions and
formal verification, we recommend deploying ABV (including formal model checking) on the most salient verification hot spots in a design, following a seven-step, formal verification planning process. By focusing ABV on verification hot spots, a design team can adopt ABV incrementally as
they continue to use their simulation-based methodology. This has the added benefit of minimizing the risks involved with adopting a new methodology while maximizing the return-on-investment. |