On Sat, 24 Nov 2012, zhengchl wrote:
Hi,
I implement a 1 level cache coherence protocol based on MOESI-CMP-directory,
and my protocol passes Ruby_random_test with max 16 cores and 10000000 loads.
But I'm not sure those testes are enough, what should I do next to verify a
protocol?
You can go through the literature on verification of coherence protocols
and apply the techniques people have devised. I think the random tester is
the best you can do as far as gem5 is concerned. You might want to test
your protocol with some workloads as well.
--
Nilay
_______________________________________________
gem5-users mailing list
[email protected]
http://m5sim.org/cgi-bin/mailman/listinfo/gem5-users
