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.
Shubhodeep Roy Choudhury, Managing Director & Co-founder
Valtrix Systems
Ideally any test should provide a clear pass or fail indication. In the case of RISC-V processor DV this is achieved with a comparison against a quality reference model.
STING helps generate portable, architecturally correct and self-checking tests targeted at the corner-case scenarios by automating the comparison of the DUT against the Imperas reference model results.