<> <> <> <> <<>> Library Arbiter, Gates; 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; CEDAR reallyTestArbiter: CellTestProc _ NIL;