The formal verification of a pipelined double-precision IEEE floating-point multiplier.

Mark D. Aagaard, Carl-Johan H. Seger

Browse the full ICCAD paper archive.