Home › EDA Software automates assertion-based verification.
 

Keywords :   


EDA Software automates assertion-based verification.

2014-05-29 14:31:33| Industrial Newsroom - All News for Today

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. This story is related to the following:Simulation Software | Electronic Design Automation (EDA) Software

Tags: software verification eda automates

Category:Industrial Goods and Services

Latest from this category

All news
01.07Mentorship in Motion
18.06A Request From the A League of Their Own Womens Special Interest Group
18.06Next MANAchat Series is Scheduled for the Week of August 5
Industrial Goods and Services »
02.07Hurricane Beryl Graphics
02.07Hurricane Beryl Forecast Discussion Number 15
02.07Hurricane Beryl Wind Speed Probabilities Number 15
02.07Hurricane Beryl Forecast Advisory Number 15
02.07Hurricane Beryl Public Advisory Number 15
02.07Summary for Hurricane Beryl (AT2/AL022024)
02.07Levelling up: Can the next government help the UK games industry?
02.07Cheap TVs ahead of Euros help slow price inflation
More »