Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits. - Ching-Yi Huang; Zheng-Shan Yu; Yung-Chun Hu; Tung-Chen Tsou; Chun-Yao Wang; Yung-Chih Chen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)