Taipei, Friday, April 29, 2016 07:16 (GMT+8)
partly cloudy
Taipei
24°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
  • Cypress subsidiary Deca to receive US$60 million investment from ASE

    Bits + chips | 9h 54min ago

  • Digitimes Research: Taiwan makers ship 7.35 million LCD TVs in 1Q16

    Displays | 10h 26min ago

  • Macronix posts another quarter of losses

    Bits + chips | 10h 28min ago

  • Digitimes Research: Woskan, iStaging developing VR for use in real estate marketing

    Before Going to Press | 10h 14min ago

  • Transcend 1Q16 net profits fall 25%

    Before Going to Press | 10h 17min ago

  • Senao Networks nets NT$3.21 per share for 1Q16

    Before Going to Press | 10h 44min ago

  • China sets 2020 targets for robot industry development

    Before Going to Press | 10h 45min ago

  • Nintendo to stop production of Wii U in March 2018

    Before Going to Press | 10h 46min ago

  • Chip orders for iPhone SE rise in 2Q16

    Before Going to Press | 10h 47min ago

  • Global Lighting Technologies nets NT$1.33 per share for 1Q16

    Before Going to Press | 10h 51min ago

  • AUO sees rebounding operations in March, says chairman

    Before Going to Press | 10h 52min ago

  • Motech Industries lowers price for new shares issued for capital expansion

    Before Going to Press | 10h 53min ago

  • Gamania Digital Entertainment nets NT$0.12 per share for 1Q16

    Before Going to Press | 10h 53min ago

  • Danen Technology suffers net loss per share of NT$0.21 for 1Q16

    Before Going to Press | 10h 55min ago

  • Notebook-use thermal module makers step into server applications

    Before Going to Press | 10h 56min ago

  • Giantplus Technology posts 1Q16 net EPS of NT$0.30

    Before Going to Press | 10h 57min ago

  • Adlink nets NT$0.26 per share for 1Q16

    Before Going to Press | 10h 58min ago

Pause
 | 
View more
Taiwan server shipment forecast and industry analysis, 2016
Display panels for wearable devices
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.