But beyond the contemporary ever increasing cry for privacy, is a very real need for reliable safety critical processors.
LibreSOC poses to you that it is impossible to trust a processor in a safety critical environment without both access
-to that processor's source and a cycle accurate HDL simulator that guarantees developer's their code behaves as they
+to that processor's source and a cycle accurate HDL simulator that guarantees developers their code behaves as they
expect. An ISA level simulator is no longer satisfactory.
Refer to this [paper](https://ieeexplore.ieee.org/document/4519604) authored by Cyberphysical System expert Ed-Lee for more details.