Abstract—A variety of mathematical transforms have traditionally been used in various logic synthesis applications. This paper investigates the use of the autocorrelation transform:
Properties of the coefficient resulting from the application of this transform to switching functions are examined and detailed, including properties to identify symmetries and decompositions. The potential uses in logic synthesis of these properties and other observations based on the autocorrelation coefficients are explored, with emphasis on proofs as mathematical justification of the theorems relating the observed properties of the coefficients to properties of the underlying switching functions.
Index Terms—high level synthesis, logic synthesis, transforms, Boolean logic, digital logic, function representations.
Dr. Rice is with the Dept. of Mathematics and Computer Science at the University of Lethbridge, Lethbridge, AB, Canada (phone: 403-329-2783; fax: 403-317-2882; email: email@example.com).
Dr. Muzio is with the Dept. of Computer Science at the University of Victoria, Victoria, BC, Canada (email: firstname.lastname@example.org).
Contributions by Mr. Anderson and Ms. Jansen were made while they were undergraduate research assistants to Dr. Rice at the University of Lethbridge.
Cite: J. E. Rice, J. C. Muzio, N. A. Anderson and R. Jansen, "Properties of Autocorrelation Coefficients for Single-Output Switching Functions," International Journal of Computer Theory and Engineering vol. 1, no. 5, pp. 546-555, 2009.