SUNNYVALE, Calif. â Jan. 30, 2012 â Real Intent, Inc., a leading provider of EDA software products today announced new releases of its Ascent Implied Intent Verification (IIV) and Ascent X-Verification (XV) tools for early functional analysis of digital designs, delivering significant performance enhancements for users. Ascent products find elusive bugs and eliminate sources of uncertainty that are difficult to uncover using traditional Verilog or VHDL simulation, leading to both improved quality of results (QoR) and productivity of design teams.
Among new Ascent IIV features and enhancements are:
- Up to 50-percent faster performance on designs greater than 100K gates
- Incremental runs enabling users to resume previous analysis and avoid a complete re-start
- A new double-toggle net check that eliminates toggle net false positives caused by reset state values
- VCD traces that provide a marker to show the time of failure.
Likewise, new features in Ascent XV for detecting unknowns in digital hardware include:
- Enhanced modeling of Xâs that come from retention flops, a major source of Xâs in a design
- Broader coverage in identifying all X-sources and X-sensitive logic found by fast design audit
- Tighter SimPortal integration to logic simulation that automatically generates a simulation free of unnecessary X issues
- A new debug interface that shows the path from the sensitive construct to an X-source, facilitates waivers of X-sources and X-sensitive nets, and provides links for source code navigation
Lisa Piper, technical marketing manager at Real Intent, said, âThe enhanced performance of IIV means designers can find more bugs more quickly without the need for any test benches. And our latest release of XV provides a unique X-hazard report that quickly pinpoints where sources of unknowns can obscure functional bugs or generate false problems in gate-level netlists. IIVâs 50-percent faster performance for blocks greater than 100K gates and XVâs enhanced detection of unknowns (Xâs) in digital hardware including retention flops are further proof that Real Intent delivers what we believe are the industryâs best-in-class tools. Our Ascent products are the fastest and highest-capacity verification solutions available for uncovering issues prior to digital simulation.â
Enhanced Debug and Language Support
Ascent IIV and Ascent XV now deliver enhanced support for SystemVerilog, Verilog and VHDL languages, and improve ease of use in both the GUI and low-noise reporting of design issues. They also come with Verdi integration now to support this industry-leading debug platform from Synopsys (formerly SpringSoft).
The latest releases of Ascent IIV and Ascent XV are available immediately for download from the Real Intent web-site.
About Ascent IIV
Ascent IIV is a state-of-the-art automatic RTL verification tool. It finds bugs using an intelligent hierarchical analysis of design intent. No test bench is needed, making it easy and efficient to find RTL bugs earlier in the design flow before they become more expensive to uncover. The analysis minimizes debug time by identifying the root cause of issues and provides the VCD traces that show the sequence of events that lead to an undesired state. Ascent IIV has the speed and capacity to handle design blocks exceeding 100K gates and provides a wide variety of complex checks including FSM deadlocks, bus issues and constant bits and nets. If SystemVerilog Assertions (SVA) or VHDL assertions written in Property Specification Language (PSL) are available, Ascent IIV can use these as constraints to enhance the analysis. To see a video interview about Ascent IIV by Chris Morrison, chief architect at Real Intent, please visit: http://www.youtube.com/watch?v=i1fWKsdRcAQ.
About Ascent XV
Ascent XV identifies X-sources and potential X-propagation issues early-on in Verilog RTL or netlist designs. It enables the detection and debug of functional issues caused by X-optimism at RTL, prior to synthesis. It also eliminates unnecessary Xâs caused by X-pessimism at the netlist. Ascent XV analysis can catch issues prior to RTL sign-off, driving costs down and avoiding monotonous, error-prone debug at the netlist level. To see a video interview about Ascent XV by Lisa Piper, please visit: http://www.youtube.com/watch?v=ya7HPfm1bsU.
About Real Intent
Companies worldwide rely on Real Intentâs EDA software to accelerate early functional verification and advanced sign-off of electronic designs. The company provides comprehensive CDC verification, advanced RTL analysis and sign-off solutions to eliminate complex failure modes of SoCs. Real Intentâs Meridian and Ascent product families lead the market in performance, capacity, accuracy and completeness. Please visit www.realintent.com for more information.