RTL Verification for Secure Speculation Using Contract Shadow Logic.

Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan

Browse the full ASPLOS paper archive.