Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System. - Richard Lee; Benjamin Tsien (DAC, 2001)