Proteus-1: a general accelerator for CAD. - S. P. Smith; B. Wood; J. Little; P. Hunter (FJCC, 1987)

Modeling and enhancing virtual memory performance in logic simulation. - S. P. Smith; J. Kuban (ICCAD, 1988)