The Formal Verification of a Pipelined Double-Precision IEEE Floating-Point Multiplier

Mark D. Aagaard Carl-Johan H. Seger

Abstract
Download gzipped postscript
Bibtex entry


Abstract

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
}

Send questions or comments to Mark Aagaard < markaa@swen.uwaterloo.ca >