The formal verification of a pipelined double-precision IEEE floating-point multiplier (1995)

by M D Aagaard, C-J H Seger
Venue:In ICCAD