36

The formal verification of a pipelined doubleprecision IEEE floatingpoint multiplier
– M D Aagaard, CJ H Seger
 1995

38

A mechanically checked proof of IEEE compliance of the floating point multiplication, division and square root algorithms of the AMDK7 processor
– D Russinoff
 1998

34

2000): Computer architecture: complexity and correctness
– Silvia M Müller, Wolfgang J Paul

305

Formal verification for faulttolerant architectures: Prolegomena to the design of PVS
– Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke
 1995

10

Verification of a subtractive radix2 square root algorithm and implementation
– M LEESER, J O’LEARY
 1995

7

Verification of floating point adders
– YA Chen, R E Bryant
 1998

30

Formally verifying IEEE compliance of floatingpoint hardware
– J O’Leary, X Zhao, R Gerth, CJ H Seger
 1999

19

Proving the IEEE Correctness of Iterative FloatingPoint Square Root, Divide, and Remainder Algorithms
– Marius CorneaHasegan

3962

Computer architecture: a quantitative approach, (3rd edition
– J L Hennessy, D A Patterson
 2002

532

PVS: A Prototype Verification System
– S. Owre, J. M. Rushby, N. Shankar
 1992

16

Modular Verification of SRT Division
– Harald Ruess Ruess
 1996

8

Interpretation of IEEE854 floatingpoint standard and definition in the HOL system
– V A Carreno
 1995

33

Formal methods applied to a floatingpoint number system
– G Barrett
 1989

23

BitLevel Analysis of an SRT Divider Circuit
– Randal E. Bryant
 1995

84

Theorem Proving with the Real Numbers
– John Robert Harrison
 1996

11

Formal Verification of the VAMP Floating Point Unit
– Christoph Berg, Christian Jacobi
 2001

6

A Mechanically Checked Proof of the AMD5 K86 Floating Point Division Program
– J S Moore, T W Lynch, M Kaufmann
 1998

31

Floating point verification in HOL Light: the exponential function
– John Harrison
 1997

14

Man A proof of the nonrestoring division algorithm and its implementation on an ALU
– D Verkest, L Claesen, H De
 1994
