Developing DO-254 Projects with MATLAB and Simulink: From Requirements to RTL Verification
| Start Time | End Time |
|---|---|
| 17 Dec 2025, 9:00 AM EST | 17 Dec 2025, 10:00 AM EST |
| 17 Dec 2025, 2:00 PM EST | 17 Dec 2025, 3:00 PM EST |
Overview
Achieving DO-254 compliance for airborne electronic hardware requires more than HDL implementation—it demands a disciplined, traceable workflow connecting requirements, design models, and verification evidence. This webinar demonstrates how MATLAB, Simulink, and other MathWorks products support a fully integrated workflow that satisfies DO-254 objectives from high-level requirements capture to verified RTL.
Using a hydraulic actuator control system as a representative example, we’ll show how to define hardware requirements, build test harnesses in Simulink Test to validate model behavior prior to HDL code generation, and then generate traceable HDL code with HDL Coder. Verification of HDL behavior against the model is performed using HDL Verifier, demonstrating compliance objectives with the DO Qualification Kit (DO-254).
Attendees will gain a clear understanding of how Model-Based Design supports requirements-based verification, automated traceability, and evidence generation for certification audits.
Highlights
By attending this webinar, you will learn how to:
- Capture structured requirements and link them bidirectionally to Simulink models, test cases, and HDL implementations.
- Create test harnesses with Simulink Test to test blocks or complete models without altering Simulink models.
- Validate model behavior and requirements coverage before generating RTL code.
- Generate RTL code with HDL Coder, including traceability and compliance reports suitable for design reviews.
- Perform verification efforts at both model and RTL levels with Simulink Test and HDL Verifier, ensuring back-to-back correlation between requirements, model, and generated HDL.
- Automate compliance documentation using DO Qualification Kit (DO-254) to demonstrate tool qualification and verification completeness.
Please allow approximately 45 minutes to attend the presentation and Q&A session. We will be recording this webinar, so if you can't make it for the live broadcast, register and we will send you a link to watch it on-demand.
About the Presenter
Eric Cigan is a principal product marketing manager at MathWorks for IC and FPGA verification. Prior to joining MathWorks, he held technical marketing roles at Mentor Graphics, MathStar, and AccelChip. Eric coauthored a recent series of papers for the Design and Verification Conference (DVCon US) the on verification of designs created in MATLAB, Simulink, and Simscape. Eric earned BS and MS degrees in mechanical engineering from the Massachusetts Institute of Technology.
Product Focus
We will not sell or rent your personal contact information. See our privacy policy for details.
You are already signed in to your MathWorks Account. Please press the "Submit" button to complete the process.
