Aldec Adds Customizable Tool Qualification Data Package to ALINT-PRO™ for DO-254 Projects

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.

Aldec now offers the complete and customizable qualification package for the Basic Tool Qualification process.

The data package is customizable which means it is prepared to satisfy user requirements and proves that ALINT-PRO can enforce the user’s chosen coding standard, either the one included in ALINT-PRO or one the user has mapped into the tool. The package includes an automated test suite and comprehensive documentation. The only work the user need do is to run the test suite in its intendent environment and complete the documentation with tests result and environment information.

“This Qualification Package should greatly accelerate an applicant’s performance of the DO-254-required Basic Tool Qualification for ALINT-PRO,” comments Tom Ferrell, Consulting FAA Designated Engineering Representative (DER). “The rule-based tests are clearly defined and the flexibility built-in to the tool allows for clean and concise alignment to an applicant’s coding standard. Overall, a great addition to the DO-254 tool space.”

Janusz Kitel, DO-254 Program Manager at Aldec, adds: “One of the most significant benefits of using ALINT-PRO to enforce coding standard is the huge amount of time saved when compared to performing a manual review. However, we want to save the user even more time, by not having to manually prove the tool works correctly, which can take a significant amount of time.”

Aldec continues to support DO-254 users in this area by providing the independent assessment path and tool qualification data packages for all of its tools used for DO-254 compliance including code coverage, HDL simulation, hardware test platforms and now linting with best-practice HDL coding standards.

“As a verification company we have always recognized the importance of verifying that our verification tools perform as intended,” concludes Kitel, “and the ability to prove and record that has always been present, though requiring a series of manual activities. Conscious of how precious time is for engineers working on projects requiring DO-254 certification and recognizing that tool qualification may be a necessary but time-consuming activity, we believe our qualification packages are of great benefit.”


ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, avoiding problems on further design stages, clocks and reset tree issues, CDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically.

About Aldec

Aldec Inc., headquartered in Henderson, Nevada, is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, SoC and ASIC Prototyping, Design Rule Checking, CDC Verification, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification and Military/Aerospace solutions.

Aldec is a registered trademark of Aldec, Inc. All other trademarks or registered trademarks are the property of their respective owners.

Media Contact:  

Richard Warrilow

Declaration Limited

T: +44 (0)1522 789 000

Email Contact

Read the complete story ...

Review Article Be the first to review this article

 True Circuits: Ultra PLL

Featured Video
Latest Blog Posts
Modesto (Mo) CasasGlobal Business in EDA
by Modesto (Mo) Casas
The Contingent Purchase Order Reassures Buyer and Seller
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
Meet the New Cylynt, Fighting Software Piracy Around the Globe
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Smart Assembly of SoC Designs
Senior Analog Design Engineers #5337 for EDA Careers at EAST COAST, California
Senior Layout Engineer for EDA Careers at EAST COAST, California
Software Engineer for EDA Careers at RTP, North Carolina
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Upcoming Events
57th Design Automation Conference 2020 at San Francisco CA - Jul 19 - 23, 2020
SEMICON West 2020 - Virtual Event at - Jul 20 - 23, 2020
Semicon Southeast Asia 2020 at MITEC Kuala Lumpur Malaysia - Aug 11 - 13, 2020
Drive World Conference & Expo at Santa Clara Convention Center Santa Clara CA - Aug 11 - 13, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers

© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise