-- ProcessorInterface.sak
-- last edited by Suzuki:   10-Aug-81  8:32:23  

CacheProcessor: MONITOR = {

ProcessorInterface: DEVICE = {
	IN 
		-- From Processor
		Operation: Instruction 
	OUT 
		-- To Processor
		AckToProc: BOOLEAN
	GUARDIAN { } -- <Errors when undefined opcode is used in MemoryBus>
	STATE Cache: CacheArray
	DATAFLOW
	CONTROL {
		victimLoc : 0
		}
	};
	

}.