Reference:

Robert B. Jones, Jens U. Skakkebæk, and David L. Dill. Reducing manual abstraction in formal verification of out-of-order execution. In Ganesh Gopalakrishnan and Phillip Windley, editors, Formal Methods in Computer-Aided Design (FMCAD), volume 1522 of Lecture Notes in Computer Science, pages 2-17. Springer-Verlag, November 1998.

Abstract:

STALE?

Download (please read copyright notice):

PostScript (gzipped)
PDF (auto-translated from PS, may have problems)

BibTeX entry:

@InProceedings{JonesSkDill98FMCAD,
  author    = {Robert B. Jones and 
               Jens U. Skakkeb{\ae}k and 
               David L. Dill},
  title     = {Reducing Manual Abstraction in Formal Verification
               of Out-of-Order Execution},
  pages     = {2--17},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
  editor    = {Ganesh Gopalakrishnan and Phillip Windley},
  volume    = 1522,
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  month     = {November},
  year      = 1998,
}