The Potential and Limitation of Probability-Based Combinational Equivalence Checking. - Shih-Chieh Wu; Chun-Yao Wang; Jan-an Hsieh (ATS, 2006)