Publication 1998 Issue No. 9 - September Abstract - A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic Circuits
A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic Circuits
September 1998 (vol. 47 no. 9)
pp. 938-946
 ASCII Text x Germain Drolet, "A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic Circuits," IEEE Transactions on Computers, vol. 47, no. 9, pp. 938-946, September, 1998.
 BibTex x @article{ 10.1109/12.713313,author = {Germain Drolet},title = {A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic Circuits},journal ={IEEE Transactions on Computers},volume = {47},number = {9},issn = {0018-9340},year = {1998},pages = {938-946},doi = {http://doi.ieeecomputersociety.org/10.1109/12.713313},publisher = {IEEE Computer Society},address = {Los Alamitos, CA, USA},}
 RefWorks Procite/RefMan/Endnote x TY - JOURJO - IEEE Transactions on ComputersTI - A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic CircuitsIS - 9SN - 0018-9340SP938EP946EPD - 938-946A1 - Germain Drolet, PY - 1998KW - Galois field arithmeticKW - normal basisKW - dual basisKW - canonical basisKW - VLSI implementation.VL - 47JA - IEEE Transactions on ComputersER -

Abstract—Let F2 denote the binary field and ${\schmi{\bf F}}_{2^m}$ an algebraic extension of degree m > 1 over F2. Traditionally, elements of ${\schmi{\bf F}}_{2^m}$ are either represented as powers of a primitive element of ${\schmi{\bf F}}_{2^m}$ together with 0, or by an expansion in a basis of the vector space ${\schmi{\bf F}}_{2^m}$ over F2. We propose a new representation based on an isomorphism from ${\schmi{\bf F}}_{2^m}$ into the residue polynomial ring modulo Xn + 1. The new representation simultaneously satisfies the properties of various traditional representations, which leads, in some cases, to architectures of parallel-in-parallel-out arithmetic circuits (adder, multiplier, exponentiator/inverter, squarer, divider) with average to small complexity. We show that the implementation of all the arithmetic circuits designed for the new representation on an integrated circuit sometimes has smaller complexity than the implementation of all the arithmetic circuits designed for other representations. In addition, we derive a serial multiplier for the field ${\schmi{\bf F}}_{2^m}$ which comprises the least number of gates of all the serial multipliers known to the author, when m + 1 is a prime such that 2 is primitive in the field Zm+1.

[1] F.J. MacWilliams and N.J.A. Sloane, The Theory of Error-Correcting Codes.New York: North-Holland, 1977.
[2] N. Koblitz, A Course in Number Theory and Cryptography, GTM. Springer-Verlag, 1987.
[3] M.A. Hasan, M. Wang, and V.K. Bhargava, Modular Construction of Low Complexity Parallel Multipliers for a Class of Finite Fields$GF(2^m)$ IEEE Trans. Computers, vol. 41, no. 8, pp. 962-971, Aug. 1992.
[4] T.K. Truong, I.S. Reed, and M.T. Shih, "Efficient Multiplication Algorithm Over the Finite Fields GF(qm) Where q = 3, 5," IEE Proc., Part E, vol. 140, no. 2, pp. 92-94, Mar. 1993.
[5] M.A. Hasan and V.K. Bhargava,"Division and Bit-Serial Multiplication overGF(qm)," IEE Proc. E., vol. 139, pp. 230-236, May 1992.
[6] T. Itoh and S. Tsujii, “Structure of Parallel Multipliers for a Class of Finite Fields$GF(2^m)$,” Information and Computation, vol. 83, pp. 21-40, 1989.
[7] C.S. Yeh, I.S. Reed, and T.K. Truong, "Systolic Multipliers for Finite Fields GF(2m)," IEEE Trans. Computers, vol. 33, no. 4, pp. 357-360, Apr. 1984.
[8] C. Paar, “A New Architecture for a Parallel Finite Field Multiplier with Low Complexity Based on Composite Fields,” IEEE Trans. Computers, vol. 45, no. 7, pp. 846-861, July 1996.
[9] E. Mastrovito, "VLSI Architectures for Computations in Galois Fields," PhD thesis, Dept. of Electrical Eng., Linköping Univ., Linköping, Sweden, 1991.
[10] S.T.J. Fenn, D. Taylor, and M. Benaissa, "Division Over GF(2m)," Electronics Letters, vol. 28, no. 24, pp. 2,259-2,261, Nov. 1992.
[11] H. Brunner, A. Curiger, and M. Hofstetter, On Computing Multiplicative Inverses in${\rm GF}(2^m)$ IEEE Trans. Computers, vol. 42, no. 8, pp. 1010-1015, Aug. 1993.
[12] P.A. Scott, S.J. Simmons, S.E. Tavares, and L.E. Peppard, Architectures for Exponentiation in$GF(2^m)$ IEEE J. Selected Areas in Comm., vol. 6, no. 3, pp. 578-586, Apr. 1988.
[13] J.L. Massey and J.K. Omura, "Computational Method and Apparatus for Finite Field Arithmetic," U.S. Patent Application, 1981.
[14] J.K. Wolf, “Efficient Circuits for Multiplying in$\big. {\rm GF}(2^m)\bigr.$for Certain Values of$\big. m\bigr.$,” Discrete Math., vols. 106/107, pp. 497-502, 1992.
[15] D.B. Gravel, "Improved VLSI Design for Decoding Concatenated Codes Comprising an Irreducible Cyclic Code and a Reed-Solomon (N, K) Code," MEng dissertation, Royal Military College of Canada, Kingston, Ontario, May 1995.
[16] D.B. Gravel, G. Drolet, and C.N. Rozon, "Improved VLSI Design for Decoding Concatenated Codes Comprising an Irreducible Cyclic Code and a Reed-Solomon Code," Information Theory and Applications II. Springer-Verlag, 1996.
[17] T. Itoh and S. Tsujii, “A Fast Algorithm for Computing Multiplicative Inverses in$GF(2^m)$Using Normal Basis,” Information and Computing, vol. 78, pp. 171-177, 1988.
[18] C.C. Wang,T.K. Truong,H.M. Shao,L.J. Deutsch,J.K. Omura, and I.S. Reed,"VLSI Architectures for Computing Multiplications and Inverses inGF(2m)," IEEE Trans. Computers, vol. 34, no. 8, pp. 709-716, Aug. 1985.
[19] E.R. Berlekamp and J. Justesen, "Some Long Cyclic Linear Binary Codes Are Not So Bad," IEEE Trans. Information Theory, vol. 20, pp. 351-356, May 1974.
[20] M.A. Hasan, M.Z. Wang, and V.K. Bhargava, “A Modified Massey-Omura Parallel Multiplier for a Class of Finite Fields,” IEEE Trans. Computers, vol. 42, no. 10, pp. 1278-1280, Oct. 1993.
[21] D. Knuth, The Art of Computer Programming, Vol. 2, Addison-Wesley, Reading, Mass., 1998.
[22] G.B. Agnew, T. Beth, R.C. Mullin, and S.A. Vanstone, "Arithmetic Operations in GF(2m)," J. Cryptology, vol. 6, pp. 3-13, 1993.
[23] Y. Sugiyama, "An Algorithm for Solving Discrete Time Wiener-Hopf Equations Based on Euclid's Algorithm," IEEE Trans. Information Theory, vol. 32, pp. 394-409, May 1986.
[24] F.G. Gustavson and D.Y.Y. Yun, "Fast Computation of PadéApproximants and Toeplitz Systems of Equations Via the Extended Euclidean Algorithm," Technical Report RC 7551 (#32646) 3/9/79, IBM, Yorktown Heights, N.Y.
[25] R.P. Brent, F.G. Gustavson, and D.Y.Y. Yun, "Fast Solution of Toeplitz Systems of Equations and Computation of PadéApproximants," J. Algorithms, vol. 1, pp. 259-295, 1980.
[26] R.R. Bitmead and B.D.O. Anderson, "Assymptotically Fast Solution of Toeplitz and Related Systems of Linear Equations," Linear Algebra and its Applications, vol. 34, pp. 103-116, 1980.
[27] S. Lin and D. J. Costello,Error Control Coding: Fundamentals and Applications. Englewood Cliffs, NJ: Prentice-Hall, 1983.

Index Terms:
Galois field arithmetic, normal basis, dual basis, canonical basis, VLSI implementation.
Citation:
Germain Drolet, "A New Representation of Elements of Finite Fields GF(2m) Yielding Small Complexity Arithmetic Circuits," IEEE Transactions on Computers, vol. 47, no. 9, pp. 938-946, Sept. 1998, doi:10.1109/12.713313