Semi-automatic validation of cycle-accurate simulation infrastructures: The case for gem5-x86 | Publicación