J. Hur et al., “DiFuzzRTL: Differential Fuzz Testing to Find CPU Bugs”, S&P 2021