%0 Conference Paper %1 conf/isqed/AlizadehF11 %A Alizadeh, Bijan %A Fujita, Masahiro %B ISQED %D 2011 %I IEEE %K dblp %P 297-302 %T Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques. %U http://dblp.uni-trier.de/db/conf/isqed/isqed2011.html#AlizadehF11 %@ 978-1-61284-914-0

@inproceedings{conf/isqed/AlizadehF11, added-at = {2017-05-25T00:00:00.000+0200}, author = {Alizadeh, Bijan and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2247eadee89ecd6dcaabdc5754fb41756/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2011}, ee = {https://doi.org/10.1109/ISQED.2011.5770740}, interhash = {6d351e00e97e47749de86c5a43cc51c6}, intrahash = {247eadee89ecd6dcaabdc5754fb41756}, isbn = {978-1-61284-914-0}, keywords = {dblp}, pages = {297-302}, publisher = {IEEE}, timestamp = {2017-05-26T13:02:18.000+0200}, title = {Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques.}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2011.html#AlizadehF11}, year = 2011 }