Automatic formal verification of fused-multiply-add FPUs (0)

by Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
Venue:In Design, Automation and Test in Europe, 2005. Proceedings