A SPICE Circuit Optimizer
