AC 20-152
Okólnik Advisory Circular AC 20-152 , Design Assurance Guidance for Airborne Electronic Hardware , określa normę DO-254 opublikowaną przez RTCA jako określającą „akceptowalny sposób, ale nie jedyny” w celu uzyskania zatwierdzenia przez FAA złożonych, niestandardowych mikrokodowanych komponentów w ramach systemy lotnicze z poziomami gwarantowania projektu (IDAL) A, B lub C. W szczególności z wyłączeniem mikrokontrolerów COTS, złożone, niestandardowe mikrokodowane komponenty obejmują programowalne macierze bramek (FPGA), programowalne urządzenia logiczne (PLD) oraz specyficzne dla aplikacji zintegrowane obwodów (ASIC), szczególnie w przypadkach, gdy poprawności i bezpieczeństwa nie można zweryfikować za pomocą samych testów, co wymaga metodycznej kontroli projektu. Zastosowanie DO-254 do komponentów IDAL D jest opcjonalne.