Functional Verification

Questa inFact

Questa inFact is the industry’s most advanced Portable Stimulus testbench automation solution.

It targets as much functionality as traditional constrained random testing, achieves coverage goals 10X to 100X faster, and scales across block, subsystem, and SoC level.

request for more information

Targets as much functionality as traditional constrained random testing
Achieves coverage goals 10x to 100x faster
Scales across block, subsystem and SoC level

Portable Stimulus Testbench Automation Solution

Questa inFact is the industry’s most advanced Portable Stimulus testbench automation solution. It targets as much functionality as traditional constrained random testing, achieves coverage goals 10X to 100X faster, and scales across block, subsystem, and SoC level.

This enables engineering teams to complete their functional verification process in less time, and/or to expand their coverage goals, testing functionality that previously fell below the cut line. Questa inFact also generates tests that an engineer might not envision, reaching difficult corner cases that alternative testing techniques typically miss.

Using Questa inFact technology ensures high quality products.

Details

Evolutionary Steps

Revolutionary results are not enough. Advanced technology must fit into existing processes and flows. Questa inFact integrates into current verification environments with little to no disruption. It supports the UVM, standard languages such as SystemVerilog, SystemC, C/C++, and even C tests for embedded processors. In a SystemVerilog environment, Questa inFact can reuse existing classes, constraints, and covergroups, allowing teams to continue benefiting from these existing descriptions.

Repeatable results

The number of companies turning to Questa inFact is growing exponentially. The minimum result experienced to date has been 10X faster achievement of target coverage. But many companies have gained 100X or better. Why such dramatic gains in productivity? The nature of constrained random testing lends itself to uncontrollable redundancy. While some repetition can be valuable, Questa inFact enables engineers to control the amount of redundancy desired, while generating the same or a higher quantity of tests.

Examples

One networking company was able to achieve more coverage in 48 CPU hours with Questa inFact than they achieved with constrained random testing in 3175 hours. That’s a gain of 66X. A consumer electronics company was stuck at 60% of their target coverage after 8 weeks of simulation on 6 CPUs. With Questa inFact they were able to achieve 100% of their target coverage in just 36 hours on the same 6 CPUs. That’s a gain of 37X plus 40% more coverage. In both cases, the time needed to integrate Questa inFact was less than a couple of days.

READY TO TALK TO SOMEONE TODAY?

We're standing by to answer your questions.