ALINT Configurations
| Features | ALINT [Hide] |
|---|---|
| Supported Standards | |
| Verilog® HDL IEEE 1364 (1995, 2001 and 2005) ALDEC simulators provide full support of the IEEE 1364-2005 Standard. To enable simulation of a large variety of Verilog designs, both legacy and new, ALDEC simulators can be set to work in Verilog ’95, 2001 and 2005 modes. More | |
| 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 | |
| Rule Libraries | |
| Aldec Basic (VHDL and Verilog) Aldec Basic (VHDL and Verilog) More | |
| DO-254 (VHDL or Verilog) This plug-in provides set of rules that can be used to improve design compliance with DO-254. More | Option |
| RMM (VHDL and Verilog) Reuse Methodology Manual (RMM) design rule library is based on the industry-proven manual from Synopsys Inc. and Mentor Graphics Corp. which defines the methodology for effective design reuse and verification. More | Option |
| STARC® (VHDL or Verilog) STARC based Verilog or VHDL design rule library includes a set of Verilog/VHDL rules from the “STARC RTL Design Style Guide, 2nd Edition”. More | Option |
| User-Defined Rules ALINT™ allows designers to create their own rules from scratch. ALINT is equipped with a special wizard that assists with the process of creating a new rule. C or C++ should be used to create new rules. More | |
| Technology | |
| Pattern Matching Engine ALINT™ features the Pattern Matching engine that performs advanced Chip-Level checks on your design. More | |
| Instances Classification ALINT™ is capable of classifying design instances based on splitting design into independent hierarchical segments. More | |
| FPGA Primitives Support Regular approach to synthesis is not effective for vendor components as long as they contain non-synthesizable code (this is implementation software task to match a component with appropriate logic resource). More | |
| CDC Analysis and Reporting The tool is capable of automatic clock domains extraction and clock domain crossing (CDC) rules checking. More | |
| Design Refinement Methodology | |
| Quality Scoring Detailed Quality Reports are available once linting session is completed. These reports are based on the ratio of violated and non-violated rule weights and provide the estimation of how good your design is in terms of rules that were used during the most recent linting session. More | |
| Flow Editor The linting flow is a process or set of phases that must be executed and completed sequentially. More | |
| Phase-Based Linting (PBL) The Phase-Based Linting methodology significantly improves user productivity and overall efficiency of the entire linting process. More | |
| Critical Rules Some design issues have significant impact on design analysis process and may cause false violations from rules that are implicitly related with them. More | |
| Flow Manager The Phase-Based Linting (PBL) methodology is implemented based on the Flow Manager. More | |
| Results Analysis and Reporting | |
| Violation Viewer The Violation Viewer provides the convenient way of managing the results of the linting session. More | |
| Exclusions Management Your design may include some block or context for which you will need to disable certain coding standards (the appropriate violation reports are going to be “irrelevant” otherwise). More | |
| Cross Probing To Source Code ALINT allows to cross-probe the violations to their source. More | |
| Violation Reports Comparison ALINT™ provides a comparison of two violation reports from different linting runs. More | |
| Standalone Reporting and Documentation ALINT features completely independent reports that can be viewed with any standard web browser at any computer, with no additional license required. More | |
| Productivity Tools | |
| Design Management ALINT™ features several tools for effective design management. They allow creating and managing workspaces, attached designs and their resources like HDL source files, script files and linting results with a single mouse click. More | |
| Quick Launch Panel In order to assist first-time users, ALINT™ is equipped with the Quick Launch Panel. Quick Launch Panel provides quick access to the most commonly used features and functions of ALINT. More | |
| Configuration Viewer The Configuration Viewer provides fast access to the rulesets and policies created by the designer and located anywhere on the hard drive. More | |
| Rule Description Viewer Rule Description Viewer provides detailed description for each rule available in ALINT™. The descriptions are accompanied with pictures and HDL code examples. More | |
| Rule Plug-in Viewer Rule Plug-in Viewer provides access to all the rules available in ALINT™. The rules are grouped into rule plug-ins based on the HDL language and the rule provider (STARC®, Aldec®, etc.). More | |
| Ruleset Editor Ruleset Editor is a tool for viewing and managing rulesets in ALINT™. Ruleset is a named collection of rules. More | |
| Rule Parameters Editor Rule Parameters Editor provides access to the parameters of the rules in ALINT™. It allows customizing existing rules in multiple ways by modifying the default values of the parameters. More | |
| Custom Policy Editor Custom Policy Editor is a tool for viewing and managing policies in ALINT™. Policy is a collection of rules used by a designer to check against the design. More | |
| Licensing | |
| Floating License The network floating configuration (multiple users) is based on a license started on a remote machine (license server) running on the Windows or Linux platform. More | |
| One Year Time Based License One Year Time Based License (TBL) grants a designer a license to use the product for a period of one year. A 1 year support contract is included with the purchase of TBL license. More | |
| Perpetual License A perpetual license is a license with no expiration date. A 1 year support contract is included with the purchase of perpetual license. More | |
| Supported Platforms | |
| Windows® 7/Vista/XP/2003 - (32/64-Bit) Builds are tested on all the latest platforms, including Windows 7, to ensure correct operation on users' workstations. More | |
| Linux (32/64-Bit) Linux x86/x86_64 support. More | |
