RTLcheck: verifying the memory consistency of RTL designs

Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer. RTLcheck: verifying the memory consistency of RTL designs. In Hillery C. Hunter, Jaime Moreno, Joel S. Emer, Daniel Sánchez 0003, editors, Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2017, Cambridge, MA, USA, October 14-18, 2017. pages 463-476, ACM, 2017. [doi]

Abstract

Abstract is missing.