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