Questa PropCheck is the perfect tool to accelerate bug detection, error correction and coverage closure. It easily verifies designs with assertions; analyzing design behavior vs. the desired behavior described by the assertions identifying all design states that are reachable from the initial state.
Define the intended behavior
Even the most well written constrained-random testbenches cannot traverse every part of a design’s state space. The truth is that simulation-based verification is fundamentally incomplete for even small DUTs. It can take many weeks before a simulation testbench is created, providing a window of opportunity for complex bugs to be written into the IP.
Verification Academy provides the skills necessary to mature an organization's functional verification process capabilities, providing a methodological bridge between high-level value propositions and the low-level details.
Insight and updates on concepts, values, standards, methodologies, and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.
The Verification Horizons publication provides concepts, values, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.