IEEE: FPGA Level In-Hardware Verification for DO-254 ComplianceDate: 2011/10/16 Type: CompanyIEEE: FPGA Level In-Hardware Verification for DO-254 Compliance