Imperas announce RISC-V are free with riscvOVPsimPlus

Imperas Software Ltd., has announced the latest RISC-V test suites and updates to the free riscvOVPsimPlus reference model, simulator and test suites. Independently developed Verification IP (VIP) plays an important role in any verification plan since RISC-V developers’ interpretation of the specification are best tested against an independent reference. Architectural Validation test suites are important for RISC-V to ensure hardware implementations are in line with expectations of the software ecosystem supporting RISC-V.

In May 2022 RISC-V International's Architectural Test SIG (formerly the compliance working group) moved to using a Python program/framework v3.0 to run compliance testing and no longer provides signatures or scripts to run targets against their tests. As a service to RISC-V processor developers, Imperas has ported the RVI tests to the Imperas test framework and makes them available as part of the Imperas test downloads. This means you can use all of the Imperas tests and all of the RVI tests from one simple make/bash framework. The RISC-V International tests have the -RVI suffix with further information available at https://www.ovpworld.org/riscvOVPsimPlus.

riscvOVPsimPlus includes Architectural Validation test suites totaling over 8.6 million instructions, available as open-source and include:
- New Test suites for Embedded (E) soon to be ratified specifications
- New Test suites for RV32/64 Zmmul recently ratified specifications
- Test suites updated for RV32/64IMC ratified specifications
- Test suites updated for RV32F, RV64F, and RV64D ratified specifications
- Test suite updated for RV32/64K Crypto (scalar) 1.0.0 ratified specification
- Test suite updated for RV32/64B Bit Manipulation 1.0.0 ratified specification
- Test suite updated for RISC-V Vectors 1.0.0 ratified specification
Configured: spec:1.0.0, xlen:32, elen:32, vlen:256, slen:256, FP:IEEE754
Note ImperasDV users can access other configs of spec, xlen, elen, vlen, slen

RISC-V Specifications supported in riscvOVPsimPlus
• RISC-V - Instruction Set Manual, Volume I: User-Level ISA (user_version)
o Version 2.2 : User Architecture Version 2.2
o Version 2.3 : Equivalent to User Architecture Version 20191213
• RISC-V - Instruction Set Manual, Volume II: Privileged Architecture (priv_version)
o Version 1.10 : Privileged Architecture Version 1.10
o Version 1.11 : Privileged Architecture Version 1.11, equivalent to 20190608
o Version 1.12 : Privileged Architecture Version 1.12, equivalent to 20211203
• RISC-V I Base ISA
• RISC-V E Embedded ISA
• RISC-V M Multiply/Divide
• RISC-V A Atomic Instructions
• RISC-V F Single precision floating point
• RISC-V D Double precision floating point
• RISC-V C Compressed instructions
• RISC-V S Supervisor mode
• RISC-V U User mode
• RISC-V N User-level interrupts
• RISC-V V Vector Extension (vector_version)
o Version 0.7.1-draft-20190605 : Vector Architecture Version 0.7.1-draft-20190605
o Version 0.8 : Vector Architecture Version 0.8
o Version 0.9 : Vector Architecture Version 0.9
o Version 1.0 : Vector Architecture Version 1.0 (frozen for public review)
• RISC-V B Bit Manipulation Extension (bitmanip_version)
o Version 0.90 : Bit Manipulation Architecture Version v0.90-20190610
o Version 0.91 : Bit Manipulation Architecture Version v0.91-20190829
o Version 0.92 : Bit Manipulation Architecture Version v0.92-20191108
o Version 0.93 : Bit Manipulation Architecture Version v0.93-20210110
o Version 0.94 : Bit Manipulation Architecture Version v0.94-20210120
o Version 1.0.0 : Bit Manipulation Architecture Version 1.0.0
• RISC-V K Cryptographic Extension (crypto_version)
o Version 0.7.2 : Cryptographic Architecture Version 0.7.2
o Version 0.8.1 : Cryptographic Architecture Version 0.8.1
o Version 0.9.0 : Cryptographic Architecture Version 0.9.0
o Version 0.9.2 : Cryptographic Architecture Version 0.9.2
o Version 1.0.0-rc5 : Cryptographic Architecture Version 1.0.0-rc5
• RISC-V P DSP/SIMD Extension (dsp_version)
o Version 0.5.2 : DSP Architecture Version 0.5.2
o Version 0.9.6 : DSP Architecture Version 0.9.6

In addition, the following specification extensions are available to ImperasDV commercial users
• RISC-V H Hypervisor Extension (hypervisor_version)
o Version 0.6.1 : Hypervisor Architecture Version 0.6.1
• RISC-V Debug Module (debug_version)
o Version 0.13.2
o Version 0.14.0
o Version 1.0.0-STABLE-20220609

“With all the design freedoms that RISC-V offers, verification has never been more important to ensure full ecosystem support for new processor implementations,” said Simon Davidmann, CEO at Imperas Software Ltd. “The best test for a processor is simulation-based testing to verify the interaction between the software program and the hardware operation. Architectural Validation test suites, while not a complete verification plan, offer the basic confirmation necessary to sustain the ecosystem of software support. We are pleased to offer the latest suites for the key ratified specifications of Vectors, Bit Manipulation and Crypto plus the new Embedded E suite, all for free including commercial use, with riscvOVPsimPlus.”