Verification of IEEE compliant subtractive division algorithms

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/bfb0031800 ◽

1996 ◽

pp. 64-78 ◽

Cited By ~ 16

Author(s):

Paul S. Miner ◽

James F. Leathrum

Download Full-text