Path: EDN Asia >> Product Centre >> Test & Measurement >> Mentor Graphics sol'ns enable formal verification
Test & Measurement Share print

Mentor Graphics sol'ns enable formal verification

19 Oct 2012

Share this page with your friends

Mentor Graphics Corp. has uncloaked formal-based technologies in the Questa Verification Platform that according to the company offer mainstream users with the ability to easily perform exhaustive formal verification analysis. The Questa AutoCheck technology delivers fully automated formal checking analysis, while the Questa CoverCheck tool provides total code coverage closure, indicated the company.

The Questa Verification Platform also offers expanded clock-domain crossing (CDC) capabilities.

Formal verification delivers exhaustive functional analysis of all possible design behaviours without the need to specify the test stimulus, enabling verification early in the design cycle, before creation of a simulation testbench. However, in the past, the promise of formal verification was only realised by verification teams with formal analysis experts that had to expend a high amount of effort to achieve results. The Questa platform changes all that by delivering a wide spectrum of formal applications that range from fully automatic formal checking with AutoCheck, a powerful, push-button technology that everyone can easily use, to property checking with custom coded assertions for advanced users, noted the company. The Questa platform offers verification solutions that seamlessly blend simulation and formal-based technologies with common compilation and user interface features as well as the Unified Coverage Database (UCDB).

image name

The Questa CoverCheck technology accelerates the process of code coverage closure. Code coverage closure typically involves many engineering weeks of effort to manually review code coverage holes to determine if they can be safely ignored and if not, to generate hand-crafted simulation tests to cover them. Questa CoverCheck makes it easy for non-expert users to leverage formal methods to complete this process by automatically identifying the set of reachable and unreachable coverage bins, said Mentor Graphics. Consequently, it significantly reduces the time required for code coverage sign-off, bringing predictability to the schedule. CoverCheck also ensures higher design quality by preventing bugs from slipping through the verification process due to mistakenly ignored code coverage bins.

AutoCheck analyses RTL designs and automatically synthesises assertions that are then processed by powerful formal engines to check for correct sequential design behaviour. Using AutoCheck, designs are easily verified to be free from common functional errors without the need to write a testbench or assertions. In addition, performance improvements based on breakthrough formal engines and formal model optimisations deliver improved quality of results and a significant decrease in compute resource consumption. This release also delivers Questa Formal Multi-Core, a capability that enables multi-core and multi-computer distribution of formal jobs, further improving the throughput of formal analysis and optimising the use of compute farm resources.

The new release of Questa CoverCheck, Questa CDC and Questa Formal is available.




Want to more of this to be delivered to you for FREE?

Subscribe to EDN Asia alerts and receive the latest design ideas and product news in your inbox.

Got to make sure you're not a robot. Please enter the code displayed on the right.

Time to activate your subscription - it's easy!

We have sent an activate request to your registerd e-email. Simply click on the link to activate your subscription.

We're doing this to protect your privacy and ensure you successfully receive your e-mail alerts.


Add New Comment
Visitor (To avoid code verification, simply login or register with us. It is fast and free!)
*Verify code:
Tech Impact

Regional Roundup
Control this smart glass with the blink of an eye
K-Glass 2 detects users' eye movements to point the cursor to recognise computer icons or objects in the Internet, and uses winks for commands. The researchers call this interface the "i-Mouse."

GlobalFoundries extends grants to Singapore students
ARM, Tencent Games team up to improve mobile gaming


News | Products | Design Features | Regional Roundup | Tech Impact