RiVer Core: A RISC-V Core Verification Framework
InCore and Tessolve announce the availability of our open source RISC-V Core Verification tool - RiVer Core. RiVer Core is a python based extensible and scalable framework aimed at providing a central control point for all major aspects of a RISC-V processor verification flow. The tool is fully open source under the permissive BSD-3 Clause License.
The repository is hosted on Github - https://github.com/incoresemi/river_core
RiVer requires 3 major components to a RISC-V Core.
- A set of tests which need to be run on the target. These could be either random or directed in nature.
- A RISC-V target that needs to be tested. This is typically an RTL implementation, but could also include other micro-architectural models
- A Reference model against which checks are performed to determine pass/fail conditions.
Through the RiVer Core framework, you can continue to build and generate new tests using an existing environment and scripts independently of the environment chosen/used by the target or the reference. Similarly, you can easily replace the reference models for different tests depending on the test's requirements. Unlike other conventional frameworks, RiVer takes a more holistic approach and avoids creating any environment tailored to a specific test-suite, target environment or reference environment, thereby allowing use of RiVer in existing environments.
Related Semiconductor IP
- RISC-V Vector Extension
- RISC-V Real-time Processor
- RISC-V High Performance Processor
- 32b/64b RISC-V 5-stage, scalar, in-order, Application Processor. Linux and multi-core capable. Maps upto ARM A-35. Optimal PPA.
- 32 Bit - Embedded RISC-V Processor Core
Related Blogs
- Incredibly Scalable High-Performance RISC-V Core IP
- High-Bandwidth Core Access to Accelerators: Enabling Optimized Data Transfers with RISC-V
- Have you checked the hidden costs of deploying an open source RISC-V core?
- Developing a customized RISC-V core for MEMS sensors
Latest Blogs
- Why Choose Hard IP for Embedded FPGA in Aerospace and Defense Applications
- Migrating the CPU IP Development from MIPS to RISC-V Instruction Set Architecture
- Quintauris: Accelerating RISC-V Innovation for next-gen Hardware
- Say Goodbye to Limits and Hello to Freedom of Scalability in the MIPS P8700
- Why is Hard IP a Better Solution for Embedded FPGA (eFPGA) Technology?