Hello! Is there any model checking work concerning the MOESI_CMP_directory procotol in http://www.m5sim.org/MOESI_CMP_directory ?
I'm asking because there are some state-transition graphs in this link. Maybe something using SMV or so? Thank you all! -- Best regards, Matheus Alcântara Souza _______________________________________________ gem5-dev mailing list gem5-dev@gem5.org http://m5sim.org/mailman/listinfo/gem5-dev