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