@inproceedings{BJ01,
  AUTHOR    = { Berg, Christoph
                and Jacobi, Christian },
  TITLE     = { Formal Verification of the {VAMP} Floating Point Unit },
  BOOKTITLE = { Proc.\ 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods ({CHARME}) },
  YEAR      = { 2001 },
  PUBLISHER = { Springer },
  PAGES     = { 325-339 },
  VOLUME    = { 2144  },
  SERIES    = { LNCS },
}