Flavio M. de Paula Marcel Gort Alan J. Hu Steven J. E. Wilton Jin Yang BackSpace: Formal Analysis for Post-Silicon Debug. 1-10 2008 FMCAD http://dx.doi.org/10.1109/FMCAD.2008.ECP.9 conf/fmcad/2008 db/conf/fmcad/fmcad2008.html#PaulaGHWY08