From 5551fb3623f86b4d13d3e9913b7a8fa341d67309 Mon Sep 17 00:00:00 2001 From: "yimmanuel3@f4ac60d763911c3fa518755176e4b9ed455c75d8" Date: Mon, 6 Apr 2020 23:44:31 +0100 Subject: [PATCH] --- why_a_libresoc.mdwn | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn index 29cdb0c61..069f43176 100644 --- a/why_a_libresoc.mdwn +++ b/why_a_libresoc.mdwn @@ -1,5 +1,11 @@ # Why a Libre-SOC? +## TLDR + +We believe a computer should be safe to use, and this starts with a safe processor. + +## The Lengthier Explanation... + Its quite hard to guarantee that performant processors (think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com). There are entire [dissertations](http://www.kroening.com/diss/diss-kroe.pdf) dedicated to the subject matter of merely functionally verifying a pipeline (this doesn’t even consider out of order execution). -- 2.30.2