Static Linting

Static Linting

Aldec ALINT-PRO™ is an advanced Design Rule Checking (DRC) solution for RTL-level FPGA and ASIC designs that helps detect a wide variety of design issues, including poor coding styles, improper clock and reset management, improperly synchronized clock-domain crossings (CDC), simulation vs synthesis mismatches, poor testability, and other typical source code issues throughout the design flow. Aldec ALINT-PRO can be utilized both as a personal productivity tool (linting and debugging issues within blocks of RTL code, background linting in external HDL editor) and as a part of the corporate verification flow (formal code review, milestone signoff, regression testing flow, continuous integration environments). Another typical application of linting is to automate a review of external code, which could be coming from IP providers, subcontractors, and open-source communities. Aldec ALINT-PRO provides thorough quality checks of RTL code written in VHDL, Verilog, and SystemVerilog (design subset). The checks are performed against a set of design rules established by STARC® (The Semiconductor Technology Academic Research Center) from Japan, Reuse Methodology Manual (RMM), as well as rules developed by Aldec (ALDEC Basic, ALDEC Premium, ALDEC CDC, ALDEC SV, and DO-254). ALINT-PRO features a unique framework that combines all necessary tools for easy setup of design checks (the Policy), running linting, visualizing and waiving rule violations, and generating reports. The framework provides extended debug capabilities for netlist and CDC issues analysis including: netlist visualization, clock domains highlight, clocks, resets trees visualization, navigation over detected clock domain crossings and identified synchronization circuits, multi-dimensional cross-probing between structural, schematic and violation views, and more.



Phase-Based Linting (PBL)

Phase-Based Linting (PBL) methodology, available in ALINT-PRO, inserts clear priorities into the design analysis process by reducing the total number of issues to be addressed and minimizing the number of design refinement iterations. It speeds up debugging time by 3—10X compared to the traditional approach. Phased-based design rule checking is optional, as it only attempts to organize the order of analysis and brings focus to a limited number of design aspects to be considered simultaneously.


Summary of key features:

  • Phase-Based Linting Methodology is implemented based on the Linting Flows
  • Linting Flow is a process – a set of phases that must be executed and completed sequentially
  • Every phase has its own set of rules and pass criteria (quality requirements)
  • Phases can be regular or optional and each of them typically addresses certain type of issues
  • Predefined flow templates are optimized and ready to use out-of-the-box
  • Flow templates often contain useful shortcuts for the most frequently executed tasks


Ask Us a Question

Ask Us a Question

Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.