Design Verification of the S3.mp Cache-Coherent Shared-Memory System.

Fong Pong Michael C. Browne Gunes Aybay Andreas Nowatzyk Michel Dubois Design Verification of the S3.mp Cache-Coherent Shared-Memory System. 135-140 1998 47 IEEE Trans. Computers 1 db/journals/tc/tc47.html#PongBAND98