DO-254 Compliant Design and Verification with VHDL-AMS

In military and aerospace systems development, selecting the right electronic components and choosing an optimal design methodology is vital to creating a successful product. The complexities of mechatronic systems, for example, must be factored into design methodologies for mil-aero applications. The VHDL-AMS language is an undiscovered asset for mil-aero digital designers — a powerful tool for defining and verifying safety-critical requirements in a non-digital context. This paper discusses the use of VHDL-AMS for safety-critical digital systems.