ThomasNet News Logo
Sign Up | Log In | ThomasNet Home | Promote Your Business

EDA Software automates assertion-based verification.

Print | 
Email |  Comment   Share  
May 29, 2014 - Part of Mentor® portfolio of formal based automated solutions, Questa® PropGen helps verification teams achieve high quality in complex SoCs by automating process of assertion-based verification.  Program enables verification teams to generate properties automatically using existing test environments. With Questa PropGen tool, project teams can experience all benefits of ABV in SoC simulation and emulation environments, without need for time-consuming, manual coding of assertions.

Mentor Graphics Extends the Capacity, Performance and Breadth of Questa's Portfolio of Formal Based Automated Verification Solutions


Mentor Graphics
880 Ridder Park Dr.
San Jose, CA, 95131
USA



Press release date: May 20, 2014

WILSONVILLE, Ore.,  -- Mentor Graphics Corp. (Nasdaq: MENT), a leader in advanced system verification solutions, today announced the immediate availability of Questa(®) PropGen, the newest product within the Mentor(®) portfolio of formal based automated solutions, as well as enhanced capacity and performance of the Questa product's cutting-edge formal engines, which empower the entire family of automated solutions.

Automated, Targeted Solutions

Fully automatic, targeted verification solutions deliver a substantial increase in verification efficacy, saving many man-months of engineering time and saving costly respins. They enable complete and accurate verification of specific design aspects that are difficult or impossible to verify using other verification methods. Questa PropGen is the newest member of this portfolio of solutions, which helps verification teams achieve higher quality in complex SoCs by automating the process of assertion-based verification (ABV). 

"Mentor's formal technologies augment our traditional verification flow in many areas," said NamDo Kim, principal engineer, System LSI Division, Samsung Semiconductor, Inc. "We have successfully deployed the wide range of Questa applications from fully automatic formal to property checking to improve productivity and design quality."

Traditionally, verification engineers have relied on designers to be motivated to add assertions to their code. Unfortunately, the effort and time required by the designers to write these assertions often prevents designers from creating the assertions that the verification team needs to be successful. Questa PropGen puts the verification team in the driver's seat by enabling them to generate properties automatically using their existing test environments. With the Questa PropGen tool, project teams can experience all the benefits of ABV in their SoC simulation and emulation environments, without the need for time-consuming, manual coding of assertions.

Questa Formal Engines Leap Forward in Performance and Capacity

Questa Formal's ground-breaking new formal engines offer industry-leading performance on tough verification problems. These engines provide the power behind the Questa product's suite of fully automatic formal solutions and formal powered applications. Enhancements to the Questa Formal engines are enabling performance improvements across the family of automated solutions including an impressive 6x boost in Questa CDC, the industry defacto standard solution for clock-domain crossing (CDC) signoff.  To complement the full range of verification technologies, Questa Formal solutions and engines are also tightly integrated with both simulation and emulation within the recently announced Mentor Enterprise Verification Platform to provide verification teams the ability to achieve their total verification goals more efficiently with higher levels of quality.

"Formal verification is moving to the mainstream and the technology continues to evolve at a rapid pace," said Vigyan Singhal, president and CEO, Oski Technology. "We are very impressed with the results we have seen with the newly released Questa Formal engines.  In customer projects we have seen a dramatic boost in capacity, broadening the scope of problems that can be addressed."

About Mentor Graphics
Mentor Graphics Corporation 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. Established in 1981, the company reported revenues in the last fiscal year in excess of $1.15 billion. Corporate headquarters are located at 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777. World Wide Web site: http://www.mentor.com/.

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

For more information, please contact:
Carole Dunn
Mentor Graphics
503.685.4716
carole_dunn@mentor.com
Print | 
Email |  Comment   Share  
Contacts: View detailed contact information.


 

Post a comment about this story

Name:
E-mail:
(your e-mail address will not be posted)
Comment title:
Comment:
To submit comment, enter the security code shown below and press 'Post Comment'.
 



 See related product stories
More .....
 See more product news in:
Software
 More New Product News from this company:
Product Configuration Software offers in-depth debugging.
RTOS Platform enhances MCU, multicore applications support.
Data Management Software ensures flow-wide PCB data accuracy.
Emulation Solutions facilitate memory product verification.
IC/Package/PCB Design Software supports complex detail.
More ....
| Featured Manufacturing Jobs
 Other News from this company:
Mentor Graphics Veloce 2 Emulation Platform Boosts Verification Productivity for STMicroelectronics
Mentor Graphics' Capital Software Implemented the Electrical Wiring System Development Process on the Learjet 85 Aircraft
Mentor Graphics Delivers Embedded Linux Software and Development Tools Solutions for 2nd Generation AMD Embedded R-Series APU Customers
Mentor Graphics Veloce Emulation Platform Selected by Imagination Technologies for IP Verification Based on Performance and Capacity
LEONI Expands Use of Mentor Graphics Capital Software Worldwide
More ....
 Tools for you
Watch Company 
View Company Profile
Company web site
More news from this company
E-mail this story to a friend
Save Story
Search for suppliers of
Simulation Software
Industrial Automation Software
Electronic Design Automation (EDA) Software
Join the forum discussion at:
Engineers Lounge




Home  |  My ThomasNet News®  |  Industry Market Trends®  |  Submit Release  |  Advertise  |  Contact News  |  About Us
Brought to you by Thomasnet.com        Browse ThomasNet Directory

Copyright © 2014 Thomas Publishing Company. All Rights Reserved.
Terms of Use - Privacy Policy



Error close

Please enter a valid email address