The problem with building formal verification demos around "known good" designs: https://github.com/cliffordwolf/picorv32/commit/702ce0eb7934525739c3b7eeaedb2b41d86e4000 …
This is not the first bug I find in PicoRV32 while writing my #orconf slides, but it's the first one that looks pretty serious.
0 replies
1 retweet
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.