Novel methods for evaluating VLSI circuit performance bounds and optimization with process variations