• DocumentCode
    1360921
  • Title

    Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover

  • Author

    Chen, Gang

  • Volume
    29
  • Issue
    1
  • fYear
    2010
  • Firstpage
    149
  • Lastpage
    153
  • Abstract
    This paper describes a new advancement in theorem proving based formal verification: a formalization of a parameterized parallel prefix adder developed in the proof assistant Coq.
  • Keywords
    Adders; Books; Digital arithmetic; Equations; Formal verification; Hardware; Logic circuits; Logic design; Prototypes; Switches; Adder circuits; computer arithmetic; formal method;
  • 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.2009.2034346
  • Filename
    5356295
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1360921