NASA Software Safety Guidebook
Categorizing software that controls safety critical functions in the system is based
on the degree of control the software exercises over the functions. Software that
can ...... Circuitry is developed in a programming language (such as VHDL or
Verilog), run on a simulator, compiled, and downloaded to the programmable
device.