Verification of IEEE compliant subtractive division algorithms (1996)

by P S Miner, J F Leathrum
Venue:In FMCAD-96, volume 1166 of LNCS