Taipei, Wednesday, January 28, 2015 01:01 (GMT+8)
light drizzle
Taipei
15°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
  • Taiwan market: Sony Mobile to focus on mid-range to high-end smartphone segment

    Mobile + telecom | 2h 49min ago

  • Acer to sell Liquid Z200 via cooperation with Bookoff in Japan

    Mobile + telecom | 3h 6min ago

  • Universal Display and LG Display sign OLED technology license agreement

    Displays | 3h 7min ago

  • Foxconn to assist China handset brands expanding sales in emerging markets in 2015

    Mobile + telecom | 3h 8min ago

  • TCL reports 3.5% decline in LCD TV shipments for 2014

    Displays | 3h 10min ago

  • Spansion and Macronix reach settlement agreement

    Bits + chips | 3h 16min ago

  • Demand for fine-pitch LED display panels growing, but prices will fall, say Taiwan makers

    LED | 3h 19min ago

  • Lite-On Semi looks to flat performance in 1Q15

    Bits + chips | 3h 22min ago

  • Silicon Motion reports record 2014 sales

    Bits + chips | 3h 33min ago

  • Universal Display and LG Display announce long-term OLED patent license and supplemental material purchase agreements

    Before Going to Press | 3h 53min ago

  • Digitimes Research: LG Chem showcases highest lumen-price ratio OLED lighting panel at Lighting Japan 2015

    Before Going to Press | 4h 3min ago

  • Nanya nets NT$11.77 per share for 2014

    Before Going to Press | 4h 4min ago

  • Inotera reports record revenues and profits for 2014

    Before Going to Press | 4h 11min ago

  • Prices for non-China/Taiwan-made solar cells fall due to US lowering tariffs

    Before Going to Press | 4h 12min ago

  • Huawei aims to ship 100 million smartphones in 2015

    Before Going to Press | 4h 13min ago

  • Spansion and Macronix reach settlement agreement

    Before Going to Press | 4h 14min ago

  • Taiwan market: Xiaomi ships 100,000 smart bracelets in less than 2 months

    Before Going to Press | 4h 18min ago

  • PTI profits soar in 2014

    Before Going to Press | 4h 19min ago

  • Taiwan market: Sony Mobile to focus on mid-range to high-end smartphone segment

    Before Going to Press | 4h 33min ago

  • Intel cooperates with Spreadtrum, Fuzhou Rockchip to tap China mobile chip solution market

    Before Going to Press | 4h 34min ago

  • Acer BYOC to help Taiwan small app developers enter international markets

    Before Going to Press | 4h 41min ago

  • Acer to sell Liquid Z200 via cooperation with Bookoff in Japan

    Before Going to Press | 5h 29min ago

  • IoT opportunities reliant on dependent developments, say Taiwan makers

    Before Going to Press | 5h 32min ago

  • Sharp estimates LCD TV shipments to reach 6 million in fiscal 2014-2015

    Before Going to Press | 5h 33min ago

  • Digitimes Research: Taiwan shipments of large-size TFT LCD panels reach 66.99 million in 1Q15

    Before Going to Press | 5h 47min ago

Pause
 | 
View more
VOICE 2015 Developer Conference
DIGITIMES Marketing Services
DIGITIMES Translation Services
  • 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.

  • Greater China touch panel shipment forecast through 2015

    This Special Report provides forecasts through 2015 for Greater China touch panel shipments with breakdowns based on technology (glass, film, resistive), application (smartphone, NB and tablet) and by firm.

  • 2014 global tablet demand forecast

    This report analyzes the main players, their strategies and shipments forecasts for 2014, as well as other factors contributing to either growth or decline in various segments within the tablet market, with a particular focus on Apple, Google, Samsung, and Microsoft, along with whitebox vendors.