Formal Verification of a Fully IEEE Compliant Floating Point Unit (2002)

by C Jacobi