Raghavan R., et al., "Multiprocessor System Verification through Behavioral Modeling and Simulation." Conference Proceedings of the 1995 IEEE 14th International Phoenix Conf. on Computers and Communications, 28-31 Mar. 1995:396-402. |
Teller, P., "Translation-Lookaside Buffer Consistency," IEEE Computer, vol. 23, Iss: 6, (Jun. 1990): 26-36. |
IBM Technical Disclosure Bulletin, vol. 38, No. 7, Jul. 1995, New York, pp. 97-99, "Coherency Monitor: System Coherency Protocol Verification Tool". |
IBM Technical Disclosure, vol. 34, No. 4A, Sep. 1991, New York, pp. 355-357, "Linear-to-physical memory mapping by bus masters in virtual memory systems". |