Proof engineering in the large: formal verification of Pentium�4 floating-point divider

The microarchitecture of the Pentium 4 processor

G. Hinton · Medical Entomology and Zoology · 2001 · 592 citations

Engineering, Computer Engineering, Computer Science +12

Formal verification by symbolic evaluation of partially-ordered trajectories

Carl-Johan H. Seger, Randal E. Bryant · Formal Methods in System Design · 1995 · 283 citations

Computing, Computer Science, Formal Methods +8

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 · 170 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke, Orna Grümberg, Hiromi Hiraishi et al. · Formal Methods in System Design · 1995 · 169 citations

Computing, Computer Engineering, Computer Science +12

Practical formal verification in microprocessor design

Robert B. Jones, John O’Leary, C.-J.H. Seger et al. · IEEE Design & Test of Computers · 2001 · 59 citations

Computing, Computer Engineering, Computer Science +16