The invention provides a method for verifying a
Cache coherence protocol and a multi-core processor
system. The method for verifying the
Cache coherence protocol comprises the following steps that: a plurality of queues are arranged in a monitor, every
queue comprises a plurality of units, the units are used for recording all primary requests which are not processed completely, all the requests which are relevant to addresses are orderly stored in the units of the same
queue according to the sequence in which the requests enter a coherence
processing element, and every unit is used for tracking the
performance status of recorded requests independently. According to the characteristic that the method for verifying the
Cache coherence protocol based on the monitor in the invention can process the requests relevant to the memorized and accessed addresses in sequence according to the Cache coherence protocol, the monitor is used for monitoring the protocol-level behavior of the Cache coherence
processing element accurately, and the behavior of every request
package can be monitored accurately. Through adjusting the content in the monitor, the method for verifying the Cache coherence protocol is suitable for verifying various coherence protocols.