<> <> Directory BitOps; Open BitOps; MCtlROM: CELL[ <> Vdd, Gnd> <> PhAb, PhBb> FinishSharedStore>BOOL, SenseRMatch, SelOrphanAdr, SelVP, SelPageFlags>BOOL, <> SetSharedA, SetRPDirtyVPValidA, FlagLatchB, ResetVPValidA, SetFlagsA, ResetMasterA, IncrementRefreshB, IncrementVictimB, SampleDirtyBitsB, DeleteDirtyBitB, VictimToDecoderBA, RefreshToDecoderBA, IfGrantThenGetAdrElseRefreshToDecoderBA, DirtyBitsToMQSelBA, SamplePAdr2829B, SampleMAdr2829B, Adr2829ToMQSelBA, AddressBitsToMDataIA, AddressBitsLowZeroToMDataIA, SelectRPBA, SelectRealDataBA>BOOL, ] State EvalSimple ENDCELL;