[_CD4_]<dragon7.0>DynaBusInterface>GenDynaBusInterfaceDBus3Impl.mesa!4

GenDynaBusInterfaceDBus3Impl.mesa

Jean Gastinel November 20, 1987 3:30:32 pm PST

Oracle Generation for the DBus

DIRECTORY

FS, IO, Rope, Convert, BitOps;

GenDynaBusInterfaceDBus3Impl: CEDAR PROGRAM

IMPORTS FS, IO, Rope, Convert, BitOps

~ BEGIN

outf: IO.STREAM;

lineCount : CARD;

nr:INT = 1; --number of colums in the right side of the line

nl:INT = 6; --number of colums in the left side of the line

NbRight : TYPE = [0..nr);

NbLeft : TYPE = [0..nl);

RightLine: TYPE = ARRAY NbRight OF Rope.ROPE;

LeftLine: TYPE = ARRAY NbLeft OF Rope.ROPE;

rl: RightLine;

ll: LeftLine;

comment: Rope.ROPE;

Special variables of the Debug-Bus

Signal : TYPE = {T,F,X};

DSerialOut,DSerialIn,DExecute,DAddress : Signal;

DShiftCK,nFreeze,nDReset: Signal;

Init: PROC [] RETURNS [] ~ {

DSerialIn ← F;

DExecute ← F;

DAddress ← F;

DShiftCK ← F;

nFreeze ← T;

nDReset ← F;

DSerialOut ← X;

};

RopeFromSignal: PROC [s: Signal] RETURNS [r: Rope.ROPE] ~ {

Convert a signal {F,T,X} into the corresponding Rope {0,1,X}

SELECT s FROM

F => r ← "0";

T => r ← "1";

ENDCASE => r ← "X";

};

Inv: PROC [s: Signal] RETURNS [t: Signal] ~ {

t gets the invert of s

SELECT s FROM

F => t ← T;

T => t ← F;

ENDCASE => t ← X;

};

MergeOut: PROC [] RETURNS [] ~ {

This proc merge into two Rope Right and Left different elements of the line

and write the result in the output stream

column : INT;

r : Rope.ROPE;

r ← " ";

FOR column IN [0..nl)

DO r ← Rope.Cat[r,ll[column]," "];

ENDLOOP;

r ← Rope.Cat[r," | "];

FOR column IN [0..nr)

DO r ← Rope.Cat[r,rl[column]," "];

ENDLOOP;

outf.PutF["%g -- %g %g \n",IO.rope[r],IO.rope[Convert.RopeFromInt[lineCount]],IO.rope[comment]];

comment ← ""

};

Send: PROC [] RETURNS [] ~ {

This Proc convert the variables into ropes rl[i] & ll[i] for generating the line

then call MergeOut for writing the line

ll[0] ← RopeFromSignal[DSerialIn];

ll[1] ← RopeFromSignal[nDReset];

ll[2] ← RopeFromSignal[nFreeze];

ll[3] ← RopeFromSignal[DExecute];

ll[4] ← RopeFromSignal[DAddress];

ll[5] ← RopeFromSignal[DShiftCK];

rl[0] ← RopeFromSignal[DSerialOut];

MergeOut;

lineCount ← lineCount+ 1;

};

SendAddress: PROC [address: CARDINAL] RETURNS [] ~ {

This Proc send an address on the DebugBus

adrs: CARDINAL ← address;

s: INT;

DAddress ← T;

DSerialOut ← X;

FOR s IN [0..16)

DShiftCK ← F;

IF (BitOps.WShift[adrs,s-15] MOD 2) = 0 THEN DSerialIn ← F
ELSE DSerialIn ← T;

Send;

DShiftCK ← T;

Send;

ENDLOOP;

DAddress ← F;

DShiftCK ← F;

Send;

};

SendData: PROC [data: LONG CARDINAL, c: INT ← 16] RETURNS [] ~ {

This proc send a data on the Debug Bus

FOR s: INT DECREASING IN [0..c) DO

DShiftCK ← F;

IF (BitOps.DShift[data,-s] MOD 2) = 0 THEN DSerialIn ← F
ELSE DSerialIn ← T;

Send;

DShiftCK ← T;

Send;

ENDLOOP;

};

ReadandCheck: PROC [v: CARD, c: INT ← 16] RETURNS [] ~ {

Reading of a path with c transitions of ShiftCK

DAddress ← F;

DShiftCK ← F;

IF (BitOps.DShift[v,1-c] MOD 2) = 0 THEN DSerialOut ← F
ELSE DSerialOut ← T;

Send;

FOR s: INT IN [1..c)

DShiftCK ← T;

IF (BitOps.DShift[v,s-c+1] MOD 2) = 0 THEN DSerialOut ← F
ELSE DSerialOut ← T;

Send;

DShiftCK ← F;

Send;

ENDLOOP;

DShiftCK ← T;

DSerialOut ← X;

Send;

DShiftCK ← F;

Send;

};

SendReset: PROC [] RETURNS [] ~ {

This proc set the Reset SStop lines at active, then remove the SStop line

and finally remove the Reset.

nDReset ← F;

FOR i: NAT IN [0..10) DO

Send;

ENDLOOP;

nDReset ← T;

};

SendShiftClock: PROC [] RETURNS [] ~ {

This proc send 4 pulse of ShiftClock to allow the initialisation of DBus constant

FOR i: NAT IN [0..4) DO

DShiftCK ← T;

Send;

DShiftCK ← F;

Send;

ENDLOOP;

};

SendExecute: PROC [] RETURNS [] ~ {

This proc send 1 pulse of ShiftClock with Execute high to load shadow registers

DExecute ← T;

Send;

DShiftCK ← T;

Send;

DExecute ← F;

DShiftCK ← F;

Send;

};

AdDBus: PROC [bd,hyb,Int,ci,pth: CARDINAL 𡤀] RETURNS [ad: CARDINAL 𡤀] ~ {

Address in the DBus is :

<BoardNum:4><HybridNum:4><InterfaceNum:3><ChipNum:2><PathNum:3>

<ChipNum>=0 is for BIC

ad ← BitOps.WShift[bd,12]+BitOps.WShift[hyb,8];

ad ← ad+BitOps.WShift[Int,5]+BitOps.WShift[ci,3]+pth;

};

IdCte: PROC [t,v:CARDINAL] RETURNS [id:CARDINAL] ~ {

The structure of the Identificator is "0101 cccc ccrr rrrr"

cccccc is the Type, rrrrrr is the Version

id ← 5000H + BitOps.WShift[t,6] + v;

};

Start of the Program

Here the program start :

Create or Append the file

outf ← FS.StreamOpen["DynaBusInterfaceDBus3.oracle", $create];

outf.PutF["-- Test D-Bus for DynaBusInterface\n"];

outf.PutF[" \n"];

outf.PutF["-- Output :\n"];

outf.PutF["--DSerialIn: A, nDReset: B, nFreeze: C, DExecute: D, \n"];

outf.PutF["-- DAddress: E,nDShiftCK: F \n"];

outf.PutF["-- Input :\n"];

outf.PutF["-- DSerialOut:M \n"];

outf.PutF[" \n"];

outf.PutF["-- A B C D E F ~ M \n"];

outf.PutF["\n"];

Start Generation :

lineCount← 0;

Init;

Send;

SendReset;

Test Transmission 5 words packets

Init EXECUTE

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Set Execute to 0";

SendData[0,1];

Init parameter for sending

comment ← "Address of SENDPAR path nb 2";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:2]];

comment ← "Set parameter for five words request & Clear";

SendData[0E470H,16];

SendReset; -- only for external counter

Init Data to send

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[08234567H,32]; --ReadBlockReply 5 words length

SendData[89ABCDEFH,32];

comment ← "Address of DATAVAL path nb 4";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:4]];

SendData[1,4];

SendData[12345678H,32];

SendData[9ABCDEF0H,32];

SendData[2,4];

SendData[23456789H,32];

SendData[0BCDEF01H,32];

SendData[3,4];

SendData[3456789AH,32];

SendData[0CDEF012H,32];

SendData[4,4];

SendData[456789ABH,32];

SendData[0DEF0123H,32];

Init parameter for receiving

comment ← "Address of RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for receive first message, any ID";

SendData[1,15];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[0,1];

SendData[1,1];

SendData[0,1];

FOR sometime: INT IN [0..10) DO -- for tempo

Send;

ENDLOOP;

Test reception 5 words packets

Verify a msg has been send, and has been received and the length is 5

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[0D0H,8];

Read Data Received

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[08234567H,32];

ReadandCheck[89ABCDEFH,32];

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing second word";

SendData[5,15];

comment ← "read second Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[1,4];

ReadandCheck[12345678H,32];

ReadandCheck[9ABCDEF0H,32];

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing third word";

SendData[9,15];

comment ← "read third Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[2,4];

ReadandCheck[23456789H,32];

ReadandCheck[0BCDEF01H,32];

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing fourth word";

SendData[13,15];

comment ← "read fourth Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[3,4];

ReadandCheck[3456789AH,32];

ReadandCheck[0CDEF012H,32];

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing fith word";

SendData[17,15];

comment ← "read fith Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[4,4];

ReadandCheck[456789ABH,32];

ReadandCheck[0DEF0123H,32];

Test Transmission Two words packets

Change the Command Word

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[013579BDH,32]; --ReadBlockRequest 2 words length

SendData[9BDF2468H,32];

Init parameter for sending and clears Msg Here and al

comment ← "Address of SENDPAR path nb 2";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:2]];

comment ← "Set parameter for two words request & Clear all";

SendData[08470H,16];

Change Data to send in shifting of one word

comment ← "Address of DATAVAL path nb 4";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:4]];

SendData[5,4]; -- the value we will obtain will be different

SendData[2468ACEFH,32];

SendData[13579BDFH,32];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Test receiving two words packets

Verify a msg has been send, and has been received and the length is 2

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[0C0H,8];

Read Data Received

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing the first word";

SendData[0,15];

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[013579BDH,32];

ReadandCheck[9BDF2468H,32];

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing second word";

SendData[5,15];

comment ← "read second Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[2,4];

ReadandCheck[23456789H,32];

ReadandCheck[0BCDEF01H,32];

Test that we receive only one message in this mode

Change the Command Word to see if the received data change

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[01333333H,32]; --ReadBlockRequest 2 words length

SendData[55555555H,32];

Init parameter for sending and dont clear Msg Here

comment ← "Address of SENDPAR path nb 2";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:2]];

comment ← "Set parameter for two words request & not Clear all";

SendData[08430H,16];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Verify a msg has been send, and a msg is still here and the length is 2

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[0C0H,8];

Check Data is still the same on the first word

comment ← "Address of the RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for addressing the first word";

SendData[0,15];

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[013579BDH,32];

ReadandCheck[9BDF2468H,32];

Test Receiving all messages

Init parameter for receiving all messages

comment ← "Address of RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for receive first message, any ID";

SendData[3,15];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Verify a msg has been send, and a msg is still here and the length is 2

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[0C0H,8];

Check Data has now been changed in the first word

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[01333333H,32];

ReadandCheck[55555555H,32];

Change the Command Word to see if the received data change

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[01444444H,32]; --ReadBlockRequest 2 words length

SendData[66666666H,32];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Verify Data received

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[01444444H,32];

ReadandCheck[66666666H,32];

Test receiving selectivly with the identifier

Init RECPAR for receiving with identifier=35AH

comment ← "Address of RECPAR path nb 6";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:6]];

comment ← "Set parameter for receive msg with ID=35AH";

SendData[6B40H,15];

Init parameter for sending and clear Msg Here

comment ← "Address of SENDPAR path nb 2";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:2]];

comment ← "Set parameter for two words request & Clear all";

SendData[08470H,16];

Change the Command Word to see if the received data change

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[01555555H,32]; --ReadBlockRequest 2 words length

SendData[77777777H,32];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Verify a msg has been send, and no msg arrived

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[080H,8];

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[01444444H,32];

ReadandCheck[66666666H,32];

Now change the data with the good identifier

comment ← "Address of DATACMD path nb 1";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:1]];

SendData[8,4]; -- Header on

SendData[01AD0123H,32]; --ReadBlockRequest 2 words length

SendData[456789ABH,32];

Send DATA

comment ← "Address of EXECUTE path nb 3";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:3]];

comment ← "Pulse Execute";

SendData[1,1];

SendData[0,1];

Verify a msg has been send, and a msg has arrived

comment ← "Address of STATUS path nb 7";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:7]];

SendExecute;

ReadandCheck[0C0H,8];

Verify Data received

comment ← "read first Word DATAR path 5";

SendAddress[AdDBus[bd:0,hyb:0,Int:0,ci:0,pth:5]];

SendExecute;

ReadandCheck[8,4];

ReadandCheck[01AD0123H,32];

ReadandCheck[456789ABH,32];

outf.PutF[". \n"]; -- end

outf.Close[];

END.