Free press releases distribution network?

More news: Software
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

 

PRZOOM - /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!


 

Agency / Source: Mentor Graphics Corporation

 
 

Availability: All Regions (Including Int'l)

 

Traffic Booster: [/] Quick PRZOOM - Press & Newswire 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 PRZOOM - Press & Newswire and LINK as the source.
 
  For more information, please visit:
Is this your article? Activate ALL web links by Upgrading to Press Release PREMIUM Plan Now!
|
Contact: Suzanne Graham - Mentor.com 
503-685-7789 suzanne_graham[.]mentor.com
 
PRZOOM / PRTODAY - Newswire Today 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 Press Releases From Mentor Graphics Corporation / Company Profile


Read Software Most Recent Related Press Releases:

IBM Services and Retail Analytics to Support Walgreens Field Service Nationwide
Mentor Precision Synthesis Announces Support for the EFPGA Fabric in Silicon Mobility’s OLEA Automotive IC
Oracle Named a Leader in 2017 Analyst Evaluation for Enterprise BI Platforms with Majority Cloud Deployments
IDology Announces Partnership with ThreatMetrix for Powerful Identity and Fraud Prevention
Polish Retailer Marketing Investment Group SA Selects Oracle Planning
Draper James Gains Foundation to Grow Graciously with NetSuite
Intel Custom Foundry Certifies Mentor Physical Verification Tools for 22FFL FinFET Low Power Process
TIBCO Connected Intelligence Cloud Equips Companies for Digital Transformation
WANdisco Launches One of the First Hybrid Data Lake Architectures in Collaboration with AWS
IBM and MTN Help Protect Endangered African Rhinos with Internet of Things Technology

Boost Your Social Network
& Crowdfunding Campaigns


LIFETIME SOCIAL MEDIA WALL
 
NewswireToday Celebrates 10 Years in Business
Find business coaching, life coaching, executive coaching and corporate coaching, best selling coaching books, ...



PREMIUM Members


Visit  La Bella Bakery Artisan Bakery Arizona

Visit  RightITnow Ltd

Visit  JobsWare.com







 
  ©2017 PRZOOM — Limelon Advertising, Co.
Home | About PRZOOM | 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 entrepreneur newswire distribution prtoday.com freenewswiredistribution asianewstoday bizwiretoday USA pr UK today