Circuit optimization using statistical static timing analysisAseem AgarwalKaviraj Chopraet al.2005DAC 2005