Verification of IEEE Compliant Subtractive Division Algorithms.

Paul S. Miner, James F. Leathrum

Browse the full FMCAD paper archive.