genchecks.py

Tool

First seen 6/7/2026

Last seen 8/1/2026

Evidence 9 chunks

NEIGHBORHOOD

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

13 connections

riscv-formal ← uses 98% 2e

genchecks.py is a tool within riscv-formal used to automatically generate testbench macros and checks.

RVFI uses → 97% 2e

genchecks.py generates checks that use the standard RVFI wrapper interface

PC check introduces → 95% 1e

genchecks.py manages PC checks as part of the standard checks

causality check introduces → 95% 1e

genchecks.py manages causality checks as part of the standard checks

liveness check introduces → 95% 1e

genchecks.py manages the liveness check as part of the standard checks

uniqueness check introduces → 95% 1e

genchecks.py manages the uniqueness check as part of the standard checks

cover check introduces → 95% 1e

genchecks.py manages cover checks using SystemVerilog cover() statements

CSR check introduces → 95% 1e

genchecks.py manages CSR checks as part of the standard checks

faults check introduces → 93% 1e

genchecks.py manages the faults check as part of the standard checks

rvfi_testbench.sv uses → 90% 1e

genchecks.py includes cover_stmts.vh in the rvfi_testbench module

checks.cfg uses → 98% 1e

genchecks.py reads configuration from the checks.cfg config file

genchecks.py automatically sets the RISCV_FORMAL_COMPRESSED macro if the 'c' extension appears in the ISA string.

instruction check introduces → 95% 1e

genchecks.py manages and generates instruction checks for formal verification