Microarchitectural security has gained significant attention in recent years, especially after the discovery of the Spectre and Meltdown vulnerabilities, which challenged assumptions about processor isolation guarantees. In response to these vulnerabilities, both manual security analysis and automated testing tool development increased. However, existing automated approaches often rely on ad-hoc heuristics or templates which only find variants of already known vulnerabilities, or focus on generation without feedback, or use inefficient coverage metrics. Moreover, hardware fuzzing lags behind software fuzzing in terms of maturity and effectiveness. Revizor, maintained by Microsoft Azure Research, represents the state-of-the-art in CPU fuzzing. It formalizes microarchitectural leakage through Hardware-Software Contracts and provides a framework for detecting it.