RTL Linting – Ascent Lint2018-12-29T08:03:48+00:00

Ascent Lint – RTL Linting & Rule Checking

White Paper: Setting a New Lint Benchmark

RTL Lint Analyzer and Rule Checker

Ascent Lint performs state-of-the-art RTL linting and rule checking 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.

Real Intent’s unique Ascension™ architecture verifies RTL designs in minutes versus the hours required with older generation lint tools. Customers experience up to 50X runtimes with no compromises in the coverage and quality of the 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.

Low Noise Reporting

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. Ascent Lint also provides fast and powerful GUIs for rule selection, configuration, and results debug.

Easy rule configuration makes design checks efficient and customizable

Easy, Built-in Rule Configuration

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), DO-254 for avionics, and ISO 26262 for automotive.

  • 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

Integrated Debug Environment

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.

Real Intent’s iDebug environment 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 Verilog, VHDL, and System Verilog languages and gate-level netlists.

Click to enlarge