State Synchronization

Concept

State synchronization is a MorFuzz mechanism that handles legal mismatches between a processor design under test and a reference simulator by copying the hardware state to the simulator, allowing co-simulation to continue instead of stopping on non-bug implementation differences.

First seen 5/27/2026

Last seen 6/2/2026

Evidence 4 chunks

Wiki v1

WIKI

Overview

In MorFuzz, state synchronization is used during processor co-simulation to handle mismatched behavior that is not necessarily a bug. MorFuzz performs online state verification between a device under test (DUT) and a reference simulator; when a mismatch is detected, the framework can either report a potential bug or, if the mismatch is judged legal, synchronize the hardware state to the simulator and continue execution.

Role in co-simulation

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections

MorFuzz ← uses 100% 4e

MorFuzz uses state synchronization to eliminate legal differences between DUT and simulator.

Synchronizable Co-simulation ← uses 100% 2e

Synchronizable co-simulation synchronizes legal mismatched states to the simulator.

Synchronizable Co-simulation ← implements 100% 2e

Synchronizable co-simulation implements state synchronization between DUT and ISA simulator.

LINKED ENTITIES

2 links

MorFuzz USES Extracted graph relationship

Synchronizable Co-simulation USES Extracted graph relationship

CITATIONS

6 sources

6 citations — click to expand

[1] MorFuzz synchronizes legal mismatched hardware state to the simulator and otherwise reports a potential bug. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

[2] State synchronization helps MorFuzz continue simulation after legal implementation differences, reducing premature termination from false positives and enabling deeper execution. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

[3] MorFuzz can synchronize external events such as interrupts to the simulator. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

[4] MorFuzz's online verification compares committed instructions and write-back values between the DUT and simulator using a scoreboard. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

[5] MorFuzz limits synchronization-triggering instruction types to CSR instructions and memory-operation instructions as part of its synchronization prerequisites. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation

[6] The DUT's control-flow information must pass the commitment-stage check before a difference can be considered legal for state synchronization. MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation