@doctoralThesis{Jacobi_2002,
title={Formal verification of a fully IEEE compliant floating point unit},
author={Jacobi, Christian},
doi={http://dx.doi.org/10.22028/D291-25704},
year={2002}
}