ALINT-PRO™ | Design Rule Checking

Static Design Verification

ALINT-PRO™ is a design verification solution for RTL code focused on general issues analysis including: RTL and post-synthesis simulation mismatches, design coding for optimal synthesis, avoiding problems on further design stages, and coding for portability and reuse.

The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design time dramatically. Running ALINT-PRO before the RTL simulation phase prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.

ALINT-PRO features well-designed, intuitive framework, which offers features for efficient design analysis including schematic viewer, clocks and resets viewer, elaboration viewer and special tools such as chip control viewer for clock domain crossings analysis.

Available Rule Libraries for ALINT-PRO™

ALINT-PRO includes rule libraries based on STARC (Semiconductor Technology Academic Research Center) design guidelines, which utilizes best practices in design developing used by semiconductor companies all over the world.

For safety critical designs, Aldec delivers rule libraries based on DO-254 guidelines focused on critical issues analysis that impact design stability.

The ALDEC_CDC rule plug-in turns ALINT-PRO into a full-scale CDC Verification solution capable of complex clock domain crossings analysis and handling of metastability issues in modern multi-clock designs. The verification strategy in ALINT-PRO is comprised from three key elements: static structural verification, design constraints setup, and dynamic functional verification. The first two steps are executed in ALINT-PRO, while dynamic checks are implemented via integration with simulators (Riviera-PRO™ , Active-HDL™, and ModelSim® are supported) based on the automatically generated testbench. This approach reveals potential CDC problems during RTL simulation, which otherwise would require lab tests to be detected.

 

Top Features

  • Clock and Reset Networks Analysis
  • Avoiding post RTL and post Synthesis Simulation Mismatches
  • Code Portability and Reuse
  • Extensive CDC checks with ALDEC_CDC rule plug-in
  • Advanced CDC Debugging Environment
  • Schematic Viewer
  • DFT Checks
  • SDC™ Support
  • Design Constraints Extension for IP Description
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.