Henderson, NV, USA – June 30, 2020 – Aldec, Inc., a pioneer in mixed HDL language simulation and hardware-assisted verification for FPGA and ASIC designs, has added a customizable tool qualification data package to ALINT-PRO to save users considerable time when qualifying the tool’s use in projects requiring Design Assurance Levels (DAL) A and B under DO-254 guidance.
Avionics system manufacturers using complex devices such as FPGAs must meet specific RTCA/DO-254 process objectives in order to receive system approval. DO-254 recommends that applicants define and follow HDL coding standards commensurate to the complexity of the FPGA design. It is allowed, and even suggested by the DO-254 Users Group, that linting tools be used to enforce HDL coding standards automatically. Using such tools makes the design review more effective, more reliable, and much faster.
The only requirement for DAL A and B is that the user must prove verification tools such as linters will detect errors in the design and functionally behave as intended. Following the Tool Assessment and Qualification process described under RTCA/DO-254 guidance, Aldec has enabled users to implement and run the Basic Tool Qualification process.