From: dan Date: Sat, 15 Feb 2020 23:12:50 +0000 (+0000) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~3412 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0f7fccc08ce2eb4b48ca2547b1515075ac4ee7ba;p=libreriscv.git --- 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).