Parametric timing analysis and its application to dynamic voltage scaling