This is a concrete case-study in how an intermittent multicore multithreaded bug was found, reproduced, and analyzed using Simics. It shows how to use scripting, OS awareness, checkpoints, and determinism in concert to do something that is not possible using physical hardware.