RTLcheck: verifying the memory consistency of RTL designs.

Yatin A. Manerkar Daniel Lustig Margaret Martonosi Michael Pellauer

Published in: MICRO (2017)

Keyphrases

memory space
memory requirements
model checking
low memory
maintaining consistency
computing power
limited memory
memory capacity
real time
design space
optimal solution
model based diagnosis
constraint networks
consistency checking
temporal consistency
memory size