genchecks.py

Tool

First seen 6/7/2026

Last seen 6/7/2026

Evidence 7 chunks

NEIGHBORHOOD

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

12 connections

RVFI uses → 97% 2e

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

checks.cfg uses → 98% 1e

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

instruction check introduces → 95% 1e

genchecks.py manages and generates instruction checks for formal verification

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

riscv-formal ← uses 98% 1e

riscv-formal relies on genchecks.py to generate formal check configurations

rvfi_testbench.sv uses → 90% 1e

genchecks.py includes cover_stmts.vh in the rvfi_testbench module