EXHAUSTIVE SOLUTIONS FOR COMPLEX VERIFICATION CHALLENGES
Questa formal apps boost verification efficiency and design quality by exhaustively addressing verification tasks that are difficult to complete with traditional methods.
Questa Formal Verification
Questa AutoCheck
STATIC RTL BUG HUNTING
A fully-automatic formal bug hunting app that finds deeply hidden bugs due to common RTL coding errors, AutoCheck makes it possible to eliminate a wide range of bugs without a testbench.
Questa Connectivity Check
STATIC & DYNAMIC CONNECTIVITY
The Questa Connectivity Check app is a fully automated solution for exhaustively verifying static and dynamic connectivity without requiring knowledge of formal or property specification languages.
Questa Covercheck
CODE COVERAGE CLOSURE
Questa CoverCheck is an automatic formal solution for achieving code coverage closure faster, that addresses an incontrovertible fact of verification: some fraction of uncovered code always remains.
Questa Formal Assertion Library
ASSERTION-BASED VERIFICATION
A Formal Assertion Library improves quality and reduces schedules by building protocol and methodology expertise into packages of reusable assertions that support popular industry-standard interfaces.
Questa Post-Silicon Debug
ROOT CAUSE POST-SILICON BUGS
The Questa Post Silicon Debug app leverages formal analysis and property synthesis to rapidly root cause bugs in logic deep within an SoC and prove fixes will not break anything else.
Questa Property Checking
EXHAUSTIVE VERIFICATION
PropCheck exhaustively discovers any design errors that can occur, without needing specific stimulus to detect the bug. This ensures that the verified design is bug-free in all legal input scenarios.
Questa Register Check
REGISTER VERIFICATION
Questa Register Check app automates exhaustive verification of control&status register behavior against CSV or IP-XACT register specification.
Questa Secure Check
SECURE HW PATHS ANALYSIS
The Questa Secure Check app is a fully automated solution for exhaustively verifying that only the paths you specify can reach security or safety-critical storage elements.
Questa SLEC
RTL CODE BLOCK COMPARISONS
Questa SLEC automatically compares specification RTL and implementation RTL code blocks using exhaustive formal analysis. No knowledge of formal or property specification languages is required.
Questa X-Check
X-STATE VERIFICATION
Questa X-Check is an automated application that exhaustively roots out ‘X’ issues without a testbench.
READY TO TALK TO SOMEONE TODAY?
We're standing by to answer your questions.