@inproceedings{bjklp03,
  title = "Instantiating uninterpreted functional units and memory system: functional verification of the {VAMP} processor",
  author = "Beyer, Sven and Jacobi, Christian and Kroening, Daniel and Leinenbach, Dirk and Paul, Wolfgang",
  year = "2003",
  booktitle = "Proc.\ of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME)",
  month = "October",
  pages = "51--65",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2860",
}