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