RTL Verification for Secure Speculation Using Contract Shadow Logic

Qinhan Tan, Yuheng Yang, Thomas Bourgeat +2

Modern out-of-order processors face speculative execution attacks. Despite various proposed software and hardware mitigations to prevent such attacks, new attacks keep arising from…