LIVE WEBINAR: Verification of PCIe-based FPGA Designs Requiring DO-254 Compliance (US)

Janusz Kitel, DO-254 Program Manager at Aldec

Thursday, February 10, 2022

11:00 AM - 12:00 PM (PST)

Abstract:

PCIe-based FPGA designs are becoming popular within avionics systems. However, the 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 such as PCIe 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. Bit-level verification struggles with this, especially when comparing physical test results against simulation results for traceability, and many false errors are likely to be observed.
 
In this webinar we will introduce transaction-level methodology (TLM), and how it can be used for verifying PCIe-based FPGA designs for DO-254 compliance. Transactions are easier to manage and correlate with the simulation results, therefore traceability is much easier to establish. Also, the untimed testbenches used with TLM are not sensitive to clock frequency and phase changes, which is ideal for verifying PCIe-based FPGA designs with non-deterministic behavior.
 
We will also show a complete flow using TLM from simulation all the way to target FPGA physical testing with our popular CTS platform.

 

Agenda: 

  • Typical architecture of PCIe-based FPGA design
  • Verification challenges
  • Introduction of TLM
  • Differences between bit-level and transaction-level
  • Benefits of TLM
  • Simulation + target FPGA physical test using TLM
  • Q&A

Presenter Bio:

Janusz Kitel

Janusz Kitel is a DO-254 Program Manager at Aldec. He is responsible for FPGA level in-target testing technology and requirements lifecycle management for DO-254 and other safety-critical industry standards. Janusz has 7 years of experience in requirements engineering and over 12 years of experience in product quality assurance. Janusz received his M.S. in Electronics and Telecommunication from Silesian University of Technology and increased his knowledge around software engineering from complementary studies at AGH University of Science and Technology (Poland). His practical engineering experience includes the areas of functional verification, DO-254 compliance and software development and he has held a wide range of engineering positions that include Application Engineer, Software Developer and Project Manager.

 

Legal | Privacy | ©2021 Aldec, Inc. All Rights Reserved.