**Microarchitectural state divergence** is a security-analysis concept in which differences in the internal microarchitectural state of a processor are used to make information leakage observable during hardware testing. In the context of hardware-software leakage contracts, it is used as the observable signal in a **self-compositional** fuzzing framework for detecting contract violations in processor designs.[^b91069a9]

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