industry news
Subscribe Now

Imperas Leads The RISC-V Processor Verification Ecosystem

Verification IP extended with Floating-Point architectural validation test suites based on golden reference model and coverage-based development.

Oxford, United Kingdom, January 25th, 2021 — Imperas Software Ltd., the leader in RISC-V processor verification technology, today announced the latest addition to the Imperas RISC-V Verification IP (VIP) solutions with the Floating-Point architectural validation test suites covering the RISC-V Specifications for 32bit Single-Precision (32F), 64bit Single-Precision (64F), and 64bit Double-Precision (64D). These tests extend the current Imperas range of tests for ratified and near-ratified specifications tests, and complement the de facto industry adoption of the Imperas RISC-V verification reference model.

Processor verification is the essential focus of any development team. Design bugs that are caught early help projects complete on schedule and provide timely solutions to the target market. The impact of late-stage bugs, and associated costs, can be significant. One often-quoted example is the Intel Floating Point bug discovered in deployed devices by end-users in 1994. The total economic impact of this issue was reported at the time as a pre-tax charge of $475m.

The latest RISC-V verification ‘step-and-compare’ methodology can be used to verify an RTL processor implementation against the Imperas golden reference model encapsulated within a SystemVerilog UVM environment. This covers asynchronous events and offers a seamless, time-saving, transition to debug analysis when an issue is found. More details on test benches with Imperas RISC-V verification reference models are available at

The ratified RISC-V specification defines the following standard extensions:
-32F: 32bit Single-Precision Floating-Point (IEEE 754-2008 arithmetic standard)
-32D: 64bit Single-Precision Floating-Point (IEEE 754-2008 arithmetic standard)
-64F: 64bit Single-Precision Floating-Point (IEEE 754-2008 arithmetic standard)
-64D: 64bit Double-Precision Floating-Point (IEEE 754-2008 arithmetic standard)

To help developers ensure their processor designs meet the RISC-V specifications, Imperas has developed an instruction stream test generator for directed-tests and is now making many architectural validation test suites available.

Suites totalling over 3.5 million instructions now available for free as open-source include:
-New Test suites for RV32F, RV64F, and RV64D ratified specifications
-Test suites for RV32/64IMC ratified specifications
-Test suite for RISC-V Vectors
Configured: spec:0.8, xlen:32, elen:32, vlen:256, slen:256, FP:IEEE754
Contact Imperas for spec version 0.9, 1.0 draft and other configs of xlen, elen, vlen, slen
-Test suite for RV32/64K Crypto (scalar) 0.8.0 draft specification
-Test suite for RV32/64B Bit Manipulation 0.93 draft specification

The Imperas test suites are for ISA architectural compliance validation and are not comprehensive, complete, full hardware design verification test suites that prove that hardware is bug-free.

Coverage is a key aspect for any verification plan, as it helps measure the progress toward the quality targets for design completion and tape-out milestones. To support instruction and architectural functional coverage, the Imperas RISC-V golden reference model has been further enhanced with built-in monitors to provide coverage metrics without the need for post-simulation processing or other delays with log file analysis.

The free riscvOVPsimPlus RISC-V reference model and simulator, which has been widely adopted across the RISC-V verification ecosystem, supports the RISC-V ratified specifications for RV32/64 IMAFDC plus also the ‘near-ratified’ ISA extensions for Vector “V”, Hypervisor simulation “H”, Bit Manipulation “B”, and Crypto (Scalar) “K” extensions.

To support the SystemVerilog encapsulation of the reference model, the Imperas RISC-V Processor Verification IP (VIP) package includes example SystemVerilog supporting components and modules for interfacing and synchronization between the Imperas RISC-V golden reference model and the RTL core under test in a step-and-compare verification flow. This approach covers the important aspects of asynchronous events and debug mode operation while also supporting the DV engineer’s active investigation directly at the point of interest during test failure analysis and resolution.

Imperas offers Extendable Platform Kits (EPK) that are provided as source and includes the platform, models, scripts, and software to shorten the time to productivity. EPKs contain:
-An example platform for use with Google RISCV-DV Instruction Stream Generator flow
-An example platform for step-and-compare SystemVerilog* encapsulation test bench
-An example platform for RISC-V functional coverage

*SystemVerilog supported platforms are available for use with our partners Cadence Xcelium, Mentor Questa, Synopsys VCS environments and Metrics cloud-based solutions.

“RISC-V processor designers are pushing the boundaries of design innovation and dedicated floating point hardware can be one of the most demanding verification tasks,” said Simon Davidmann, CEO at Imperas Software Ltd. “The Imperas Floating-Point tests supports processor DV with instruction-based tests across the architectural envelope, and using a ‘step-and-compare’ flow with the Imperas reference model that covers asynchronous events with a seamless transition to debug and resolve issues.”

The free riscvOVPsimPlus package, including the test suites and functional coverage analysis, are now available on OVPworld at The riscvOVPsimPlus solution is an entry ramp for development and verification and includes a proprietary freeware license from Imperas, which covers free commercial use as well as academic use. The simulator package also includes a complete open-source model licensed under the Apache 2.0 license.

The RISC-V processor Verification IP, example test benches and any customer-specific test suites are Imperas commercial solutions. Imperas also provides solutions for developers of more advanced RISC-V designs that need multi-core or custom instruction support and advanced verification techniques.

Imperas also offers a rich library of models for virtual platforms used in early software development and hardware verification, including methodologies around continuous integration and regression using ‘virtual’ test farms, plus support for hybrid verification platforms with hardware emulators provided by Cadence Palladium, Mentor Veloce, Synopsys Zebu. Further details are available at

About Imperas
Imperas is the leading provider of RISC-V processor models, hardware design verification solutions, and virtual prototypes for software simulation. Imperas, along with Open Virtual Platforms (OVP), promotes open source model availability for a spectrum of processors, IP vendors, CPU architectures, system IP and reference platform models of processors and systems ranging from simple single core bare metal platforms to full heterogeneous multi-core systems booting SMP Linux. All models are available from Imperas at and the Open Virtual Platforms (OVP) website. For more information about Imperas, please see Follow Imperas on LinkedIn, twitter @ImperasSoftware and YouTube.

Leave a Reply

featured blogs
Mar 7, 2021 Made autonomously driving in San Francisco Monday: Update: Hogan, Mars, Australia, Solarwinds Tuesday: Cruising Through San Francisco with No Driver Wednesday:... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Mar 7, 2021
Join us as we celebrate Women in STEM as part of International Women's Day 2021, and see how diveristy, inclusion & equity form the heart of the Synopsys team. The post Celebrating International Women'€™s Day at Synopsys…Hands Up! appeared first on From Silicon ...
Mar 5, 2021
The combination of the figure and the moving sky in this diorama -- accompanied by the music -- is really rather tasty. Our cats and I could watch this for hours....
Mar 5, 2021
In February, we continued to build out the content on the website, released a new hierarchy for RF products, and added ways to find Samtec “Reserve” products. Here are the major web updates to for February 2021. Edge Card Content Page Samtec offers a fu...

featured paper

Increase the flexibility of your precision analog designs leveraging a low-cost MSP430™ MCU

Sponsored by Texas Instruments

There are many ways to address performance requirements while reducing the overall cost of your design. People often use dedicated integrated circuits to address specific functions, but this approach can cause variations in cost, complexity, and ease of use. There is another way to unlock the full potential of your design. Read more to see how a programmable MCU provides additional functionality and flexibility that is not typically available with conventional approaches.

Click here to read the paper

Featured Chalk Talk

Bulk Acoustic Wave (BAW) Technology

Sponsored by Mouser Electronics and Texas Instruments

In industrial applications, crystals are not ideal for generating clock signal timing. They take up valuable PCB real-estate, and aren’t stable in harsh thermal and vibration environments. In this episode of Chalk Talk, Amelia Dalton chats with Nick Smith from Texas Instruments about bulk acoustic wave (BAW) technology that offers an attractive alternative to crystals.

More information about Texas Instruments Bulk Acoustic Wave (BAW) Technology