Circuit simulators and the Pentium 4 'Hyper-Threading' feature