Ventana Micro Systems is using simulation and test and verification tools from Imperas Software in the UK for the RISC-V processors under development as IP cores and chiplets for high performance data centre designs.
Imperas RISC-V verification for Ventana Micro