Formal Analysis of End-Around-Carry Adder in Floating-Point Unit

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen. Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(10):1655-1659, 2010. [doi]

Abstract

Abstract is missing.