<> <> Imports BitOps, BitSwOps, Dragon; Open BitOps, BitSwOps, Dragon; MRAMDriver: CELL[ <> Vdd, Gnd> PBits, nPBits=SWITCH[66]-S-X, MBits, nMBits=SWITCH[66]-S-X, <<>> <> MDataI=INT[32], MParityI=BOOL, <> ShiftDataToMRAMBOOL, ShiftFeedBack, nShiftFeedBack, ShiftEqual, nShiftEqual, ShiftShift, nShiftShift> nMBitsPrecharge, MuxRight, MuxLeft, MBitsDrive, nMBitsDrive, MRamRegToMDataI, nMRamRegToMDataI, SenseMBits, SenseMDataI, ParityInBOOL, SensePBitsLeft, SensePBitsRight, DrivePBits, nDrivePBits