General Information
    • ISSN: 1793-8201 (Print), 2972-4511 (Online)
    • Abbreviated Title: Int. J. Comput. Theory Eng.
    • Frequency: Quarterly
    • DOI: 10.7763/IJCTE
    • Editor-in-Chief: Prof. Mehmet Sahinoglu
    • Associate Editor-in-Chief: Assoc. Prof. Alberto Arteta
    • Executive Editor: Ms. Mia Hu
    • Abstracting/Indexing: Scopus (Since 2022), INSPEC (IET), CNKI,  Google Scholar, EBSCO, etc.
    • E-mail:
    • Journal Metrics:

Prof. Mehmet Sahinoglu
Computer Science Department, Troy University, USA
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.

IJCTE 2009 Vol.1(5): 546-555 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2009.V1.88

Properties of Autocorrelation Coefficients for Single-Output Switching Functions

J. E. Rice, J. C. Muzio, N. A. Anderson, and R. Jansen

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:
Dr. Muzio is with the Dept. of Computer Science at the University of Victoria, Victoria, BC, Canada (email:
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.

Copyright © 2008-2023. International Association of Computer Science and Information Technology. All rights reserved.