Static Linting

Static Linting

ALINT™ and ALINT-PRO™, Aldec's advanced Design Rule Checking (DRC) solutions help detect a wide variety of design problems, including poor coding styles, improper clock and reset management, simulation, synthesis problems, poor testability, and source code issues throughout the design flow.

Aldec DRC solutions provide thorough quality checks of VHDL and Verilog code using 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).

Both ALINT and ALINT-PRO feature a unique framework that combines all necessary tools for easy setup of design checks, linting, and results visualizing.

ALINT-PRO contains extended 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 identifier 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 and 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.

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
  • Flows are stored in .alintflow files that can be attached to designs
  • Attached flow name appears next to design name and can be executed via the Flow Manager
  • Predefined flow templates are optimized and ready to use out-of-the-box
  • In addition to predefined flows, the user may create a custom flow to reuse across projects
  • Flow Editor is a dedicated tool for custom flows management (ALINT product only)

 

 
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.