• DocumentCode
    1330124
  • 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
  • Volume
    29
  • Issue
    10
  • fYear
    2010
  • Firstpage
    1655
  • Lastpage
    1659
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/TCAD.2010.2052391
  • Filename
    5580224
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1330124