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