(no commit message)
authoryimmanuel3@f4ac60d763911c3fa518755176e4b9ed455c75d8 <yimmanuel3@web>
Sun, 2 Feb 2020 09:09:28 +0000 (09:09 +0000)
committerIkiWiki <ikiwiki.info>
Sun, 2 Feb 2020 09:09:28 +0000 (09:09 +0000)
index.mdwn

index b7ac96d5868b968f0ef42d0384502b9939dd3c46..0010cc4923227a7b9fe091c5dc2e2d915dba8a7e 100644 (file)
@@ -6,11 +6,11 @@ Right now, we're targeting a (quad core, 800mhz, dual issue, GPU, VPU, [and late
 
 ## 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 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).
 
 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 must have the freedom to study and improve them.
+Given the fact that performant bug-free processors no longer exist, 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.