A Symbolic Cell Synthesizer for CMOS IC Design