Processor CI Verification

This repository contains the Cocotb simulation code for the verification of RISC-V processors.

The verification technique used is trace comparison. It consists in executing a program in both the processor under test and the Spike golden model and them comparing the execution instruction by instruction.

This tool is part of the Processor CI framework so it depends on files generated by other programs in the framework. The Processor CI Verification tool has the following inputs and outputs:

INPUTS:

• Cocotb makefile in order to execute the simulation. It contains the path to the HDL source files as well as to the wrapper.

• JSON file with the Cocotb path to the register file in the processor.

• Path to the folder of assembly test programs.

OUTPUT:

• Log files with the trace comparison for each test program on each processor.