Register to Visit Real Intent @ Virtual DAC

Learn more about how our static sign-off tools can help you accelerate your early functional verification of digital designs.
All meeting registrants will be entered in a drawing for a pair of Apple AirPods.
“Virtual Exhibit” days: July 20 to July 22
Meeting hours:  10:30 am – 1:30 pm PDT

  • This field is for validation purposes and should be left unchanged.

Ascent Lint

  • High capacity & performance RTL linting & sign-off
  • Precise, high-impact checks — more actionable debugging & less noise
  • ISO-26262 certified & Supports VHDL-2008

Ascent AutoFormal

  • Automatic fully static verification tool, with new 10X performance & multi-million gate capacity
  • High accuracy, low noise bug detection – without a test bench
  • Identifies root cause errors, such as FSM deadlock & unreachable blocks

Meridian RXV

  • Sign-off quality X-impact analysis for design initialization auditing
  • Identifies where RTL simulation may not match synthesis results & performs reset optimization analysis
  • Identifies potential simulation errors before test bench generation & examines design initialization/power & routing trade-offs

Meridian RDC

  • Low noise, high precision reset domain crossing static sign-off
  • Rapidly identifies many classes of reset domain crossing failures, including metastability & glitch conditions
  • Hierarchical analysis & parallelized runs for accelerated runtime
  • ISO-26262 certified

Meridian CDC

  • Industry’s highest capacity, performance & precision static sign-off clock domain crossing tool
  • Hierarchical approach enables billion gate analysis within hours
  • ISO-26262 certified

Verix Multimode DFT

  • High capacity, multimode DFT static sign-off tool with root cause analysis
  • Multimode DFT checks multiple sets of rules in a single run — reduces setup time, speeds up runtime, and accelerates debug
  • Comprehensive ruleset to ensure high coverage at all design stages.
  • Fine rule granularity to help accelerate debug and root cause analysis
  • Fast setup — takes only hours

Verix Multimode CDC

  • Multimode CDC covers all clocking scenarios into a single run
  • The unified simultaneous analysis delivers exhaustive confidence
  • Unified report eliminates the duplicate runs required by single mode CDC tools