Speeding up Reliability Analysis for Large-scale Circuits