Analog circuit design optimization based on symbolic simulation and simulated annealing | Synapse