===========================================================================
This directory contains examples in Murphi 3.0 for

	the DASH multiprocessor protocols

Please mail bug reports, questions, suggestions, etc. to:

	"murphi@verify.stanford.edu".

===========================================================================
There are 8 files in this directory:

Doc.dash.ps     : document on the DASH protocol, in postscript format

		  Daniel Lenoski, James Laudon, Kourosh Gharachorloo,
		  Wlof-Dietrich Weber, Anoop Gupta, John Hennessy, 	
		  Mark Horowitz and Monica Lam.			
		  The Stanford DASH Multiprocessor.			
		  Computer, Vol 25 No 3, p.63-79, March 1992.		

Doc.prototype.ps: document on the DASH protocol, in postscript format

		  Daniel Lenoski, 					
		  DASH Prototype System,				
		  PhD thesis, Stanford University, Chapter 3, 1992	

Makefile	: make file to generate the C++ verifier
Readme		: this file
adash.m		: abstract Dash protocol (cachable memory)
		: ( normal data accesses and DMA accesses )
eadash.m	: elementary abstract Dash protocol (cachable memory)
		: ( normal data accesses only )
ldash.m		: concrete Dash protocol (spinning lock)
===========================================================================
