@inproceedings{ABKS05, <br>AUTHOR = {Ayewah, N. and Beyer, S. and Kikkeri, N. and Seidel, P.-M.},<br>TITLE = {Challenges in the Formal Verification of Complete State-of-the-Art Processors},<br>YEAR = {2005},<br>BOOKTITLE = {International Conference on Computer Design}, <br>EE = {http://dx.doi.org/10.1109/ICCD.2005.37},<br>}