+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.
+
+Refer to this [IEEE article](https://ieeexplore.ieee.org/document/4519604) by Cyberphysical System expert Ed-Lee for more details.