A Cache System Design for CMPs with Built-In Coherence Verification

Table 1

Next state functions.

PS	111	110	101	100	011	010	001	000	Rule
RMT	(7)	(6)	(5)	(4)	(3)	(2)	(1)	(0)
NS	1	1	1	1	1	1	1	1	254
NS	1	1	1	1	1	1	1	0	255