Proof engineering in the large: Formal verification of the Pentium ® 4 floating-point divider (2001)

by R Kaivola, K R Kohatsu
Venue:Correct Hardware Design and Verification Methods: 11th Advanced Research Working Conference, CHARME 2001, volume 2144 of LNCS