Achieving Quality and Traceability in FPGA/ASIC Flows for DO-254 Aviation Projects | IEEE Conference Publication | IEEE Xplore