A nonlinear programming based power optimization methodology for gate sizing and voltage selection | IEEE Conference Publication | IEEE Xplore