This repository contains the design verification for the Lucid64 RV64IMCU_Zicsr_Zifencei core. The github actions associated with this repository run the RISCOF Architecture tests, as well as linting and additional tests (as they are created). The actions can be run on any Ubuntu 20.04 x86-64 machine, including Github's ubuntu-20.04 runners.
Coverage and ISA spec reports are attached as artifacts on each RISC-V Architecture Test run.
This project is offered with the Creative Commons Attribution Non Commercial No Derivatives 4.0 International license, which is very permissive for academic and personal use. If you wish to use the design under another license, let me know.