GfXpress: A Technique for Synthesis and Optimization of $\hbox{GF}(2^{m})$ Polynomials

This paper presents an efficient technique for synthesis and optimization of the polynomials over GF(2m), where to is a nonzero positive integer. The technique is based on a graph-based decomposition and factorization of the polynomials, followed by efficient network factorization and optimization. A technique for efficiently computing the coefficients of the polynomials over GF(pm), where p is a prime number, is first presented. The coefficients are stored as polynomial graphs over GF(pm). The synthesis and optimization is initiated from this graph-based representation. The technique has been applied to minimize multipliers over the fields GF(2k), where k = 2,...,8, generated with all the 51 primitive polynomials in the 0.18-mum CMOS technology with the help of the Synopsys design compiler. It has also been applied to minimize combinational exponentiation circuits, parallel integer adders and multipliers, and other multivariate bit- as well as word-level polynomials. The experimental results suggest that the proposed technique can reduce area, delay, and power by significant amounts. We also observed that the technique is capable of producing 100% testable circuits for stuck-at faults.

[1]  Zhihong Zeng,et al.  Taylor expansion diagrams: a compact, canonical representation with applications to symbolic verification , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[2]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[3]  Dhiraj K. Pradhan,et al.  Reed-Muller Like Canonic Forms for Multivalued Functions , 1975, IEEE Transactions on Computers.

[4]  Çetin Kaya Koç,et al.  Mastrovito Multiplier for General Irreducible Polynomials , 1999, IEEE Trans. Computers.

[5]  Claudio Moraga,et al.  Optimization of GF(4) expressions using the extended dual polarity property , 2003, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..

[6]  M. Anwar Hasan,et al.  Efficient Exponentiation of a Primitive Root in GF(2^m) , 1997, IEEE Trans. Computers.

[7]  Zeljko Zilic,et al.  A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions , 1995, IEEE Trans. Computers.

[8]  Rolf Drechsler,et al.  Circuit design from Kronecker Galois field decision diagrams for multiple-valued functions , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[9]  Ryan Kastner,et al.  Optimizing Polynomial Expressions by Algebraic Factorization and Common Subexpression Elimination , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Wolfgang Rosenstiel,et al.  Efficient graph-based computation and manipulation of functional decision diagrams , 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

[11]  Marek Karpinski,et al.  On Zero-Testing and Interpolation of k-Sparse Multivariate Polynomials Over Finite Fields , 1991, Theor. Comput. Sci..

[12]  Tsutomu Sasao,et al.  Exact Minimization of FPRMs Using Multi-Terminal Exor TDDs , 1996 .

[13]  Zeljko Zilic,et al.  A Deterministic Multivariate Interpolation Algorithm for Small Finite Fields , 2002, IEEE Trans. Computers.

[14]  Christof Paar,et al.  Fast Arithmetic for Public-Key Algorithms in Galois Fields with Composite Exponents , 1999, IEEE Trans. Computers.

[15]  Dhiraj K. Pradhan A Theory of Galois Switching Functions , 1978, IEEE Transactions on Computers.

[16]  Marek A. Perkowski,et al.  New multivalued functional decomposition algorithms based on MDDs , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[17]  Rolf Drechsler,et al.  On the construction of multiple-valued decision diagrams , 2002, Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.

[18]  S. Wicker Error Control Systems for Digital Communication and Storage , 1994 .

[19]  Alfred Menezes,et al.  Handbook of Applied Cryptography , 2018 .

[20]  Dhiraj K. Pradhan,et al.  MODD: a new decision diagram and representation for multiple output binary functions , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[21]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[22]  K. Yoo,et al.  Low-power exponent architecture in finite fields , 2005 .

[23]  José Luis Imaña,et al.  Bit-parallel finite field multipliers for irreducible trinomials , 2006, IEEE Transactions on Computers.

[24]  James E. Stine,et al.  Parallel programmable finite field GF (2/sup m/) multipliers , 2004, IEEE Computer Society Annual Symposium on VLSI.

[25]  Chien-Ming Wu,et al.  High-Speed, Low-Complexity Systolic Designs of Novel Iterative Division Algorithms in GF(2^m) , 2004, IEEE Trans. Computers.

[26]  Ian F. Blake,et al.  Elliptic curves in cryptography , 1999 .

[27]  Chung-Hsin Liu,et al.  Computation of AB^2 Multiplier in GF(2^m)Using an Efficient Low-Complexity Cellular Architecture , 2000 .

[28]  Johannes Grabmeier,et al.  Applying Coding Theory to Sparse Interpolation , 1993, SIAM J. Comput..

[29]  Marek Karpinski,et al.  Fast Parallel Algorithms for Sparse Multivariate Polynomial Interpolation over Finite Fields , 1988, SIAM J. Comput..

[30]  Michael Ben-Or,et al.  A deterministic algorithm for sparse multivariate polynomial interpolation , 1988, STOC '88.

[31]  Maciej J. Ciesielski,et al.  BDD decomposition for efficient logic synthesis , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

[32]  Robert K. Brayton,et al.  Sequential circuit design using synthesis and optimization , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[33]  M. Anwar Hasan,et al.  Low complexity bit parallel architectures for polynomial basis multiplication over GF(2m) , 2004, IEEE Transactions on Computers.

[34]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[35]  Allan O. Steinhardt,et al.  Fast algorithms for digital signal processing , 1986, Proceedings of the IEEE.

[36]  Victor S. Miller,et al.  Use of Elliptic Curves in Cryptography , 1985, CRYPTO.