Questa PropCheck demo

Questa Property Checking (PropCheck) supports general assertion-based formal verification to ensure that the design meets its specific functional requirements. With support for PSL, SVA, and OVL, including multi-clocked assertions, PropCheck easily verifies even very large designs with many assertions; analyzing the behavior of the design vs. the desired behavior described by the assertions to identify all design states that are reachable from the initial state.

In this session, you will learn:

This session will demo the Questa PropCheck tool and will review features including the details window, properties window, along with source, waveform and schematic debug features.