Putting it all together – Formal verification of the VAMP

Computer architecture: a quantitative approach

Martin Shute · Microelectronics Journal · 1993 · 3.4K citations

Engineering, Computer Design, Computer Engineering +7

IEEE Standard for Binary Floating Point Arithmetic

Ansi Ieee · Medical Entomology and Zoology · 1985 · 887 citations

Engineering, Measurement, Calibration +5

Multiplication of Multidigit Numbers on Automata

Anatolij A. Karatsuba, Yu. Ofman · Soviet physics. Doklady · 1963 · 793 citations

Multidigit Numbers, Pushdown Automaton, Computer Algebra +2

A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor

David M. Russinoff · LMS Journal of Computation and Mathematics · 1998 · 166 citations · Full text

Engineering, Hardware Verification Language, Verification +21

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations

Engineering, Automated Reasoning, Program Analysis +11