Simulation-based signal selection for state restoration in silicon debug | IEEE Conference Publication | IEEE Xplore