From b26b64ee31e843e0d389f55ea26bf9addeba3eff Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 11 Mar 2020 03:17:34 +0000 Subject: [PATCH] --- why_a_libresoc.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/why_a_libresoc.mdwn b/why_a_libresoc.mdwn index bf05b7ba8..93ddfbfe3 100644 --- a/why_a_libresoc.mdwn +++ b/why_a_libresoc.mdwn @@ -4,7 +4,7 @@ Its quite hard to guarantee that performant processors (think pipelined, out-of- 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). -Given the fact that performant bug-free processors no longer exist [1][2], how can you trust your processor? The next best thing is to have access to a processor’s design files. Not only have access to them, you must have the freedom to study, improve them, run the test suites and be able to improve those too. Not only that, you and everyone who has a stake in the success needs to be entirely free from NDAs and other restrictions which prevent and prohibit communication. +Given the fact that performant bug-free processors no longer exist [1][2], how can you trust your processor [3]? The next best thing is to have access to a processor’s design files. Not only have access to them, you must have the freedom to study, improve them, run the test suites and be able to improve those too. Not only that, you and everyone who has a stake in the success needs to be entirely free from NDAs and other restrictions which prevent and prohibit communication. *Collaboration, not competition*. @@ -12,6 +12,7 @@ Such a processor is referred to as a Libre processor. However, processors themse * [1]: * [2]: +*[3]: # Benefits: Privacy, Safety-Critical, Peace of Mind... -- 2.30.2