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.