Improving digital circuit simulation: a knowledge based approach. - John A. Benavides; Dana L. Wyatt (WSC, 1988)

SWIM: A Knowledge-Based Digital Circuit Simulator. - Dana L. Wyatt; Mahir S. Ali; John A. Benavides (Int. J. Comput. Simul., 1994)