The wide support of OVP fast processor core models, together with Imperas tools for software analysis, perfectly complements the Magillem Executable Specification (X-Spec) solution. The tight integration of Imperas technology with Magillem X-Spec will help our customers to seamlessly execute their embedded Software on their Hardware specification.
Allen Baum, Chair of the RISC-V International Architecture Test SIG
Esperanto Technologies, Inc.
Functional coverage is fundamental to all modern processor verification plans; it marks the progress to project completion and release for prototype manufacture.
The release of the Imperas SystemVerilog functional coverage library with a permissive free-to-use license will now benefit all RISC-V verification teams and complements the work of the RISC-V International Architecture Tests SIG.