@InProceedings{Beyer:MTV2009-,
  author =       "Sven Beyer",
  title =        "Advanced {CPU} Verification Using Automatic Detection
                 of Verification and Specification Gaps",
  editor =       "Magdy S. Abadir and Jayanta Bhadra and Li-C. Wang",
  booktitle =    "Workshop on Microprocessor Test and Verification (MTV
                 2009)",
  address =      "Austin, Texas, USA",
  month =        dec,
  year =         "2009",
  publisher =    "IEEE",
}