Formal Probabilistic Analysis of Low Latency Approximate Adders. - Amina Qureshi; Osman Hasan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)