-- FIFODriver1.spec

FIFODriver DEFINITION = {
	IN GetSpaceAv,
		GetDataAv,
		GetDataOut(16)
	OUT SetInit,
		SetWriteRequest,
		SetReadRequest,
		SetDataIn(16)
	STATE i, j
	CONTROL
		SetReadReq := FALSE;
		SetWriteReq := FALSE;
		SetInit := TRUE;
 		delay;
		SetInit := FALSE;
 		delay;
		par {
			i := 0;
			repeat {
				when GetDataAv^ : 
					if i=GetDataOut then error;
					SetReadReq := TRUE;
					SetReadReq := FALSE;
					i := i+1;
					if i>50 then exit }
			\\
			j := 0;
			repeat {
				when GetSpaceAv^ : 
					SetDataIn := i;
					SetWriteReq := TRUE;
					SetWriteReq := FALSE;
					j := j+1;
					if j>50 then exit }
			}
	} -- end of FIFODriver

FIFOTest IMPLEMENTATION = {
	COMPONENTS
		d: FIFODriver,
		t: FIFO;
		rReq, wReq, init, din, dout, sp, da: NODE
	CONNECTIONS
		d(SetReadReq: rReq, SetWriteReq: wReq, SetInit: init, GetDataIn: din, 
				GetDataOut: dout, GetSpaceAv: sp, GetDataAv: da),
		t(ReadReq: rReq, WriteReq: wReq, Init: init, DataIn: din, DataOut: dout, 
				SpaceAv: sp, DataAv: da)} -- end of FIFOTest

(635)\f6 13f0 1f6 7b10B219u5U25u5U4u3U17u6U7u4U20u2U2f3 1f6 11u4U1u5U73u2U2f3 1f6 3u4U1u4U23u6U7u4U11f3 1f6 98u2U2f3 1f6 3u4U1u4U34b8B