• DocumentCode
    2299139
  • Title

    A Graph-Based Approach to Designing Multiple-Valued Arithmetic Algorithms

  • Author

    Saito, Kazuya ; Homma, Naofumi ; Aoki, Takafumi

  • Author_Institution
    Grad. Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
  • fYear
    2011
  • fDate
    23-25 May 2011
  • Firstpage
    27
  • Lastpage
    32
  • Abstract
    This paper presents a graph-based approach to designing multiple-valued arithmetic circuits. Our method describes arithmetic circuits in a hierarchical manner with high-level multiple-valued graphs, which are determined by specific algebra and arithmetic formulae. The proposed circuit description can be effectively verified by symbolic computations such as polynomial reduction using Groebner Bases. In this paper, we describe the proposed graph representation and show an example of its description and verification. The advantageous effects of the proposed approach are demonstrated through experimental designs of parallel multipliers over Galois field GF(2m) for different word-lengths and irreducible polynomials. The result shows that the proposed approach has a definite possibility of verifying practical arithmetic circuits where the conventional simulation techniques failed.
  • Keywords
    Galois fields; digital arithmetic; graph theory; integrated circuit design; multiplying circuits; multivalued logic circuits; polynomials; symbol manipulation; GF(2m); Galois field; Grobner bases; computer algebra; graph representation; high-level multiple-valued graph; irreducible polynomial; multiple-valued arithmetic circuit design; parallel multiplier; symbolic computation; Algebra; Algorithm design and analysis; Generators; Hardware design languages; Mathematical model; Polynomials; arithmetic circuits; computer algebra; formal verification; multiple-valued logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
  • Conference_Location
    Tuusula
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4577-0112-2
  • Electronic_ISBN
    0195-623X
  • Type

    conf

  • DOI
    10.1109/ISMVL.2011.44
  • Filename
    5954204