Overview

Imperas Software Ltd. is a commercial company that develops virtual platforms supporting a range of instruction set architectures (ISAs), including RISC-V. In the related-work discussion of the paper Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation, the authors describe Imperas in the context of RISC-V simulation and processor verification tooling.

RISC-V models and simulation capability

The paper states that Imperas claims support for "step-and-compare" simulation capability. It also says that Imperas provides RISC-V core models under the Apache 2.0 license, while noting that the model is attached to a simulator licensed under the OVP Fixed Platform Kit.

Comparison context in the cited paper

The cited paper compares Imperas-related tooling with Dromajo. According to the paper, Dromajo differs from the Imperas solution in its ability to handle checkpoints, and the paper also notes that Dromajo as a whole is licensed under Apache 2.0.