Analog Circuit Design Optimization based on Symbolic Simulation and Simulated Annealing | IEEE Conference Publication | IEEE Xplore