Demand Driven Simulation: BACKSIM. - Steven P. Smith; M. Ray Mercer; B. Brodk (DAC, 1987)

An Analysis of Parallel Logic Simulation on Several Architectures. - Steven P. Smith; Bill Underwood; Joe Newman (ICPP (1), 1988)

D^3FS: A Demand Driven Deductive Fault Simulator. - Steven P. Smith; Bill Underwood; M. Ray Mercer (ITC, 1988)

Mixed-mode simulation of compiled VHDL programs. - Ramón D. Acosta; Steven P. Smith; Jeff Larson (ICCAD, 1989)

An enhanced high performance combinational fault simulator using two-way parallelism. - Steven P. Smith (ICCD, 1989)

A Value System for Switch-Level Modeling. - Steven P. Smith; Ramón D. Acosta (IEEE Des. Test Comput., 1990)