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