Derek L. Beatty

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. DAC (1996)
Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain
Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD (1995)
Derek L. Beatty, Randal E. Bryant
Formally Verifying a Microprocessor Using a Simulation Methodology. DAC (1994)
Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger
Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation. DAC (1991)
Derek L. Beatty, Randal E. Bryant
Fast Incremental Circuit Analysis Using Extracted Hierarchy. DAC (1988)
Derek L. Beatty, Randal E. Bryant
Incremental switch-level analysis. IEEE Des. Test 5 (6) (1988)
Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler
COSMOS: A Compiled Simulator for MOS Circuits. DAC (1987)