Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques

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]

Authors

Bijan Alizadeh

This author has not been identified. Look up 'Bijan Alizadeh' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google