Shih-Chieh Wu, Chun-Yao Wang, Jan-an Hsieh. The Potential and Limitation of Probability-Based Combinational Equivalence Checking. In 15th Asian Test Symposium, ATS 2006, Fukuoka, Japan, November 20-23, 2006. pages 103-108, IEEE, 2006. [doi]
Abstract is missing.