Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.

Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel

Browse the full MICRO paper archive.