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.
Jim Nicholas
VP, MIPS Business Operations, Imagination Technologies
It is exciting and gratifying to see members of the MIPS ecosystem working together to provide new software, tools and methodology to MIPS users. The hardware virtualization features in our MIPS M51xx CPUs make them a unique and powerful offering for next-generation microcontroller-class products. We’re pleased to see these new solutions from Imperas and SELTECH that can help our customers more quickly and easily bring secure, reliable devices to market.
