Google Cloud has released an open source RISC-V instruction set validation tool https://content.riscv.org/wp-content/uploads/2018/12/14.25-Tao-Liu-Richard-Ho-UVM-based-RISC-V-Processor-Verification-Platform.pdf … as part of @linuxfoundation CHIPS Alliance https://chipsalliance.org/
-
Show this thread
-
Replying to @justincormack @linuxfoundation
i'm interested in what would be the relationship between this tool and
@oe1cxw 's formal verification, is it complimentary on different level ?1 reply 0 retweets 0 likes -
Its not a formal verification tool nearer to a fuzz testing tool
1 reply 0 retweets 0 likes
ah got it
4:57 PM - 18 Mar 2019
0 replies
0 retweets
0 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.