Bibtex:

@inproceedings{bjklp03,
  AUTHOR    = { Beyer, Sven
                and Jacobi, Christian
                and Kroening, Daniel
                and Leinenbach, Dirk
                and Paul, Wolfgang },
  TITLE     = { Instantiating uninterpreted functional units and memory system: functional verification of the {VAMP} processor },
  BOOKTITLE = { Proc.\ of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) },
  YEAR      = { 2003 },
  PUBLISHER = { Springer },
  PAGES     = { 51--65  },
  SERIES    = { Lecture Notes in Computer Science },
  VOLUME    = { 2860 },
  MONTH     = { October },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.