Statistical Verification And Optimization Of Integrated Circuits