Formal verification of a fully IEEE compliant floating point unit [article]

Christian Jacobi, Universität Des Saarlandes, Universität Des Saarlandes
2004
doi:10.22028/d291-25704 fatcat:poss73nl5bg6zh5o6kanqrfose