me: finally managed to completely disable that debug unit smt solver: did you know that this core supports the optional Physical Memory Protection (PMP) feature? Look: lui x12,0x4880 csrrw x13,pmpaddr2,x12 csrrs x13,pmpcfg0,x12 and x25,x10,x8 <- trap No, I did not know that.https://twitter.com/oe1cxw/status/957409526940094464 …
Replying to @embarbosa
This is riscv-formal. https://github.com/cliffordwolf/riscv-formal …https://www.youtube.com/watch?v=VU97ffHF_IQ …
0 replies
1 retweet
12 likes
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.