Target Environment Simulation and its Impact on Architecture Validation: A Case Study of Thread-Level Speculative Execution | IEEE Conference Publication | IEEE Xplore