
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
P.K. Lui, J.C. Muzio, "Boolean Matrix Transforms for the Minimization of Modulo2 Canonical Expansions," IEEE Transactions on Computers, vol. 41, no. 3, pp. 342347, March, 1992.  
BibTex  x  
@article{ 10.1109/12.127446, author = {P.K. Lui and J.C. Muzio}, title = {Boolean Matrix Transforms for the Minimization of Modulo2 Canonical Expansions}, journal ={IEEE Transactions on Computers}, volume = {41}, number = {3}, issn = {00189340}, year = {1992}, pages = {342347}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.127446}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Boolean Matrix Transforms for the Minimization of Modulo2 Canonical Expansions IS  3 SN  00189340 SP342 EP347 EPD  342347 A1  P.K. Lui, A1  J.C. Muzio, PY  1992 KW  Boolean matrix transforms; minimization of modulo2 canonical expansions; Boolean function; Kronecker products; elementary Boolean matrices; minimal fixed polarity expansion; minimal fixed basis expansion; Boolean functions; minimisation of switching nets. VL  41 JA  IEEE Transactions on Computers ER   
Fast transforms for computing modulo2 ringsum canonical expansions of a Boolean function are described using Kronecker products of elementary Boolean matrices. These transforms unify and generalize existing ones in the literature. Previous algorithms which employ such transforms for finding a minimal fixed polarity expansion (FPE) are reviewed, analyzed, and extended to a minimal fixed basis expansion (FBE).
[1] C. E. Shannon, "A symbolic analysis of relay and switching circuits,"Trans. AIEE, vol. 57, pp. 713723, 1938.
[2] I. S. Reed, "A class of multipleerrorcorrecting codes and their decoding scheme,"IRE Trans. Inform. Theory, vol. IT4, pp. 3849, Sept. 1954.
[3] D. E. Muller, "Application of Boolean algebra to switching circuit design for error detection,"IEEE Trans. Comput., vol. EC3, pp. 612, Sept. 1954.
[4] S. B. Akers, Jr., "On a theory of Boolean functions,"J. Soc. Indust. Appl. Math., vol. 7, no. 4, pp. 487498, Dec. 1959.
[5] P. Calingaert, "Switching function canonical forms based on communtative and associative binary operations,"AIEE Trans., vol. 79, pp. 808814, Jan. 1961.
[6] R. J. Lechner, "Transformations among switching function canonical forms,"IEEE Trans. Electron. Comput., vol. EC12, pp. 129130, Apr. 1963.
[7] M. Davio, "Ringsum expansions of Boolean functions," inProc. Symp. Comput. and Automata, Polytechnic Institute of Brooklyn, Apr. 1971, pp. 411418.
[8] G. Bioul, M. Davio, and J. P. Deschamps, "Minimization of ringsum expansions of Boolean functions," Philips Res. Rep., vol. 28, pp. 1736, 1973.
[9] M. Davio, J. P. Deschamps, and A. Thayse,Discrete and Switching Functions. New York: McGrawHill, 1978.
[10] S. Swamy, "On generalized ReedMuller expansions,"IEEE Trans. Comput., vol. C21, pp. 10081009, Sept. 1972.
[11] K. K. Saluja, and E. H. Ong, "Minimization of ReedMuller canonical expansion,"IEEE Trans. Comput., vol. C28, pp. 535537, July 1979.
[12] X. Wu, X. Chen, and S. L. Hurst, "Mapping of ReedMuller coefficients and the minimization of exclusiveOR switching functions,"IEE Proc., vol. 129, part E, pp. 1520, 1982.
[13] Ph. W. Besslich, "Efficient computer method for EXOR logic design,"IEEE Proc., vol. 130, part E, pp. 203206, 1983.
[14] Y. Z. Zhang and P. J. W. Rayner, "Minimization of ReedMuller polynomials with fixed polarity,"IEE Proc., vol. 131, part E, pp. 177186, Sept. 1984.
[15] D. H. Green, "ReedMuller expansions of incompletely specified functions,"IEEE Proc., vol. 134, part E, pp. 228236, Sept. 1987.
[16] A. Mukhopadhyay and G. Schmitz, "Minimization of exclusive Or and logical equivalence switching circuits,"IEEE Trans. Comput., vol. C19, pp. 132140, Feb. 1970.
[17] J. P. Robinson and C. L. Yeh, "A method for modulo2 minimization,"IEEE Trans. Comput., vol. C31, pp. 800801, Aug. 1982.
[18] T. Sassao and P. Besslich, "On the complexity of Mod2 sum PLA's,"IEEE Trans. Comput., vol. C39, pp. 262266, Feb. 1990.
[19] S. M. Reddy, "Easily testable realizations for logic functions,"IEEE Trans. Comput., vol. C21, pp. 11831188, Nov. 1972.
[20] K. K. Saluja and S. M. Reddy, "Fault detecting test sets for ReedMuller canonic networks,"IEEE Trans. Comput., vol. C24, pp. 995998, Oct. 1975.
[21] D. K. Pradhan, "Universal test sets for multiple fault detection in ANDEXOR arrays,"IEEE Trans. Comput., vol. C27, pp. 181187, Feb. 1978.
[22] E. J. McCluskey,Logic Design Principles: with Emphasis on Testable SemiCustom Circuits. Englewood Cliffs, NJ: PrenticeHall, 1986, pp. 448450.
[23] A. Graham,Kronecker Products and Matrix Calculus: with Applications. Chichester: Ellis Horwood, 1981.
[24] I. Flores, "Reflected number systems,"IEEE Trans. Electron. Comput., vol. EC5, pp. 7982, June 1956.
[25] E. M. Reingold, J. Nievergelt, and N. Deo,Combinatorial Algorithms: Theory and Practice. Englewood Cliffs, NJ: PrenticeHall, 1977.
[26] P. K. Lui and J. C. Muzio, "A fast computer algorithm for the minimization of fixed polarity modulo2 ringsum expansions," inProc. 1988 Canadian Conf. Very Large Scale Integration, Oct. 1988.
[27] P. K. Lui and J. C. Muzio, "Simplified theory of Boolean functions,"Int. J. Electron., vol. 68, pp. 329341, Mar. 1990.
[28] P. K. Lui and J. C. Muzio, "On the structure of modulo2 ringsum canonical expansions for Boolean functions,"Int. J. Electron., vol. 72, pp. 2135, Jan. 1992.
[29] P. K. Lui and J. C. Muzio, "Boolean matrix transforms for the parity spectrum and the minimization of modulo2 canonical expansions,"IEE Proc., vol. 138, part E, pp. 411417, 1991.
[30] P. K. Lui and J. C. Muzio, "Constrained parity testing,"J. Electron. Testing, Theory&Appl., vol. 2, pp. 279291, 1991.