Gradient-based optimization of custom circuits using a static-timing formulationA.R. ConnI.M. Elfadelet al.1999DAC 1999