Semi-automatic validation of cycle-accurate simulation infrastructures: The case for gem5-x86

Journal 2020