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.
Nobuyuki Ueyama
President of eSOL TRINITY
Imperas enables eSOL TRINITY to create new value for our customers by reducing time and cost-to-market, while improving their overall system performance. We believe partnership with Imperas will maximize synergy effect of our expertise and knowledge in embedded software development scene in Japan.