Derek L. Beatty

According to our database, Derek L. Beatty authored at least 7 papers between 1987 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.

Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant

Proceedings of the 33st Conference on Design Automation, 1996

1995

Extraction of finite state machines from transistor netlists by symbolic simulation.

Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Formally Verifying a Microprocessor Using a Simulation Methodology.

Derek L. Beatty, Randal E. Bryant

Proceedings of the 31st Conference on Design Automation, 1994

1991

Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation.

Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger

Proceedings of the 28th Design Automation Conference, 1991

1988

Incremental switch-level analysis.

Derek L. Beatty, Randal E. Bryant

IEEE Des. Test, 1988

Fast Incremental Circuit Analysis Using Extracted Hierarchy.

Derek L. Beatty, Randal E. Bryant

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

COSMOS: A Compiled Simulator for MOS Circuits.

Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987