Verification of IEEE compliant subtractive division algorithms (1996)

by P S Miner, J F Leathrum
Venue:In Proceedings of the First International Conference on Formal Methods in Computer-Aided Design