Hi Matheus,
The graphs in this link were created manually. This activity was not
part of any model checking work.
-Rathijit
On 07/30/2014 08:50 PM, Matheus Alcântara Souza via gem5-dev wrote:
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!
_______________________________________________
gem5-dev mailing list
[email protected]
http://m5sim.org/mailman/listinfo/gem5-dev
