Ascent Family Includes:

• Ascent Lint: Advanced lint analysis for syntax/semantic errors, synthesis/simulation mismatch, and naming conventions etc.
• Ascent IIV: Automatic sequential formal analysis for state reachability, single or pair-wise state deadlock, dead code, and synthesis pragma violations etc.
• Ascent XV: X-propagation verification to identify X-sources in the design, correct X-optimism in RTL and X-pessimism in netlist.

The Ascent family of products can automatically detect 50% of bugs, improve block level design quality, significantly reduce project cycle, and offer the best verification ROI for Early Functional Verification.

Ascent Lint Data Sheet:
English    Japanese

Ascent IIV Data Sheet:
English    Japanese

Ascent XV Data Sheet:
English