Skip to content

Latest commit

 

History

History

verif

Readme.md

Architecture Compatibility Testing

RISCOF is python-based standard RISC-V Architectural Compatibility Test Framework. This framework runs the Compatibility tests in real-time on DUT and Reference and compare the signature results generated by both to decide if the tests are passed. Here, reference model is the sail-riscv, which is the golden model for the formal specification of RISC-V architecture.

Prerequisites

After completing the steps in Getting Started guide, follow the following steps.

  • Install python3, pip3 and RISCOF

      sudo apt-get install python3
  pip3 install --upgrade pip
  pip3 install -U riscof

    Check that if RISCOF is installed correctly by running riscof --version

  • Install SAIL-RISCV. The sail model can be built from source by following these instructions. However, pre-built model can be used directly which is available along the instructions in bin directory.

⚠️ Pre-build SAIL model might get outdated. So, it recommended to build it from source..

  • riscv-arch-test are added as submodule in this repository. Run the following command to clone the arch-tests as submodule

      git submodule update --init

Running Compatibility tests

Run the following command from this (verif) directory.

riscof run --config=config.ini \
           --suite=riscv-arch-test/riscv-test-suite/I \
           --env=riscv-arch-test/riscv-test-suite/env

It will run the tests defined by ISA string RV32I in core_isa.yaml. At the end, RISCOF will generate a report describing the pass/fail status of the tests. riscof_work directory will be created containg the report and the artifacts of DUT and Reference model.