Derek L. Beatty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1987–1996
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | DAC | Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. | Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant |
| 1995 | ICCD | 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 |
| 1994 | DAC | Formally Verifying a Microprocessor Using a Simulation Methodology. | Derek L. Beatty, Randal E. Bryant |
| 1991 | DAC | Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation. | Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger |
| 1988 | DAC | Fast Incremental Circuit Analysis Using Extracted Hierarchy. | Derek L. Beatty, Randal E. Bryant |
| 1987 | DAC | COSMOS: A Compiled Simulator for MOS Circuits. | Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler |