AESOP home


Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications

A. J. Field, Peter G. Harrison, K. Kanani

Journal Article
Australian Computer Science Communications
Volume 20
Issue 3

Performance modelling and verification are vital steps in the development cycle of any cache coherency protocol. Two separate models are usually required to perform each analysis step and as protocols become increasingly complex each can become correspondingly unwieldy. We examine how stochastic process algebra can be used to describe cache coherency protocols in such a way as to allow both the correctness and performance of the protocol to be investigated together. We reintroduce a ...

PDF of full publication (222.1 kilobytes)
(need help viewing PDF files?)

Information from