Rishiyur Nikhil

The RISC-V ISA Formal Spec Task Group will produce a Formal Specification for the RISC-V ISA. We see the introduction of riscvOVPsim as an excellent reference platform to test and verify with.

CTO Bluespec Inc. and Chair of RISC-V Formal Task Group