FALSE AFormation FALSE "IFUData2ABC" "[ARegAddr=INT[8], OpBA<INT[8], AlphaBA<INT[8], BetaBA<INT[8], LAB<INT[8], SAB<INT[8], 
AReg0BA>INT[8], AReg1BA>INT[8], ASourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], 
ASourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], ASourceOffBA<EnumType[\"IFUPLAInstrDecode.PlusOffset\"], 
LoadStage1Ac<BOOL, LoadStage1Bc<BOOL, PhA<BOOL, PhB<BOOL]"

FALSE BFormation FALSE "IFUData2ABC" "[BRegAddr=INT[8], OpBA<INT[8], AlphaBA<INT[8], BetaBA<INT[8], LAB<INT[8], SAB<INT[8], 
BReg0BA>INT[8], BReg1BA>INT[8], BSourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], 
BSourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], BSourceOffBA<EnumType[\"IFUPLAInstrDecode.PlusOffset\"], 
LoadStage1Ac<BOOL, LoadStage1Bc<BOOL, PhA<BOOL, PhB<BOOL]"

FALSE CFormation FALSE "IFUData2ABC" "[CRegAddr=INT[8], OpBA<INT[8], AlphaBA<INT[8], BetaBA<INT[8], LAB<INT[8], SAB<INT[8], 
CSourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], CSourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], 
CSourceOffBA<EnumType[\"IFUPLAInstrDecode.MinusOffset\"], AReg1BA<INT[8], BReg1BA<INT[8], CReg0BA>INT[8], ARegIsC2BA>BOOL, 
ARegIsC3BA>BOOL, BRegIsC2BA>BOOL, BRegIsC3BA>BOOL, LoadStage1Ac<BOOL, LoadStage1Bc<BOOL, LoadStage2Ac<BOOL, BubbleStage2A1BA<BOOL, 
NormalStage2A1BA<BOOL, AbortStage2B2AB<BOOL, NormalStage2B2AB<BOOL, LoadStage3Ac<BOOL, AbortStage3A2BA<BOOL, NormalStage3A2BA<BOOL, 
DPFaultB<EnumType[\"Dragon.PBusFaults\"], PhA<BOOL, PhB<BOOL]"

FALSE ABCFormation FALSE "IFUData2ABC" "[XBus=INT[32], OpBA<INT[8], AlphaBA<INT[8], BetaBA<INT[8], LAB<INT[8], SAB<INT[8], 
AReg0BA>INT[8], BReg0BA>INT[8], CReg0BA>INT[8], ASourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], 
ASourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], ASourceOffBA<EnumType[\"IFUPLAInstrDecode.PlusOffset\"], 
BSourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], BSourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], 
BSourceOffBA<EnumType[\"IFUPLAInstrDecode.PlusOffset\"], CSourceLtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceLt\"], 
CSourceRtBA<EnumType[\"IFUPLAInstrDecode.ABCSourceRt\"], CSourceOffBA<EnumType[\"IFUPLAInstrDecode.MinusOffset\"], 
CRegIsField3B=BOOL, EUAluLeftSrc1B=EnumType[\"Dragon.ALULeftSources\"], EUAluRightSrc1B=EnumType[\"Dragon.ALURightSources\"], 
EUStore2ASrc1B=EnumType[\"Dragon.Store2ASources\"], ARegIsC2BA>BOOL, ARegIsC3BA>BOOL, BRegIsC2BA>BOOL, BRegIsC3BA>BOOL, 
LoadStage1Ac<BOOL, LoadStage1Bc<BOOL, LoadStage2Ac<BOOL, BubbleStage2A1BA<BOOL, NormalStage2A1BA<BOOL, AbortStage2B2AB<BOOL, 
NormalStage2B2AB<BOOL, LoadStage3Ac<BOOL, AbortStage3A2BA<BOOL, NormalStage3A2BA<BOOL, DPFaultB<EnumType[\"Dragon.PBusFaults\"], 
PhA<BOOL, PhB<BOOL]"