<> <> <> <> <<>> DIRECTORY Dragon, PLAOps; IFUPLAPass: CEDAR DEFINITIONS = BEGIN RtDrFromPads: TYPE = RECORD [ -- default must be zero eUCondition2: BOOL _ FALSE, -- BA <= B dPFault: Dragon.PBusFaults _ none ]; -- BA <= B RtDrToPads: TYPE = RECORD [ -- default must be zero eUAluOp2: Dragon.ALUOps _ Or, -- A => AB eUCondSel2: Dragon.CondSelects _ False, -- A => AB eURes3BisPBus3: BOOL _ FALSE, -- A => AB eUWriteToPBus3: BOOL _ FALSE, -- A => AB dPCmnd3: Dragon.PBusCommands _ NoOp ]; -- A => AB LtDrToPads: TYPE = RECORD [ -- default must be zero iPFetch: BOOL _ FALSE ]; -- BA <= NewFetchBA LtDrFromPads: TYPE = RECORD [ -- default must be zero iPReject: BOOL _ FALSE, -- B => BA iPFaulting: BOOL _ FALSE, -- B => BA reset: BOOL _ FALSE, -- AB => BA reschedule: BOOL _ FALSE ]; -- AB => BA LtDrDebug: TYPE = RECORD [ -- default must be zero debugOpStatus: BOOL _ FALSE, -- debugABGD: BOOL _ FALSE, -- debugPC: BOOL _ FALSE, -- debugLSC: BOOL _ FALSE, -- debugABStLim: BOOL _ FALSE ]; -- END.