Title :
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit
Author :
Liu, Feng ; Song, Xiaoyu ; Tan, Qingping ; Chen, Gang
Author_Institution :
Nat. Lab. of Parallel Distrib. Process., Nat. Univ. of Defense Technol., Changsha, China
Abstract :
End-around-carry (EAC) adder is extensively used in microprocessor´s floating-point units. This paper presents an algebraic characterization of an EAC adder´s algorithm. A novel symbolic analysis approach is presented to prove the EAC adder´s correctness. Algebraic structures and first-order recursive equations are harnessed in proof derivations. A hybrid prefix/EAC architecture is considered.
Keywords :
adders; floating point arithmetic; algebraic characterization; algebraic structures; end-around-carry adder; first-order recursive equations; floating-point unit; formal analysis; symbolic analysis; Adders; Algorithm design and analysis; Computer architecture; Equations; Jacobian matrices; Laboratories; Signal processing algorithms; Computer arithmetic; EAC adder; formal methods;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2010.2052391
