Fast and exact simultaneous gate and wire sizing by Lagrangian relaxation