step&compare

Technique

First seen 7/12/2026

Last seen 7/12/2026

Evidence 2 chunks

NEIGHBORHOOD

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

4 connections

The paper describes step&compare as a key verification technique applied to the core.

Core-V-Verif ← uses 100% 1e

step&compare was used in Core-V-Verif to keep DUT and ISS synchronized.

Reference Model uses → 100% 1e

step&compare synchronizes the DUT with the reference model/ISS.

step&compare steps the ISS only after the DUT retires an instruction.