FPGA testing for DO-254 compliance
Louie De Luna, Aldec DO-254 program manager
EETimes (5/22/2012 4:10 AM EDT)
The stringent design assurance guideline imposed by DO-254 for custom micro-coded devices like FPGAs present significant verification challenges within the avionics community. As the complexity of the FPGA design increases, so does the verification activities needed to satisfy the verification objectives of DO-254. As defined in the guidance, verification process activities may be satisfied through a combination of methods such as peer reviews, simulation analyses and tests. For design assurance level (DAL) A and B, it is critical that all FPGA pin-level requirements are verified through simulation and hardware tests and evidence of results documented and provided.
This article describes several significant challenges that can be encountered when verifying FPGA pin-level requirements during board level testing under DO-254 guidelines. More importantly, this article proposes a methodology that augments board level testing to overcome these challenges.
To read the full article, click here
Related Semiconductor IP
- ARINC 664 (AFDX) End System DO-254 IP Core
- DO-254 compliant MIL-STD-1553B IP core
- ARINC 429 Transmitter DO-254 IP Core
- ARINC 429 Receiver DO-254 IP Core
- 10/100/1000 Ethernet MAC DO-254 IP Core
Related Articles
- Understand and perform testing for MIPI M-PHY compliance
- Capturing a UART Design in MyHDL & Testing It in an FPGA
- Uncertainty-Guided Live Measurement Sequencing for Fast SAR ADC Linearity Testing
- SynapticCore-X: A Modular Neural Processing Architecture for Low-Cost FPGA Acceleration
Latest Articles
- A Low-Latency ASIC Architecture for Real-Time Line Segment Detection
- BitFair: A 12nm Bit-Serial CNN Accelerator with Learnable Early Termination and Adaptive Bit Ordering for Ultra-Low-Power XR Vision
- A Flexible Sparsity-Aware FPGA Accelerator with Column-Wise Compression for Efficient CNN Inference
- Reducing Instruction-Fetch Energy in RISC-V for Embedded AI Processing via Dynamic and Static Loop Caching
- SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage in the Processor Design Flow