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
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