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.
Joon Pang, CEO
Coontec Korea
Coontec has seen that Imperas offers the best portfolio of virtual prototyping and simulation solutions in the world. Our partnership allows us to offer customers a comprehensive solution to enable shorter time-to-market and enhanced reliability in software development, debug, and test. Imperas will bring greater security and speed to our customers' development projects than ever before.