Aldec and Thales to Co-Present at Certification Together International Conference 2023

Date: May 1, 2023
Type: Release

Toulouse, France – May 1, 2023 – Aldec, Inc. - Together with EASA, FAA, Airbus and other leading avionics regulatory experts and system suppliers, Aldec and Thales will be co-presenting at the Certification Together International Conference (CTIC) to be held in Toulouse, France from May 10-12, 2023.


The CTIC is dedicated to addressing system, software and hardware certification challenges for avionics systems. This year, Aldec and Thales will co-present a technical case study on the use of transaction-level modeling (TLM) for FPGA designs that use high-speed interfaces such as PCIe and Ethernet.


Technical Case Study: Industry’s First use of TLM for the Verification of a PCIe-based FPGA Design for DO-254 Compliance


May 12, 2023, Hardware Track
Presenters: Janusz Kitel, Aldec and Yann Le Hennaf, Thales


The use of high-speed interfaces like PCIe and Ethernet is becoming popular in FPGAs and SoC FPGAs within avionics systems. However, verification of such designs for DO-254 compliance with design assurance level (DAL) A or B is problematic. FPGA designs that use asynchronous clocks with multiple high-speed serial interfaces produce non-deterministic results during physical tests. Simulation results are optimized because they are based on simplified models, while the test results in physical hardware depend on the phases of clock oscillators.


In this presentation, we will discuss the limitations of bit-level verification and introduce TLM, and how it can be used for verifying FPGA designs with high-speed interfaces for DO-254 compliance. Transactions are easier to manage, analyze, and debug. Additionally, the untimed testbenches used with TLM are not sensitive to clock frequency and phase changes, which is ideal for verifying such designs with non-deterministic behavior.


Until now, TLM has not been used to verify a PCIe-based FPGA design requiring DO-254 compliance. This case study recounts an industry first.


Aldec continues to be active in the avionics community helping suppliers and airframers improve and innovate their verification processes with industry-proven tools and solutions. Aldec provides FPGA design/verification tools for DO-254 compliance including:


  • Requirements Traceability
  • HDL Coding Standards, Design Rule Checking and Clock Domain Crossing Analysis
  • DO-254 Templates and Review Checklists
  • VHDL/Verilog/SystemC Simulation with Code Coverage and UVM Support
  • Target FPGA At-Speed Device Testing Platform
  • Tool Qualification Data Packages
  • 3-Day DO-254 Practitioner’s Training


About Certification Together

The Certification Together International Conference is designed to create exchanges between companies involved in airborne projects and facing certification challenges. The conference leverages the expertise of internationally recognized expert companies in the certification of critical systems.


About Aldec

Aldec Inc., headquartered in Henderson, Nevada, is an industry leader and pioneer in Electronic Design Verification. Established in 1984, Aldec offers patented verification technology in the areas of mixed-language RTL simulation, FPGA acceleration and emulation, multi-FPGA partitioning and SoC/ASIC prototyping, design rule checking, clock domain crossing analysis, RTAX/RTSX prototyping of radiation tolerant FPGAs for space applications, requirements traceability and functional verification for military, aerospace, avionics, automotive, medical, telecommunications and industrial applications.

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

Ask Us a Question
Ask Us a Question
Captcha ImageReload Captcha
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.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.