Reliability-based calibration of design code formulas