CTO Bluespec Inc. and Chair of RISC-V Formal Task Group
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.
Vijay Krishnan, General Manager, RISC-V Ventures
Intel
The adoption of RISC-V is at an inflexion point across multiple markets and applications, and Intel fully appreciates that a healthy software ecosystem is critical for this new ISA to be successful.
The availability of Imperas RISC-V reference models for the Professional Edition of Intel Pathfinder for RISC-V further strengthens the tools available to developers as new silicon designs move from concept to production.