XPSim: a MOS VLSI simulator. - Romy L. Bauer; Jiayuan Fang; Antony P.-C. Ng; Robert K. Brayton (ICCAD, 1988)