Functional Verification

Questa Formal Verification

Complements simulation-based RTL design verification.

The Questa Formal Verification tool complements simulation-based RTL design verification by analyzing all possible behaviors of the design to detect any reachable error states.

request for more info

Automated formal applications
Static and conditional connectivity checking
Exhaustive solutions for complex verification challenges

The Questa Formal Verification tool complements simulation-based RTL design verification by analyzing all possible behaviors of the design to detect any reachable error states. This exhaustive analysis ensures that critical control blocks work correctly in all cases and locates design errors that may be missed in simulation.

Questa Formal Verification can be used as soon as the design is complete to debug blocks before integration, and to find potential errors long before simulation test environments are available. Sharing a common language front end with the Questa Simulator and leveraging the integration with the Unified Coverage Database (UCDB), Questa Formal Verification is the perfect tool to accelerate bug detection, error correction and coverage closure.

How Questa Formal Verification Works

Questa Formal Verification analyzes the behavior of the design to identify all design states that are reachable from the initial state. This analysis allows Questa Formal Verification to explore the whole state space in a breadth-first manner, in contrast to the depth-first approach used in simulation.

Questa Formal Verification is therefore able to discover 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. At the same time, this approach inherently identifies unreachable coverage points, which helps accelerate coverage closure.

Automatic Push-Button Solutions

Questa Formal Verification solutions provide easy-to-use, next generation automatic applications for checking many common design errors. For example, the Questa X-Check solution uses formal algorithms to exhaustively solve the twin problems of X-optimism and X-pessimism that occur due to X-values (unknown signal levels) in designs; finding bugs (errors) that would not have been found with traditional simulation-based verification technology.

The Questa Verificaton Solution

The Questa Verification Solution continues to evolve in response to the growing complexity of SoC designs. Besides the sheer size of designs, the inclusion of multiple embedded processors and advanced interconnect systems, increasing software content and the configurability required by multi-platform based designs require a functional verification solution that unifies a broad arsenal of verification solutions.

Download DataSheet

READY TO TALK TO SOMEONE TODAY?

We're standing by to answer your questions.