Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces | IEEE Conference Publication | IEEE Xplore