Abstract
Consideration was given to the linearization of logical functions defined by a set of pairwise orthogonal terms. The linearization is carried out by computing the autocorrelation functions. Proposed was a method consisting of (i) calculation of the autocorrelation function in the space of orthogonal terms, (ii) generation of the corresponding matrix of linear transformation, and (iii) the linear transformation proper of the variables in the space of orthogonal terms. Complexity of the proposed method and its effectiveness were estimated. Effectiveness was verified by a series of experiments with standard benchmarks. The distinctions of the proposed method from other existing methods of linearization were examined.
Similar content being viewed by others
References
Karpovskii, M.G. and Moskalev, E.S., Spektral’nye metody analiza i sinteza diskretnykh ustroistv (Spectral Methods of Analysis and Design of Discrete Devices), Leningrad: Energiya, 1973.
Karpovsky, M., Stankovic, R., and Astola, J., Spectral Logic and Its Applications for the Design of Digital Devices, New York: Wiley, 2009.
Nechiporuk, E.I., On the Synthesis of Networks Using Linear Transformations of Variables, Dokl. Akad. Nauk SSSR, 1958, vol. 123, no. 4, pp. 610–612.
Trachtenberg, E.A., Applications of Fourier Analysis on Groups in Engineering Practices, in Recent Developments in Abstract Harmonic Analysis with Applications in Signal Processing, Stankovic, R.S., Stojic, M.R., and Stankovic, M.S., Eds., Belgrade: Nauka; Niš: Elektronski fakultet, 1996, pp. 331–403.
Varma, D. and Trachtenberg, E.A., Design Automation Tools for Efficient Implementation of Logic Functions by Decomposition, IEEE Trans. Comput. Aided Design Integr. Circuits Syst., 1989, vol. 8, no. 8, pp. 901–916.
Karpovsky, M.G., Stankovic, R.S., and Astola, J.T., Reduction of Sizes of Decision Diagrams by Autocorrelation Functions, IEEE Trans. Comput., 2003, vol. 52, no. 5, pp. 592–606.
Meinel, C., Somenzi, F., and Theobald, T., Linear Sifting of Decision Diagrams and Its Application in Synthesis, IEEE Trans. Comput. Aided Design Integr. Circuits Syst., 2000, vol. 19, no. 5, pp. 521–533.
Stankovic, R.S. and Astola, J.T., Spectral Interpretation of Decision Diagrams, New York: Springer, 2003.
Gunther, W. and Drechsler, R., Efficient Manipulation Algorithms for Linearly Transformed BDDs, in Proc. IEEE/ACM Int. Conf. Computer-Aided Design (ICCAD), 1999, pp. 50–54.
Karpovsky, M.G., Finite Orthogonal Series in the Design of Digital Devices, New York: Wiley, 1976.
Miller, J.F., Luchian, H., Bradbeer, P.V.G., et al., Using a Genetic Algorithm for Optimizing Fixed Polarity Reed-Muller Expansions of Boolean Functions, Int. J. Electron., 1994, vol. 4, no. 76, pp. 601–609.
Shannon, C.E., The Synthesis of Two-Terminal Switching Circuits, Bell Syst. Technic. J., 1949, vol. 28, pp. 59–98.
Pichler, F., Walsh Functions and Linear System Theory, in Proc. Appl. Walsh Functions, 1970, pp. 175–182.
Stankovic, R.S. and Karpovsky, M.G., Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams, in Proc. EUROCAST 2005, Lecture Notes Comput. Sci., Berlin: Springer, 2005, vol. 3643, pp. 301–310.
Falkowski, B.J. and Kannurao, S., Calculation of Sign Walsh Spectra of Boolean Functions from Disjoint Cubes, in Proc. IEEE Int. Symp. Circuits Syst., 2001, vol. 5, pp. 61–64.
Falkowski, B.J., Schafer, I., and Perkowski, M.A., Calculation of the Rademacher-Walsh Spectrum from a Reduced Representation of Boolean Functions, in Proc. Conf. Eur. Design Automat., 1992, pp. 181–186.
Almaini, A.E.A., Thomson, P., and Hanson, D., Tabular Techniques for Reed-Muller Logic, Int. J. Electron., 1991, vol. 70, no. 1, pp. 23–34.
Tan, E.C. and Yang, H., Fast Tabular Technique for Fixed-polarity Reed-Muller Logic with Inherent Parallel Processes, Int. J. Electron., 1998, vol. 85, no. 4, pp. 511–520.
Tomczuk, R., Autocorrelation and Decomposition Methods in Combinational Logic Design, PhD Dissertation, Univ. of Victoria, 1996.
Jain, J., Moundanos, D., Bitner, J., et al., Efficient Variable Ordering and Partial Representation Algorithm, in Proc. 8th Int. Conf. on VLSI Design, 1995, pp. 81–86.
Kolpakov, A. and Latypov, R.Kh., Approximate Algorithms for Minimization of Binary Decision Diagrams on the Basis of Linear Transformations of Variables, Autom. Remote Control, 2004, no. 6, pp. 938–954.
Keren, O. and Levin, I., Linearization of Multi-Output Logic Functions by Ordering of the Autocorrelation Values, Facta Univ., Ser. Elec. Energ., 2007, vol. 20, no. 3, pp. 479–498.
Rice, J.E. and Jansen, R., Symmetrical, Dual and Linear Functions and Their Autocorrelation Coefficients, in Proc. Int. Workshop Logic Synthesis, 2005, pp. 30–35.
Author information
Authors and Affiliations
Additional information
Original Russian Text © O. Keren, I. Levin, R. Stankovič, 2011, published in Avtomatika i Telemekhanika, 2011, No. 3, pp. 161–172.
Rights and permissions
About this article
Cite this article
Keren, O., Levin, I. & Stankovič, R. Linearization of logical functions defined by a set of orthogonal terms. I. Theoretical aspects. Autom Remote Control 72, 615–625 (2011). https://doi.org/10.1134/S0005117911030118
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117911030118