ALINT-PRO Configurations

Features ALINT-PRO[Hide]
Supported Standards
SystemVerilog® IEEE 1800 (2005 and 2009)
SystemVerilog is a set of extensions to the Verilog HDL that allow a higher level of modeling and efficient verification of large digital systems. More   
yes
Verilog® IEEE 1364 (1995, and 2001)
ALINT-PRO™ provides full support of the IEEE 1364-2001 Standard. More   
yes
VHDL IEEE 1076 (1987, 1993, 2002 and 2008)
ALDEC simulators provide full support of the IEEE 1076-1993 Standard, IEEE 1076™-2002 VHDL standard and majority of just published IEEE 1076™-2008 Standard. More   
yes
Rule Libraries
ALDEC_BASIC (VHDL and Verilog)
The Aldec Basic rule library is available as a part of the base product installation and includes relatively simple "lint" module-level rules. More   
yes
ALDEC_CDC (VHDL, Verilog and SystemVerilog)
The ALDEC_CDC rule library incorporates best practices for CDC verification and Aldec customers experience to deliver comprehensive CDC verification solution. More   
Option
ALDEC_PREMIUM (VHDL and Verilog)
The Aldec Premium rule library is put together by Aldec based on the industry feedback and expertise. More   
Option
DO-254 (VHDL and Verilog)
This plug-in provides set of rules that can be used to improve design compliance with DO-254 for HDL designs. More   
Option
STARC® (VHDL full, Verilog preview 2)
The STARC VHDL and Verilog rule libraries automate the Design Style Guides of best industry practices by the Semiconductor Technology Academic Research Center (STARC). More   
Option
Core Mechanisms
Assertion Generation
ALINT-PRO™ is capable of automatic testbench generation, which contains assertion statements for CDC crossings verification More   
yes
Clock Domains Extraction
The tool is capable of automatic clock domains extraction and clock domain crossing (CDC) rules checking. More   
yes
Clocks and Resets Auto-detection
The tool is capable of automatic extraction clock and reset network sources and relations between them. More   
yes
Combinational Feedbacks Detection
ALINT-PRO™ detects combinational loops in the design and reports them as violations. More   
yes
Coverage Statements for Crossings
ALINT-PRO™ is capable of automatic testbench generation, which contains coverage statements for validating user’s testbench completeness. More   
Option
Custom Synchronizers Description
ALINT-PRO™ offers custom extension to design constraints which allow describing arbitrary synchronizers. More   
yes
DFT checks
ALINT-PRO™ offers as set of rules that provide controllability checks for clock and reset sources. More   
Option
Metastability Insertion
ALINT-PRO™ is capable of automatic testbench generation, which emulates metastability in the users design. More   
Option
Multiple Drivers
ALINT-PRO™ finds networks, which are driven by multiple sources and reports them as violations. More   
yes
SDC™ Generation
Based on the netlist analysis ALINT-PRO™ can generate SDC™ file to facilitate design setup process. More   
yes
Synchronizers Patterns Recognition
ALINT-PRO™ features the Pattern Matching engine that performs advanced Chip-Level checks on your design. More   
yes
Vendor Library Components Support
Regular approach to synthesis is not effective for vendor components as long as they contain non-synthesizable code More   
yes
Debug Capabilities
Clocks and Reset Viewer
The Clocks and Reset Viewer provides list of clocks and resets with all their endpoints. More   
yes
HDL and Schematic Cross-probing
ALINT-PRO™ offers a well-designed framework, which allows cross-probing between various windows. More   
yes
Hierarchy Viewer
The Hierarchy Viewer displays design hierarchy for all projects in the workspace. More   
yes
Schematic Viewer
The Schematic Viewer provides graphical representation of the synthesized netlist. More   
Option
Violation Viewer
The Violation Viewer provides the convenient way of managing the results of the linting session. More   
yes
Design Management
Active-HDL™, Riviera-PRO™, ALINT™, Vivado™, and Quartus™ Projects Conversion
ALINT-PRO can convert projects to its native format from commonly used IDE tools. More   
yes
Auto-Complete and Code Templates
The HDL Editor allows using code autocomplete for all the languages supported by ALINT-PRO™. More   
yes
File Browser
The File Browser is a tool that allows a user to explore file system. More   
yes
Flow Manager
In order to assist with frequently called actions, ALINT-PRO™ is equipped with the Flow Manager. More   
yes
Library Manager
Library manager is a tool dedicated for manipulating compiled HDL modules More   
yes
Policy Editor
Policy Editor is a tool integrated in the project preferences in ALINT-PRO™. It is used to manage a collection of rules used by a designer to check against the design. More   
yes
Project Manager
The Project Manager is a tool that allows you to view and manage workspaces, attached projects and their resources like HDL source files, and constraints files with a single mouse click, More   
yes
Quick Launch Panel
In order to assist first-time users, ALINT-PRO™ is equipped with the Quick Launch Panel. Quick Launch Panel provides quick access to the most commonly used features and functions of ALINT-PRO. More   
yes
Tasks Management
ALINT-PRO enables project task management based on the Tasks window. The window is an easy to use tool which represents current list of tasks assigned within a project. More   
yes
Waiver Editor
Waiver Editor is a tool integrated in the project preferences in ALINT-PRO™. It is used to manage list of origins that shouldn’t be checked by the particular rule(s). More   
yes
Supported Platforms
Windows® 10/8.1/8/7/Vista/2012/2008/2003 32/64 bit
Builds are tested on all the latest platforms, including Windows 8, to ensure correct operation on users' workstations. More   
yes
Linux® (32/64-Bit)
Linux x86/x86_64 support. More   
yes
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.