Open-Source Validation Suite for RISC-V

In this paper, we propose a validation suite, applicable for different RISC-V designs. The suite can be considered as a stack of the following three layers: a framework based on MicroTESK TPG and formal specifications of RISC-V ISA, the test templates layer, and the test program layer. All these layers are closely connected, allowing to automatically receive basic tests for ISA. The suite has been applied for Syntacore's SCR1 core and ETH Zurich's RISCY core.