From 0f7fccc08ce2eb4b48ca2547b1515075ac4ee7ba Mon Sep 17 00:00:00 2001 From: dan Date: Sat, 15 Feb 2020 23:12:50 +0000 Subject: [PATCH] --- why_a_libresoc.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn index 8a643f1d0..da41fe563 100644 --- a/why_a_libresoc.mdwn +++ b/why_a_libresoc.mdwn @@ -1,6 +1,6 @@ ## Why a Libre SOC? -Its quite hard to guarantee that a performant processors (think pipelined, out-of-order) are functionally perfectly correct. In fact, it often turns out that they [aren’t](https://meltdownattack.com). +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