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