Bit-Level Analysis of an SRT Divider Circuit (1995)

by Randal E. Bryant
Venue:IN PROCEEDINGS OF THE 33RD DESIGN AUTOMATION CONFERENCE, PAGES 661--665, LAS VEGAS, NV
Citations:23 - 0 self

Documents Related by Co-Citation

20 Verifying the SRT division algorithm using theorem proving techniques – E M Clarke, S M German, X Zhao - 1996
97 Verification of Arithmetic Functions with Binary Moment Diagrams – Randal E. Bryant, Yirng-An Chen - 1994
11 Verification of IEEE Compliant Subtractive Division Algorithms – Paul S. Miner, James F. Leathrum, Jr. - 1996
55 Hybrid decision diagrams - overcoming the limitations of MTBDDs and BMDs – E. M. Clarke, M. Fujita, X. Zhao - 1995
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
1297 Symbolic Model Checking – K L McMillan - 1993
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
16 Modular Verification of SRT Division – Harald Ruess Ruess - 1996
93 Verification of Arithmetic Circuits with Binary Moment Diagrams – Randal E. Bryant, Yirng-An Chen - 1995
3962 Computer architecture: a quantitative approach, (3rd edition – J L Hennessy, D A Patterson - 2002
97 Division and Square Root: Digit-Recurrence Algorithms and Implementations – M D Ercegovac, T Lang - 1994
46 Higher-Radix Division Using Estimates of the Divisor and Partial – Daniel E Atkins - 1968
19 Anatomy of the Pentium Bug – Vaughan Pratt - 1995
29 Defining the IEEE-854 Floating-Point Standard in PVS – Paul S. Miner - 1995
10 Verification of a subtractive radix-2 square root algorithm and implementation РM LEESER, J O’LEARY - 1995
63 Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . . – Steven P. Miller - 1995
36 The formal verification of a pipelined double-precision IEEE floating-point multiplier – M D Aagaard, C-J H Seger - 1995
23 Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking – Yirng-an Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira, John O'Leary, Xudong Zhao - 1996
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986