A knowledge-based system for the evaluation and redesign of digital circuit networks | IEEE Journals & Magazine | IEEE Xplore