@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 },
}