industry news
Subscribe Now

Real Intent Unveils Debug Enhancements in New Version of Ascent IIV for Static Verification of Digital Designs

SUNNYVALE, Calif. – July 22, 2014 – Real Intent, Inc., a leading provider of EDA software products today announced a new version of its Ascent Implied Intent Verification (IIV) tool for static functional analysis of digital IC designs, delivering new debug 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 QoR and productivity of design teams.

New Ascent IIV features and enhancements include:

  • Specialized report categories for FSMs, language checks, design checks, coverage, and X-verification with control of report depth for easier debug review
  • Causality reporting, which shows the secondary errors caused by each primary error so designers can rank the impact of fixing primary errors
  • New language checks for violations of SystemVerilog constructs – unique, priority, and enumeration
  • Easier setup for quick adoption
  • 15 other analysis and debug improvements

Lisa Piper, senior manager of technical marketing at Real Intent, said, “IIV’s root cause analysis dramatically reduces debug time by focusing the effort on the real design problems, without the distraction of related secondary issues. Our new specialized reports make it easier for designers to focus on categories of concern, tailor the results, and see the impact of fixing primary errors. For the first time, IIV now has checks for SystemVerilog constructs that are not in classic Verilog code. Our Ascent products remain the fastest and highest-capacity static verification solutions available for uncovering issues prior to digital simulation.”

To see a video interview of Lisa Piper discussing the new release of IIV and trends in automatic verification, please visit http://youtu.be/Pn3w-vzt8IU.

Availability

The latest release of Ascent IIV is 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 or assertions are required, 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 leading to an undesired state. Ascent IIV has the speed and capacity to handle design blocks exceeding 250K gates and provides a wide variety of complex checks including FSM deadlocks, bus issues, and constant bits and nets. If SVA or VHDL assertions written in PSL are available, Ascent IIV can use these as constraints to enhance the analysis. Please click here for a recent announcement about how Real Intent’s Ascent IIV software accelerates design debug for a customer. 

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.comfor more information.

Leave a Reply

featured blogs
Apr 24, 2026
A thought experiment in curiosity, confusion, and cosmic consequences....

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

GaN for Humanoid Robots
Sponsored by Mouser Electronics and Infineon
In this episode of Chalk Talk, Eric Persson and Amelia Dalton explore why power is the key driver for efficient and reliable robot movements and how GaN technologies can help motor control solutions be more compact, integrated and efficient. They also investigate the role of field-oriented control in humanoid robotic applications and why the choice of a GaN power transistor can make all the difference in your next humanoid robot project!
Apr 20, 2026
4,007 views