Taipei, Tuesday, July 29, 2014 20:51 (GMT+8)
partly cloudy
Taipei
29°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
  • Phison reports strong earnings for 1H14

    Bits + chips - Newswatch | 51min ago

  • Hermes Microvision to see revenues stay flat in 3Q14

    Before Going to Press | 2min ago

  • Delta Electronics 2Q14 gross margin, net profit hit records

    Before Going to Press | 3min ago

  • Huawei ships 34 million smartphones in 1H14

    Before Going to Press | 15min ago

  • Taiwan market: BenQ 1H14 LCD TV sales up 20% due to low-blue-light models

    Before Going to Press | 16min ago

  • Commentary: China antitrust probe could affect Qualcomm performance

    Before Going to Press | 17min ago

  • Demand for tablet touch panels decreasing, say Taiwan makers

    Before Going to Press | 39min ago

  • Adlink develops 3D intelligent vision-aided positioning system in cooperation with ITRI

    Before Going to Press | 53min ago

  • Digitimes Research: Smartphone AP shipments grow over 13% sequentially in China in 2Q14

    Before Going to Press | 1h 10min ago

  • China market: Colorful Technology poses competitive threat to MSI, ASRock

    Before Going to Press | 1h 11min ago

  • UMC to post single-digit revenue growth in 3Q14

    Before Going to Press | 1h 12min ago

  • Taiwan notebook ODMs to benefit from HP, Dell sales in North America

    Before Going to Press | 1h 12min ago

  • Huawei Device sees high growth in 1H14 handset shipments

    Before Going to Press | 1h 13min ago

  • Sales for mini versions of flagship smartphones short of expectations

    Before Going to Press | 1h 14min ago

  • Digitimes Research: Taiwan digital camera shipments in 2Q14 up 43.3% sequentially

    Before Going to Press | 1h 15min ago

  • Global market share for iPad may slip to below 25% in 2H14

    Before Going to Press | 1h 16min ago

  • Acer tops US LCD monitor retail market in 1H14

    Before Going to Press | 1h 17min ago

  • Huawei Device to launch Ascend Mate 3 4G smartphone, says report

    Before Going to Press | 1h 18min ago

Pause
 | 
View more
UHD TV market forecast, 2014-2017
Media news email alerts
2014 global notebook demand forecast
  • 2014 global high brightness LED market, trends and shipment forecast

    For the global LED lighting market, the market size will reach US$25.82 billion in 2014 or a market penetration rate of 23.4%. This is attributable to exponential shipment growth for light bulbs, tubes, and directional lamps.

  • 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.