Verification
From UVM Simulation to Hardware-in-the-Loop
How separating verification intent from transport can support the reuse of sequences, checking, reference models, and coverage across simulation and HIL environments.
Insights
Practical notes for engineers and technical leaders working with airborne electronic hardware, FPGA verification, DO-254 life cycle data, AMC 20-152A considerations, and certification readiness. Each article focuses on a specific engineering question and connects it to actionable project decisions.
Featured articles
More articles
4 articles
AMC 20-152A
Compliance Assurance for Simple COTS Devices
How DO-254 and AMC 20-152A treat simple COTS devices, which objectives apply, and which assurance activities remain prudent in an airborne electronic hardware programme.
DO-254
Requirements Traceability in DO-254
A practical look at how requirements, design data, verification activities, results, and problem reports should form a coherent evidence chain.
DO-254
Practical DO-254 for FPGA Engineers
Why effective training must connect the objectives of the standard with engineering decisions, life cycle activities, and project evidence.