Questa Formal
Questa formal solutions uncover critical design flaws. It includes high capacity formal engines which enables non expert to use formal technology to find bugs early in the design phase. With extensive analysis, formal solutions increases productivity and functional verification quality. Questa Formal Verification Apps uses dynamic and formal approach unlike simulation-based RTL design verification by analyzing all possible behaviours of the design to detect any reachable error states.
Salient Features:
- Advance linting solutions
- Extensive analysis of clock domain crossings present in the designs.
- static and conditional connectivity checking
- Secure path integrity checking
- Unreachable code identification
- X-state propagation
- State space analysis and register verification
- Sequential logic equivalence
Application areas:
- Aerospace and defence
- Marine Industry
- Automotive industries
- Navigation and communication applications
- Consumer electronics