ALINT-PRO is Aldec's design rule checking (DRC) tool. It uses rule files (‘rule plug-ins’) to build company or project specific checks (‘policies’), in order to check that a design’s RTL adheres to a defined RTL coding style. For multi-clock or multi-reset designs, ALINT-PRO provides a full-scale CDC and RDC Verification solution, capable of complex clock and reset domain crossing analysis and handling of metastability issues. ALINT-PRO can suggest constraints based on the design analysis and considers constraints specified by the user in their SDC files. It decreases development time dramatically by identifying design issues early in the development schedule.
ALINT-PRO provides configurable design rules that are based on industry standards such as STARC, DO-254 and other customer-derived requirements. It works in conjunction with the manual review process, and makes a valuable contribution to the overall design process when developing safety-critical applications (which must comply with standards such as IEC 61508 and DO-254/ED-80).
ALINT-PRO easily integrates into existing development environments, being fully scriptable using Tcl, but also has a powerful fully interactive GUI for rule setup and design debug.
ALINT-PRO’s main role is to identify design weaknesses before they manifest into bugs. It essentially provides the earliest level of verification, by checking your design against good coding practices.
Features and Benefits
Related Articles, Blogs and Videos
“ALINT is a fully automated verification environment which is intuitive and can be used with minimal training. Other products, including no-cost options, were considered however as a supported product, ALINT provides better continuity and is straightforward for engineers to engage with.” - Renishaw