Knowledge based extension of DIADES system for the analysis and synthesis of TGC circuits | IEEE Conference Publication | IEEE Xplore