Computing Publications

Publications Home » Automatic Generation of Verifiabl...

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
pp.261–275
1998
Abstract

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 ...

Keywords
AESOP
PDF of full publication (222 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.