RISC-V CTG
Coverage-driven test generator for RISC-V architectural compatibility testing.
RISC-V CTG models architectural compatibility tests as constraint satisfaction problems over ISA-defined fields and coverage goals. The resulting solutions are converted into RISC-V assembly programs using handwritten templates.
This approach reduces the burden of manually writing high-quality tests for the highly configurable RISC-V ISA.