Symbolic design and optimization techniques for analog integrated circuits