Formal verification of a fully IEEE compliant floating point unit (2002)

by C Jacobi
Venue:Ph.D. thesis, University of the Saarland, available on the Web at http://engr.smu.edu/~seidel/research/diss-jacobi.ps.gz