Global Microprocessor Correctness in the Presence of Transient Execution

Andrew T. Walter, Konstantinos Athanasiou, Panagiotis Manolios

Correctness for microprocessors is generally understood to be conformance with the associated instruction set architecture (ISA). This is the basis for one of the most important ab…