Automatic feasibility/performance estimation of mixed-signal circuits based on design specifications