This paper provides background information and also goes into detail about FPGA synthesis challenges and solutions in high assurance design, including DO-254 environments. Indeed, DO-254 is just one of many new or emerging standards among the safety- and mission-critical (or high assurance) design domains. Military, automotive, space, medical, nuclear, transportation, and industrial segments all have similar standards and/or concerns. The key objective of each of these standards is to ensure that the device produced will perform its intended function (as specified by requirements) under all foreseeable conditions. No specific methodologies or tools are inherently certified, compliant or qualified for these types of programs.
Note: By clicking on the above link, this paper will be emailed to your EE Times log-in address by Mentor Graphics.