Derek L. Beatty

COSMOS: a compiled simulator for MOS circuits

Randal E. Bryant, Derek L. Beatty, Karl S. Brace et al. · 1987 · 271 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +14

Formally verifying a microprocessor using a simulation methodology

Derek L. Beatty, Randal E. Bryant · 1994 · 121 citations

Computing, Computer Engineering, Computer Science +12

Formal hardware verification by symbolic ternary trajectory evaluation

Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger · 1991 · 97 citations · Full text

Engineering, Computer Engineering, Computer Science +9

Formal verification of PowerPC arrays using symbolic trajectory evaluation

Manish Pandey, Richard Raimi, Derek L. Beatty et al. · 1996 · 47 citations · Full text

Computing, Computer Engineering, Computer Science +10

A methodology for formal hardware verification, with application to microprocessors

Derek L. Beatty · Defense Technical Information Center (DTIC) · 1993 · 38 citations

Computing, Computer Engineering, Computer Science +17