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

WILSONVILLE, Ore., May 20, 2014 — (PRNewswire) —  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.

Mentor Graphics logo.

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
Email Contact

Logo - http://photos.prnewswire.com/prnh/20140317/AQ83812LOGO

SOURCE Mentor Graphics

Contact:
Mentor Graphics
Web: http://www.mentor.com




Review Article Be the first to review this article
Trimble

Harris

Jobs
Senior Mechanical Engineer for BAE Systems Intelligence & Security at Arlington, VA
Geospatial Systems Administrator for BAE Systems Intelligence & Security at arnold, MO
Geospatial Analyst - Senior for BAE Systems Intelligence & Security at Springfield, VA
Sr Mechanical Design Engineer for Medtronic at mounds view, MN
Urban Designer - Urban Design/Planning for SERA Architects, Inc at Portland, OR
Upcoming Events
Geospatial World Forum 2018 at Hyderabad International Convention Centre Hyderabad India - Jan 16 - 19, 2018
2018 Annual Convention of Virginia Association of Surveyors at 24 S. Market St Staunton VA - Jan 18 - 20, 2018
ArcGIS: Introduction at Environmental and Natural Resource Building 14 College Farm Rd New Brunswick NJ - Feb 1 - 22, 2018
International LiDAR Mapping Forum at Hyatt Regency 650 15th Street, Denver CO - Feb 5 - 7, 2018
Teledyne Optech
University of Denver GIS Masters Degree Online
CADalog.com - Countless CAD add-ons, plug-ins and more.



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise