Formally verifying IEEE compliance of floating-point hardware (1999)

by J O’Leary, X Zhao, R Gerth, C-J H Seger
Venue:1–14, available on the Web at http://download.intel.com/technology/itj/q11999/pdf/floating_point.pdf. ensl-00445343, version 2 - 14 Jul 2010