BackSpace: Formal Analysis for Post-Silicon Debug.

Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang

Browse the full FMCAD paper archive.