PC check

Concept

First seen 6/7/2026

Last seen 6/7/2026

Evidence 1 chunks

NEIGHBORHOOD

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

3 connections

genchecks.py ← introduces 95% 1e

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

RVFI uses → 95% 1e

PC checks use RVFI signals like rvfi_pc_wdata and rvfi_pc_rdata

PC checks are part of the formal verification of RISC-V cores