@article{JB05, <br>AUTHOR = {Jacobi, C. and Berg, C.},<br>TITLE = {Formal Verification of the VAMP Floating Point Unit},<br>VOLUME = {Volume 26, Number 3}, <br>YEAR = {2005},<br>PAGES = {227-266}, <br>BOOKTITLE = {Formal Methods in System Design}, <br>PUBLISHER = {Springer Netherlands},<br>EE = {http://dx.doi.org/10.1007/s10703-005-1613-y},<br>}