DELIGHT.SPICE: An OptimizationBased System for the Design of Integrated Circuits