MINRES The Good Core (TGC)
ConceptFirst seen 6/5/2026
Last seen 6/5/2026
Evidence 2 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connections Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← evaluates 100% 2e
The paper evaluates the approach on the MINRES TGC processor.
The TGC processor is an industrial product of MINRES Technologies GmbH.