Skip to content
STIMSMITH

RISCV-CTG

Tool
First seen 6/11/2026
Last seen 6/11/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

13 connections
Attributes YAML uses → 97% 2e
CTG stores instruction attributes in a YAML format known as the attributes file, used during test generation.
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.
Coverpoint uses → 97% 1e
The CTG treats each cover-point as a constraint and employs a solver to find solutions.
Constraint Satisfaction Problem uses → 98% 1e
CTG uses CSP solvers from the python-constraint package to solve cover-points.
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.
RISC-V Architectural Test Suite ← uses 98% 1e
RISCV-CTG generates tests used in the official RISC-V Architectural Test Suite.
CorrectVal Generation implements → 93% 1e
CTG uses operation fields in the attributes YAML to define expected values for arithmetic instructions.