Abstract Download gzipped postscript Bibtex entry |
@INPROCEEDINGS{aagaard-iccad-95, AUTHOR = {Aagaard , Mark D. and Seger , Carl-Johan H. }, TITLE = {The Formal Verification of a Pipelined Double-Precision {IEEE} Floating-Point Multiplier }, BOOKTITLE = iccad, PAGES = {7-10 }, YEAR = {1995}, MONTH = {Nov}, PUBLISHER = ieee-computer-society }