Verification of IEEE Compliant Subtractive Division Algorithms (1996)

by Paul S. Miner , James F. Leathrum, Jr.
Venue:FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD '96)
Citations:11 - 1 self