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
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;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location :
Tuusula
Print_ISBN :
978-1-4577-0112-2
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2011.44