RTLcheck: verifying the memory consistency of RTL designs.

Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer

Browse the full MICRO paper archive.