CellType "
ArbiterTest"
PORTS [Rq0, Rq1, Rq2, Rq3, Rq4, Rq5, Rq6, Rq7, Rq8, Rq9, Rq10, Rq11, Rq12, Rq13, Rq14, Rq15, Rst, NewRequest -- in -- =BIT, Gt0, Gt1, Gt2, Gt3, Gt4, Gt5, Gt6, Gt7, Gt8, Gt9, Gt10, Gt11, Gt12, Gt13, Gt14, Gt15, MCmd0, MCmd1, MCmd2, MCmd3 -- out -- =BIT, Vdd, Gnd=BIT, PhaseA, PhaseB -- in -- =BOOL]
Expand
PhA, nPhA, PhB, nPhB: BIT;
i1: inverter[in: PhA, out: nPhA];
i2: inverter[in: PhB, out: nPhB];
CEDAR
to.class.ChangeReps[erInstance: to.instance, a: PhaseA, b: PhA, writeA: FALSE, writeB: TRUE];
to.class.ChangeReps[erInstance: to.instance, a: PhaseB, b: PhB, writeA: FALSE, writeB: TRUE];
;
a1: Arbiter[]
BlackBoxTest
reallyTestArbiter[handle: handle, testeeType: testeeType, testData: testData, io: io, driveAsAny: driveAsAny, stateAsAny: stateAsAny];
EndCellType;