Symbolic Analysis of Communication Circuits in CMOS Technology