A consistency checker for memory subsystem traces.

Matthew Naylor, Simon W. Moore, Alan Mujumdar

Browse the full FMCAD paper archive.