MINRES The Good Folk (TGF) Series RTL core
ToolThe TGF Series RTL core is described in the supplied evidence as a pipelined industrial RISC-V RTL core evaluated with a cross-level co-simulation verification approach. The verification setup used a core adapter to observe pipeline-internal activity, detect completed instructions, preserve ordering around illegal instructions, expose RTL register values, and match the RTL instruction stream against an ISS despite prefetching, jumps, traps, and pipeline stalls.
WIKI
Overview
The MINRES The Good Folk (TGF) Series RTL core is identified in the evidence as a pipelined industrial RISC-V TGF series core used as the RTL design under test in a cross-level processor-verification setup. The reported verification approach was effective at finding several serious bugs in the core and processed more than 200 million instructions per hour. [CITATION: TGF core verification result]
Verification context
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →