Bijan Alizadeh, Masahiro Fujita. Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques. In Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011, Santa Clara, California, USA, 14-16 March 2011. pages 297-302, IEEE, 2011. [doi]
@inproceedings{AlizadehF11-0,
title = {Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques},
author = {Bijan Alizadeh and Masahiro Fujita},
year = {2011},
doi = {10.1109/ISQED.2011.5770740},
url = {http://dx.doi.org/10.1109/ISQED.2011.5770740},
tags = {optimization, debugging},
researchr = {https://researchr.org/publication/AlizadehF11-0},
cites = {0},
citedby = {0},
pages = {297-302},
booktitle = {Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011, Santa Clara, California, USA, 14-16 March 2011},
publisher = {IEEE},
isbn = {978-1-61284-914-0},
}