A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor
暂无分享,去创建一个
[1] J. Strother Moore,et al. A Mechanically Checked Proof of the AMD5K86TM Floating Point Division Program , 1998, IEEE Trans. Computers.
[2] A Mechanically Checked Proof of the Correctness of the Kernel of the Amd5 K 86 Tm Floating-point Division Algorithm , 1996 .
[3] Xudong Zhao,et al. Word Level Symbolic Model Checking: A New Approach for Verifying Arithmetic Circuits , 1995 .
[4] R. Bryant,et al. Verification of Arithmetic Functions with Binary Moment Diagrams , 1994 .
[5] Guy L. Steele,et al. Common LISP: the language, 2nd Edition , 1990 .
[6] Guido D. Salvucci,et al. Ieee standard for binary floating-point arithmetic , 1985 .
[7] Guy L. Steele,et al. Common Lisp the Language , 1984 .
[8] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.
[9] S. F. Anderson,et al. The IBM system/360 model 91: floating-point execution unit , 1967 .