@InProceedings{Ayewah:ICCD05-603,
  author =       "Nathaniel Ayewah and Sven Beyer and Nikhil Kikkeri and
	             Peter-Michael Seidel",
  title =        "Challenges in the Formal Verification of Complete
                 State-of-the-Art Processors",
  year =         "2005",
  pages =        "603--608",
  ee =           "http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.37",
  booktitle =    "23rd International Conference on Computer Design
                 ({ICCD} 2005), 2--5 October 2005, San Jose, {CA},
                 {USA}",
  publisher =    "IEEE Computer Society",
  ISBN =         "0-7695-2451-6",
}