Overview

The provided evidence documents RISC-V instruction generation through the GitHub repository TatsuProject/rvgen. The repository is described as a "Pure-Python RISC-V instruction generator" and is associated with built-in functional coverage, auto-regression, and CI-ready dashboards.

Evidenced implementation characteristics

Based on the repository metadata, the evidenced implementation has the following characteristics:

• Implementation language: The generator is described as Pure-Python.
• Target ISA family: It is specifically described as a RISC-V instruction generator.
• Coverage support: It includes built-in functional coverage.
• Regression support: It includes auto-regression capability.
• Continuous-integration reporting: It includes CI-ready dashboards.

Tooling role

Within the available evidence, rvgen serves as the concrete example of tooling for RISC-V instruction generation. Its description combines instruction generation with verification-oriented support features such as functional coverage, regression automation, and dashboards suitable for CI workflows.