Modular Verification of SRT Division (1996)

Cached

Download Links

by Harald Ruess Ruess
Citations:16 - 1 self

Documents Related by Co-Citation

532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
63 Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . . – Steven P. Miller - 1995
23 Bit-Level Analysis of an SRT Divider Circuit – Randal E. Bryant - 1995
29 Defining the IEEE-854 Floating-Point Standard in PVS – Paul S. Miner - 1995
88 An Integration of Model Checking with Automated Proof Checking – S. Rajan, N. Shankar, M. K. Srivas - 1995
15 A mechanically checked proof of correctness of the AMD K5 floating point square root microcode – D M Russinoff - 1999
38 A mechanically checked proof of IEEE compliance of the floating point multiplication, division and square root algorithms of the AMD-K7 processor – D Russinoff - 1998
20 Verifying the SRT division algorithm using theorem proving techniques – E M Clarke, S M German, X Zhao - 1996
17 A Formal Basis for Structured Multimedia Collaborations – Sreeranga Rajan, P. Venkat Rangan, Harrick M. Vin - 1995
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
19 Anatomy of the Pentium Bug – Vaughan Pratt - 1995
14 Man A proof of the nonrestoring division algorithm and its implementation on an ALU – D Verkest, L Claesen, H De - 1994
21 A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon – David M. Russinoff
30 Formally verifying IEEE compliance of floating-point hardware – J O’Leary, X Zhao, R Gerth, C-J H Seger - 1999
1297 Symbolic Model Checking – K L McMillan - 1993
19 Hardware verification using PVS – M Srivas, H Rueß, D Cyrluk - 1997
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
161 Deciding combination of theories – R Shostak - 1984
11 Towards a Duration Calculus proof assistant – Jens U Skakkebaek, N Shankar