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 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, 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, clock domains highlight, 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, it only attempts to organize the order of analysis and brings focus to a limited number of design aspects considered simultaneously.

PBL

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
x

Ask Us a Question

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