Modeling of Probabilistic Ripple-Carry Adders | IEEE Conference Publication | IEEE Xplore