Verification of RISC-V Open ISA processors: compliance is just the starting point, reference model and coverage metrics are key to verification quality
Lee Moore, Imperas Software
Verification of Open RISC-V cores: Adding value to the CORE-V Family of open source processor cores
Mike Thompson, Verification Task Group, OpenHW Group
Verification of RISC-V Open ISA processors – Testing functional correctness for the latest extensions for Bit Manipulation and Vectors.