Hybrid Model: An Efficient Symmetric Multiprocessor Reference Model

Figure 1

Efficient symmetric multiprocessor verification.