Marcel Gort et al.: Formal-Analysis-Based Trace Computation for Post-Silicon Debug. (2012)journals/tvlsi/GortPKAHWY1210.1109/TVLSI.2011.2166416Formal-Analysis-Based Trace Computation for Post-Silicon Debug.7Marcel Gort1Flavio M. de Paula2Johnny J. W. Kuan3Tor M. Aamodt4Alan J. Hu5Steven J. E. Wilton6Jin Yang 000671997-2010IEEE Trans. Very Large Scale Integr. Syst.IEEE Trans. Very Large Scale Integr. Syst.20112012provenance information for RDF data of dblp record 'journals/tvlsi/GortPKAHWY12'2022-01-17T09:11:05+0100