Tobias Nipkow
-
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
IEEE Transactions on Computers