Skip to content
STIMSMITH

RISCV-CTG

Tool
First seen 6/11/2026
Last seen 7/3/2026
Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

19 connections
Min-Conflict Solver uses → 95% 2e
RISCV-CTG supports the Min-Conflict solver for CSP solving.
Backtracking Solver uses → 95% 2e
RISCV-CTG supports the Backtracking solver for CSP solving.
Attributes YAML uses → 97% 2e
CTG stores instruction attributes in a YAML format known as the attributes file, used during test generation.
Constraint Satisfaction Problem uses → 98% 2e
RISCV-CTG models coverpoints as CSPs to find test solutions.
Coverpoint uses → 97% 2e
RISCV-CTG generates tests by solving coverpoints as defined in the CGF format.
python-constraint uses → 99% 1e
CTG uses the CSP solvers offered by the python-constraint package.
Parallel Test Generation implements → 96% 1e
CTG internally allocates cover-groups to individual host processes to parallelize test generation runs.
Random Solver implements → 95% 1e
CTG employs random solvers when randomization is enabled to boost speed and improve value coverage.
Signature Register Allocation implements → 96% 1e
CTG allocates signature registers in a greedy fashion to maximise reuse and minimize pointer transfers.
CorrectVal Generation implements → 93% 1e
CTG uses operation fields in the attributes YAML to define expected values for arithmetic instructions.
CGF Format uses → 95% 1e
RISCV-CTG uses the CGF format defined by ISAC to generate tests.
Min-Conflict Solver evaluates → 90% 1e
RISCV-CTG experimentally evaluates Min-Conflict solver performance.
Backtracking Solver evaluates → 90% 1e
RISCV-CTG experimentally evaluates Backtracking solver performance.
RISC-V Architectural Test Suite ← uses 98% 1e
RISCV-CTG generates tests used in the official RISC-V Architectural Test Suite.
RISC-V Architectural Test Suite ← uses 90% 1e
RISCV-CTG is used to generate the RISC-V Architectural Test Suite.
RISCOF ← uses 97% 1e
RISCV-CTG generates tests used in the RISCOF architectural test framework.
Test Format Spec implements → 97% 1e
All tests generated by CTG comply with the official Test Format Spec.
constrained-random test generation implements → 95% 1e
CTG is described as similar to a constrained test generator capable of generating tests targeting specific constraints.
Coverage Group Format uses → 98% 1e
CTG receives constraints via CGF files using the Coverage Group Format.