A hybrid probabilistic method to estimate design margin