+There is a very real need for reliable safety critical processors (think airplane, smart car, nuclear power plant, pacemaker...).
+Libre-SOC posits that it is impossible to trust a processor in a safety critical environment without both access
+to that processor's source, a cycle accurate HDL simulator that guarantees developers their code behaves as they
+expect, and formal correctness proofs. An ISA level simulator is no longer satisfactory.