A Rule-Based Logic Circuit Synthesis System for CMOS Gate Arrays | IEEE Conference Publication | IEEE Xplore