MCtlFlagCtl CacheMCtlFlagCtl 0 NIL [Vdd<BOOL, Gnd<BOOL, LatchBias<BOOL, PhAb<BOOL, PhBb<BOOL, Resetb<BOOL, VPValid=BIT, nVPValid=BIT, RPValid=BIT, nRPValid=BIT, RPDirty=BIT, nRPDirty=BIT, Master=BIT, nMaster=BIT, Shared=BIT, nShared=BIT, Victim=BIT, nVictim=BIT, TIP=BIT, nTIP=BIT, Broken=BIT, nBroken=BIT, MDataI<INT[32], ShiftFeedBack<BOOL, nShiftFeedBack<BOOL, ShiftEqual<BOOL, nShiftEqual<BOOL, ShiftShift<BOOL, nShiftShift<BOOL, ShiftDataToFlagCtl<BOOL, ShiftDataToSequencer>BOOL, ReadEntry<BOOL, WriteEntry<BOOL, ShiftExecute<BOOL, nShiftExecute<BOOL, FlagSetShared<BOOL, FlagRPDirtyVPValid<BOOL, FlagFlagLatch<BOOL, FlagResetVPValid<BOOL, FlagSetFlags<BOOL, FlagSetTIP<BOOL, FlagResetTIP<BOOL, IsCleanBA<BOOL, LatchSharedAB<BOOL] !!