From: yimmanuel3@f4ac60d763911c3fa518755176e4b9ed455c75d8 Date: Sun, 2 Feb 2020 09:04:03 +0000 (+0000) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~3616 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b078d192393fce4ebfa4adc0bb96670cda1cd52a;p=libreriscv.git --- diff --git a/index.mdwn b/index.mdwn index b2ce66cde..fb76a30ed 100644 --- a/index.mdwn +++ b/index.mdwn @@ -5,7 +5,7 @@ Its quite hard to guarantee that a 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 [high performing]bug free processors don’t exist anymore, 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 need to be able to study and improve them. +Given the fact that [high performing]bug free processors don’t exist anymore, 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 and improve them. Such a processor is referred to as a Libre processor. However, processors themselves are only a part of the picture. Nowadays, most contemporary computing tasks involve artificial intelligence, media consumption, wireless connectivity, etc.