do-254 programmable logic