CrossRAM.mesa
Barth, October 31, 1985 4:02:39 pm PST
CrossRAM:
CEDAR
DEFINITIONS =
BEGIN
Vdd: NAT = 0;
Gnd: NAT = 1;
PadVdd: NAT = 2;
PadGnd: NAT = 3;
nPrecharge: NAT = 4;
Access: NAT = 5;
Write: NAT = 6;
Read: NAT = 7;
Address: NAT = 8;
Data: NAT = 9;
CrossRAMState: TYPE = REF CrossRAMStateRec;
CrossRAMStateRec:
TYPE =
RECORD[
accessOccured, precharged: BOOL ← FALSE,
address: CARDINAL,
memory: SEQUENCE length: CARDINAL OF CrossRAMWord];
CrossRAMWord:
TYPE =
RECORD[
data: CARDINAL];
END.