ALINT-PRO Configurations Collapse All Descriptions Expand All Descriptions Show All Editions Features ALINT-PRO[Hide] Supported StandardsSystemVerilog® 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 Verilog® IEEE 1364 (1995, and 2001)ALINT-PRO™ provides full support of the IEEE 1364-2001 Standard. 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 LibrariesALDEC_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 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 OptionALDEC_PREMIUM (VHDL and Verilog)The Aldec Premium rule library is put together by Aldec based on the industry feedback and expertise. More OptionDO-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 OptionSTARC® (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 OptionCore MechanismsAssertion GenerationALINT-PRO™ is capable of automatic testbench generation, which contains assertion statements for CDC crossings verification More Clock Domains ExtractionThe tool is capable of automatic clock domains extraction and clock domain crossing (CDC) rules checking. More Clocks and Resets Auto-detectionThe tool is capable of automatic extraction clock and reset network sources and relations between them. More Combinational Feedbacks DetectionALINT-PRO™ detects combinational loops in the design and reports them as violations. More Coverage Statements for CrossingsALINT-PRO™ is capable of automatic testbench generation, which contains coverage statements for validating user’s testbench completeness. More OptionCustom Synchronizers DescriptionALINT-PRO™ offers custom extension to design constraints which allow describing arbitrary synchronizers. More DFT checksALINT-PRO™ offers as set of rules that provide controllability checks for clock and reset sources. More OptionMetastability InsertionALINT-PRO™ is capable of automatic testbench generation, which emulates metastability in the users design. More OptionMultiple DriversALINT-PRO™ finds networks, which are driven by multiple sources and reports them as violations. More SDC™ GenerationBased on the netlist analysis ALINT-PRO™ can generate SDC™ file to facilitate design setup process. More Synchronizers Patterns RecognitionALINT-PRO™ features the Pattern Matching engine that performs advanced Chip-Level checks on your design. More Vendor Library Components SupportRegular approach to synthesis is not effective for vendor components as long as they contain non-synthesizable code More Debug CapabilitiesClocks and Reset ViewerThe Clocks and Reset Viewer provides list of clocks and resets with all their endpoints. More HDL and Schematic Cross-probingALINT-PRO™ offers a well-designed framework, which allows cross-probing between various windows. More Hierarchy ViewerThe Hierarchy Viewer displays design hierarchy for all projects in the workspace. More Schematic ViewerThe Schematic Viewer provides graphical representation of the synthesized netlist. More OptionViolation ViewerThe Violation Viewer provides the convenient way of managing the results of the linting session. More Design ManagementActive-HDL™, Riviera-PRO™, ALINT™, Vivado™, and Quartus™ Projects ConversionALINT-PRO can convert projects to its native format from commonly used IDE tools. More Auto-Complete and Code TemplatesThe HDL Editor allows using code autocomplete for all the languages supported by ALINT-PRO™. More File BrowserThe File Browser is a tool that allows a user to explore file system. More Flow ManagerIn order to assist with frequently called actions, ALINT-PRO™ is equipped with the Flow Manager. More Library ManagerLibrary manager is a tool dedicated for manipulating compiled HDL modules More Policy EditorPolicy 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 Project ManagerThe 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 Quick Launch PanelIn 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 Tasks ManagementALINT-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 Waiver EditorWaiver 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 Supported PlatformsWindows® 10/8.1/8/7/Vista/2012/2008/2003 32/64 bitBuilds are tested on all the latest platforms, including Windows 8, to ensure correct operation on users' workstations. More Linux® (32/64-Bit)Linux x86/x86_64 support. More Sign In Username: Password: Forgot your password? Sign In Close Ask Us a Question x Ask Us a Question x Name: Phone: Email: Question: Security code: 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.