Richard Lee, Benjamin Tsien
Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System
DAC, 2001.
@inproceedings{DAC-2001-LeeT,
author = "Richard Lee and Benjamin Tsien",
booktitle = "{Proceedings of the 38th Design Automation Conference}",
doi = "10.1145/378239.379073",
isbn = "1-58113-297-2",
pages = "822--827",
publisher = "{ACM}",
title = "{Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System}",
year = 2001,
}