COSMOS: A Compiled Simulator for MOS Circuits. - Randal E. Bryant; Derek L. Beatty; Karl S. Brace; Kyeongsoon Cho; Thomas J. Sheffler (DAC, 1987)

Fast Incremental Circuit Analysis Using Extracted Hierarchy. - Derek L. Beatty; Randal E. Bryant (DAC, 1988)

Incremental switch-level analysis. - Derek L. Beatty; Randal E. Bryant (IEEE Des. Test, 1988)

Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation. - Randal E. Bryant; Derek L. Beatty; Carl-Johan H. Seger (DAC, 1991)

Formally Verifying a Microprocessor Using a Simulation Methodology. - Derek L. Beatty; Randal E. Bryant (DAC, 1994)

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 (ICCD, 1995)

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. - Manish Pandey; Richard Raimi; Derek L. Beatty; Randal E. Bryant (DAC, 1996)