Taipei, Tuesday, August 4, 2015 02:18 (GMT+8)
partly cloudy
Taipei
28°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
  • LanMark posts profit for 1H15

    Bits + chips | 5h 12min ago

  • Samsung Pay to be released in September, say reports

    Mobile + telecom | 5h 14min ago

  • Global chip sales rise 2% in 2Q15, says SIA

    Bits + chips | 5h 16min ago

  • China market: New energy vehicle sales and production climbing

    Green energy | 5h 18min ago

  • Motech suffers net losses in 2Q15

    Green energy - Stockwatch | 5h 20min ago

  • Digitimes Research: China market shows mixed pricing trends for July 7W, 9W LED light bulbs

    LED | 5h 51min ago

  • Taiwan market: Xiaomi to open retail outlet

    Before Going to Press | 5h 1min ago

  • Digitimes Research: Taiwan handset shipments to drop in 3Q15, 4Q15

    Before Going to Press | 5h 14min ago

  • Global chip sales rise 2% in 2Q15, says SIA

    Before Going to Press | 5h 15min ago

  • Taiwan market: Acers sees strong sales at TCAS

    Before Going to Press | 5h 19min ago

  • Catcher capacity is not harmed from recent employee protest, says company

    Before Going to Press | 5h 34min ago

  • Elan, Precise Biometrics tie up for fingerprint sensor devices

    Before Going to Press | 5h 38min ago

  • Inspection service company Sporton posts revenue growth in July

    Before Going to Press | 5h 55min ago

  • HP says business separation not affecting ordering system

    Before Going to Press | 5h 55min ago

  • China makers could surpass Korea in small- to medium-size AMOLED capacity by 2018

    Before Going to Press | 6h 15min ago

  • Makers optimistic about handset panel shipments to China in 2H15

    Before Going to Press | 6h 16min ago

  • Ichia sees decreased July revenues

    Before Going to Press | 6h 51min ago

  • Demand for low-efficiency PV modules comes out in US market

    Before Going to Press | 6h 53min ago

  • China market: Huawei offers business-use cloud computing services

    Before Going to Press | 6h 55min ago

  • Digitimes Research: RT Works launches Robot Assist Walker RT. 1

    Before Going to Press | 7h 9min ago

  • Digitimes Research: Global tablet shipments to decline 15% on year and reach 52 million units in 3Q15

    Before Going to Press | 7h 11min ago

Pause
 | 
View more
Developments in the UV LED industry
2015 China smartphone panel trend forecast
Demand and supply trends in the global sapphire industry, 2014-2015
  • 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.