Accelerating trace computation in post-silicon debug. - Johnny J. W. Kuan; Steven J. E. Wilton; Tor M. Aamodt (ISQED, 2010)

Progressive-BackSpace: Efficient Predecessor Computation for Post-Silicon Debug. - Johnny J. W. Kuan; Tor M. Aamodt (MTV, 2012)

Formal-Analysis-Based Trace Computation for Post-Silicon Debug. - Marcel Gort; Flavio M. de Paula; Johnny J. W. Kuan; Tor M. Aamodt; Alan J. Hu; Steven J. E. Wilton; Jin Yang 006 (IEEE Trans. Very Large Scale Integr. Syst., 2012)