- New 2015 Version of Ascent Lint HDL Analyzer and Rule Checker
- 2014 Ascent Lint HDL Analyzer and Rule Checkera>
- Real Intent Sets a New Benchmark in Early Verification of Digital Designs with Release 2016.A of Ascent Lint
- Ascent Lint Rule of the Month: OPEN_INPUT
- Ascent Lint HDL Rule of the Month: ZERO_REP
- When to Retool the Front-End Design Flow?
Early Verification Products
- Ascent Lint
Automatic RTL Structural Verification
- Ascent AutoFormal
Automatic RTL Functional Verification
- Ascent XV
X-Propagation Management Tool
Advanced Sign-off Verification Products
- Meridian CDC
Clock Domain Crossing Sign-off Solution for RTL
- Meridian RDC
Reset Domain Crossing Sign-off Solution for RTL
- Meridian Constraints
Comprehensive SDC Management and Verification
- Meridian Physical CDC
Crossing Glitch Verification for Netlist
Design Intent Debug and Data Management
Ascent Lint is a state-of-the-art RTL linter and rule checker for full-chip SoC analysis. Designed from the bottom-up to deliver the highest performance, capacity and low-noise reporting, it is the best-in-class HDL linter available today with a comprehensive set of syntax and semantic checks.
Full-chip SoC capacity matches Ascent Lint’s runtime speed. There is no need to use hierarchical decomposition method when Ascent Lint can run your entire design flat. 500M+ gate SoCs take only minutes to be analyzed and reported.
Ascent Lint check reporting is the most efficient and generates the lowest noise in the industry. HDL designers no longer have to wade through erroneous, duplicate, and poorly organized analysis run reports. Ascent Lint rules have no overlap as found in older generation tools and eliminates duplicate reporting. Errors are prioritized so that fixes will produce the greatest improvement in the quality of the HDL.
Ascent Lint supports database driven results analysis, enabling custom text or HTML reports at any time after the analysis. It also provides fast and powerful GUIs for rule selection, configuration, and results debug. iDebug debugging platform enables custom views and cross probes to the RTL design source via a source browser or the integrated Emacs editor. It also provides schematics to facilitate the debug of connectivity checks. The iDebug also enables easy waiving and other status tracking. And Ascent Lint’s incremental analysis can show just the difference in analysis reports between different version of a design.
Ascent Lint supports the Verilog, VHDL, and System Verilog languages and gate-level netlists.
The built-in rules ensure that designs meet requirements for correct and efficient synthesis, simulation, test, reuse, and RTL/gate sign-off. Design reuse is enabled with rules for industry standards such as the Reuse Methodology Manual (RMM), STARC, and DO-254 for avionics.
Smart Rules for Verilog, VHDL, SystemVerilog, and Netlists detect:
- FSM state reachability and coding issues
- Legal but dubious modeling indicating probable errors
- Differences between simulation and synthesis semantics
- Naming and RTL coding conventions
- Subset restrictions to enforce modeling clarity and reduce complexity
- Opportunities to improve simulation performance
- Operations with hidden or expensive implementation costs
- Downstream tool flow issues
- Network and connectivity checks for clocks, resets, and tri-state-driven signals
- Module partitioning rules
- Design testability