Taipei, Tuesday, September 27, 2016 08:38 (GMT+8)
thunderstorms
Taipei
30°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
  • Rising notebook demand causing shortages in many components

    IT + CE | 9h 58min ago

  • Taiwan 2Q16 TFT-LCD production value up on quarter, down on year, says PIDA

    Displays | 10h 21min ago

  • Typhoon to close markets and offices in Taipei

    Before Going to Press | 10h ago

  • China aims at production value of CNY500 billion for smart hardware in 2018, says MIIT

    Before Going to Press | 10h 34min ago

  • Nearly eight million embedded eMemory silicon IP wafers employed in TSMC processes

    Before Going to Press | 10h 35min ago

  • BeiDou Navigation Satellite System to provide global positioning services in 2020

    Before Going to Press | 10h 36min ago

  • Epistar, Epileds Technologies see booming orders for IR LED chips

    Before Going to Press | 10h 37min ago

  • Micron CEO visits Taiwan to meet Formosa executives

    Before Going to Press | 10h 37min ago

  • Chunghwa Telecom in close cooperation with Ericsson, says president

    Before Going to Press | 10h 39min ago

  • National Cheng Kung University, AIDC to cooperate to make condenser for use in AMS-02 detector

    Before Going to Press | 10h 39min ago

  • Lithium battery makers demand price rise due to shortages

    Before Going to Press | 10h 43min ago

  • Taiwan market: Xiaomi Technology to launch Hong-Mi Note 4

    Before Going to Press | 10h 44min ago

  • Chilisin signs NT$3.5 billion syndicated loan

    Before Going to Press | 10h 45min ago

  • Kenmec secures more than NT$3 billion worth of automation equipment orders, says report

    Before Going to Press | 10h 46min ago

  • Digitimes Research: Global average LTE-based data transfer speed barely rising

    Before Going to Press | 10h 47min ago

  • GE exiting Asia and Latin America angering distributors of local lighting products

    Before Going to Press | 10h 49min ago

Pause
 | 
View more
Taiwan server shipment forecast and industry analysis, 2016
Intel strategies in the mobile device market
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.