Improving digital circuit simulation: a knowledge based approach.

John A. Benavides, Dana L. Wyatt

Browse the full WSC paper archive.