Buy Symbolic Analysis Techniques: Applications To Analog Design Automation