PRTODAY / NewswireToday Free press release distribution service network

More news: Software
Written by / Agency / Source: Mentor Graphics Corporation

Check Ads Availability|e-mail Article


Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!

Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps - Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis - Mentor.com
Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps

 

NewswireToday - /newswire/ - Wilsonville, OR, United States, 2017/04/20 - Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis - Mentor.com. NASDAQ: MENT

   
 
Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


 

• Over 5x reduction in debug cycles with a new, interactive multi-platform GUI for the Questa® PropCheck and Questa CDC apps that enables users to be productive anywhere 24/7.
• Reducing verification turn-around time by up to 10x, the new formal-based Questa Sequential Logic Equivalence Checking (SLEC®) app is optimized for RTL-to-RTL equivalence checking.
• The new Questa Clock Domain Crossing (CDC) Gate-level verification app helps minimize re-spins and ensures critical synchronization logic has not been disrupted.

Mentor, a Siemens business, today announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification engineers with the ability to more easily perform exhaustive formal verification analysis. The new interactive multi-platform graphical user interface (GUI) for the Questa PropCheck and Questa CDC apps enables users to be productive anywhere. The Questa Verification Solution now also offers formal-based RTL-to-RTL equivalence checking flows with the Questa Sequential Logic Equivalence Checking (SLEC) app, which can reduce verification turnaround time by 10X. The app also offers expanded clock domain crossing (CDC) capabilities with the Questa CDC-GL app for gate-level CDC analysis to help avoid costly re-spins and ensure critical synchronization logic has not been disrupted.

New GUI Workflow Cuts Debug Cycle by 5x
Interactive debug capabilities are invaluable for shortening every step of the debug cycle from failure detection to identification of the root cause of failures to development and validation of a fix. Using Mentor’s high performance Visualizer™ Debug Environment (itself built on the popular “Qt” platform), the Questa PropCheck app for formal verification enables users to more rapidly find root cause issues with their device under test (DUT) that the formal algorithms identify.

Additionally, with the industry-first web browser and mobile views, users can check on the progress of running jobs and analyze results when away from their workstations, enabling them to keep their projects on track 24/7. Using their employer’s VPN to provide a secure data link, users can access formal or CDC results and decide whether to re-run an analysis with new parameters, alert colleagues in different time zones to necessary corrective actions, or login to their employer-provided laptops to take more extensive corrective actions themselves.

10x Reduction to Popular Verification Flow with Exhaustive Sequential Logic Equivalency Checking
Even the most carefully designed testbench is inherently incomplete, since constrained-random methods cannot hit every corner case. Even after 100% functional coverage is achieved, there can still be showstopper bugs hiding in unimagined state spaces. Furthermore, many high-value verification tasks can take weeks of testbench development and simulation. In contrast, a host of verification use cases can be addressed by sequential logical equivalence checking in hours even minutes with exhaustive results.

Leveraging Questa PropCheck technology, the new Questa SLEC app provides an exhaustive comparison between the behaviors of two RTL blocks so users can be assured all possible corner cases have been checked. In particular, this app is optimized to address three popular RTL-to-RTL sequential equivalence checking flows: verification of manual low-power clock gating, bug fix and engineering change order (ECO) validation, and ISO 26262 safety mechanism verification.

“Our products can’t compromise on safety, so our verification must be to 100% complete,” says Thorsten Ehrenberg, Manager Safety Microcontroller Development of Continental’s division Chassis & Safety. “As such, formal-based verification solutions are essential given the exhaustive nature of the analysis. For some, IP Blocks formal verification is the only option to perform a complete verification. With the Questa SLEC formal app, it is possible to quantify the fault coverage of certain IP Blocks e.g. safety critical IP Blocks."

This new product complements the Calypto SLEC Pro and SLEC System offerings, which are focused on the verification of PowerPro™’s automatic power reductions and C-to-RTL equivalence checking respectively. In contrast, Mentor’s FormalPro™ solution will continue to focus on cases where the DUTs being compared have the exact same number of states (post-synthesis RTL-to-gate, and gate-to-gate logic equivalency checking).

New CDC Gate-level Analysis Prevents Chip-Killing Metastability
CDC bugs from clock signal metastability are impossible to detect with simulation. Without CDC analysis, CDC bugs will only be discovered in the lab, when it is too late to take corrective action other than to re-spin the whole chip. Even worse, at the gate-level of logic in advanced node devices (28 nm or lower), RTL CDC tools cannot easily detect glitches introduced by synthesis or other back-end tools on CDC paths that were safe at RTL.

The new Questa CDC-GL app is optimized for gate-level analysis. The app leverages the RTL CDC data and the waivers generated at the RTL level by the Questa CDC solution to produce focused “low noise” results that enable rapid identification of chip-killing gate-level CDC errors. The Questa CDC-GL app is ideally suited for designs at the 28nm node and below where a gate-level analysis approach is required to prevent nasty surprises when the initial samples come back from the fab.

Availability
All of these products are available immediately, with pricing dependent on product configuration.

Mentor Graphics, Mentor, Questa and SLEC are registered trademarks and Visualizer, PowerPro and FormalPro are a trademark of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owner.

About Mentor Graphics
Mentor Graphics Corporation (mentor.com), a Siemens business, is a world leader in electronic hardware and software design solutions, providing products, consulting services, and award-winning support for the world’s most successful electronic, semiconductor, and systems companies. Corporate headquarters are located at 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777.

Mentor Graphics and Mentor are registered trademarks of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owner.

 
 
Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


 

Written by / Agency / Source: Mentor Graphics Corporation

 
 

Availability: All Regions (Including Int'l)

 

Traffic Booster: [/] Quick Newswire Today Visibility Checker

 

Distribution / Indexing: [+] / [Company listed above is a registered member of our network. Content made possible by PRZOOM / PRTODAY indexing services]

 
 
# # #
 
Software Warnings - IMPORTANT:
Always be aware/cautious about what you download on your computer/mobile! PURCHASE SOFTWARE related keywords / Banner Ads. Click HERE for details!
.

 
  Your Banner Ad showing on ALL
Software articles,
CATCH Visitors via Your Competitors Announcements!


Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps

Company website links NOT available to basic submissions
It is OK to republish and/or LINK any newswire for any legitimate media purpose as long as you name Newswire Today and LINK as the source.
 
  Is this your article?
Activate ALL web links and social stream by Upgrading to Press Release PREMIUM Plan Now!

|
Publisher Contact: Suzanne Graham - Mentor.com 
503-685-7789 suzanne_graham[.]mentor.com
 
Newswire Today - PRZOOM / PRTODAY disclaims any content contained in this article. If you need/wish to contact the company who published the current release, you will need to contact them - NOT us. Issuers of articles are solely responsible for the accuracy of their content. Our complete disclaimer appears here.
IMPORTANT INFORMATION: Issuance, publication or distribution of this press release in certain jurisdictions could be subject to restrictions. The recipient of this press release is responsible for using this press release and the information herein in accordance with the applicable rules and regulations in the particular jurisdiction. This press release does not constitute an offer or an offering to acquire or subscribe for any Mentor Graphics Corporation securities in any jurisdiction including any other companies listed or named in this release.

Software via RSSAdd NewswireToday - PRZOOM Headline News to FeedBurner
Find who RetweetFollow @NewswireTODAY



Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!


Read Latest Articles From Mentor Graphics Corporation / Company Profile


Read Software Most Recent Related Newswires:

Infor Achieves FedRAMP Ready Status
Cortland Capital Market Services, LLC Adopts Yardi Investment Management
JDRF and IBM Collaborate to Research Risk Factors for Type 1 Diabetes in Children
MasterControl Unveils New Corporate Headquarters
MyoKardia Reduces VM Backup Budget by 50% with NAKIVO
The Weather Company, an IBM Business, to Integrate Global Flight Tracking Data from FlightAware
ROLI Harmonizes its Global Business with NetSuite OneWorld
Independent Research Firm Recognizes Hexaware as A Strong Performer in Continuous Testing Providers’ Evaluation
Airbus Selects OneLogin
Higher Education Institutions Select Oracle EPM Cloud to Drive Student Success
Splunk Introduces Splunk Insights for AWS Cloud Monitoring
HSBC and IBM Develop Cognitive Intelligence Solution to Digitise Global Trade
New Absolute 7 Platform Extends Endpoint Visibility and Control, Enabling Enterprises to See, Manage and Secure Every Endpoint, Everywhere
Sony and Sony Global Education Develop a New System to Manage Students' Learning Data, Built on IBM Blockchain
Oracle Empowers Organizations to Meet Accelerating Market Changes with Major Innovations to Supply Chain Management Cloud

Boost Your Social Network
& Crowdfunding Campaigns


LIFETIME SOCIAL MEDIA WALL
NewswireToday Celebrates 10 Years in Business


PREMIUM Members


Visit  JobsWare.com

Visit  MagLar, Inc.





 
  ©2017 Newswire Today — Limelon Advertising, Co.
Home | About | Advertise/Pricing | Contact | Investors | Privacy/TOS | Sitemap | FRANCAIS
newswire, PR press releases distribution service magazines engine news alert newsroom press room breaking news public relations articles company news alerts newswiredistribution ezine bizentrepreneur biznewstoday digital business report market search pr firms agencies reports distri-bution today investor relation successful internet entrepreneurs newswire distribution prtoday.com freenewswiredistribution asianewstoday bizwiretoday USA pr UK today - NOT affiliated with PRNewswire as we declined their partnership offer in 2013
 
PRTODAY & NewswireTODAY are NOT affiliated with USA TODAY (usatoday.com)