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/
i'm interested in what would be the relationship between this tool and @oe1cxw 's formal verification, is it complimentary on different level ?
-
-
Its not a formal verification tool nearer to a fuzz testing tool
-
ah got it
End of conversation
New conversation -
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.