Formal-Analysis-Based Trace Computation for Post-Silicon Debug | IEEE Journals & Magazine | IEEE Xplore