Critic: a knowledge-based program for critiquing circuit designs | IEEE Conference Publication | IEEE Xplore