Hybrid Model: An Efficient Symmetric Multiprocessor Reference Model

Figure 12

An example of exclusive transactions. (a) The correct implementation. (b) The wrong execution result caused by a design error. (c) The wrong simulation result caused by the timing inconsistency.

(a)

(b)

(c)