Critic: a knowledge-based program for critiquing circuit designs.

Rick L. Spickelmier, A. Richard Newton

Browse the full ICCD paper archive.