Taipei, Wednesday, June 29, 2016 23:02 (GMT+8)
thunderstorms
Taipei
31°C
Mentor Graphics addresses formal verification with Questa
Michael McManus, DIGITIMES, Taipei [Friday 26 October 2012]

Mentor Graphics recently announced a new formal-based technologies in the Questa Verification Platform that provide mainstream users with the ability to more easily perform exhaustive formal verification analysis. The new Questa AutoCheck technology delivers fully automated formal checking analysis, while the Questa CoverCheck tool provides 100% code coverage closure. The Questa Verification Platform now also offers expanded clock-domain crossing (CDC) capabilities.

Formal verification offers exhaustive functional analysis of all possible design behaviors 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 realized 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. The Questa platform offers a broad arsenal of 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).

The Questa CoverCheck technology also 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 possible for non-expert users to leverage formal methods to complete this process by automatically identifying the set of reachable and unreachable coverage bins. 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.

Concerning AutoCheck, it analyzes RTL designs and automatically synthesizes assertions that are then processed by powerful formal engines to check for correct sequential design behavior. 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 optimizations deliver improved quality of results and a significant decrease in compute resource consumption. This release also delivers Questa Formal Multi-Core, a new capability that enables multi-core and multi- computer distribution of formal jobs, further improving the throughput of formal analysis and optimizing the use of compute farm resources.

Realtime news
  • HTC invests more capital into overseas subsidiary

    Mobile + telecom - Stockwatch | 1h 9min ago

  • GDDC running PV power-generating station in New Jersey

    Green energy | 1h 54min ago

  • Qualcomm Snapdragon 600 and 800 processors to support Google Tango

    Before Going to Press | 1h 21min ago

  • Taiwan market: Acer expects notebook share to reach 22% in 2Q16

    Before Going to Press | 1h 22min ago

  • PCB maker Tripod Wuxi subsidiary increases capital

    Before Going to Press | 2h 7min ago

  • Quanta Storage to deal out 2015 dividend of NT$1.20

    Before Going to Press | 2h 16min ago

  • Samsung Display talking about selling 7G LCD factory, says report

    Before Going to Press | 2h 18min ago

  • Digitimes Research: Japan-based vendors launch only 3 new consumer digital camera models in 2Q16

    Before Going to Press | 2h 19min ago

  • UMC orders equipment for Xiamen fab

    Before Going to Press | 2h 20min ago

  • Notebook-related IC suppliers expect to enjoy double-digit revenue growth in 3Q16

    Before Going to Press | 2h 20min ago

  • ASE buys equipment from Teradyne

    Before Going to Press | 2h 20min ago

  • MediaTek joins China Mobile 5G joint innovation center

    Before Going to Press | 2h 21min ago

  • Digitimes Research: Photonics Festival in Taiwan features automotive LED lighting

    Before Going to Press | 2h 21min ago

  • TSMC 3Q16 revenues to rise almost 20%, says report

    Before Going to Press | 2h 22min ago

  • TSMC orders equipment for NT$3 billion

    Before Going to Press | 2h 23min ago

  • Ability Enterprise to deal out 2015 dividend of NT$1.50

    Before Going to Press | 2h 23min ago

  • Microsoft said to release Surface AIO in 3Q16

    Before Going to Press | 2h 23min ago

Pause
 | 
View more
China smartphone touch-panel industry 2016 forecast
Trends and forecasts for the China FPD industry, 2014-2017
The transition to 4k TV - UHD TV market forecast, 2014-2017
  • Wireless broadband developments in Southeast Asia markets

    As of 2013, the 10 ASEAN nations had a total of over 700 million mobile subscriptions, with the CAGR from 2003-2013 reaching 24%. This Digitimes Research Special Report analyzes the various mobile broadband markets in ASEAN and looks at the respective trends in 4G LTE development for those markets.

  • 2015 global tablet demand forecast

    This Digitimes Research Special Report provides a 2015 forecast for the global tablet market and analyzes the strategies of key market players such as Google, Apple, Intel, and Microsoft.

  • 2015 China smartphone panel trend forecast

    This Digitimes Research Special Report analyzes the strategies of key China-based major panel makers BOE, Tianma and IVO for attacking the different market segments through technology and pricing, and their relationship to local vendors Huawei, Lenovo, ZTE, Xiaomi and Coolpad.