• Jun 14, 2017 News!Vol.8, No.5 has been indexed by EI (Inspec).   [Click]
  • Nov 09, 2017 News!Vol.9, No.5 has been published with online version. 16 peer reviewed articles from 11 specific areas are published in this issue.   [Click]
  • Jul 19, 2017 News!Vol.9, No.4 has been published with online version. 16 peer reviewed articles from 16 specific areas are published in this issue.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
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: j.rice@uleth.ca).
Dr. Muzio is with the Dept. of Computer Science at the University of Victoria, Victoria, BC, Canada (email: jmuzio@cs.uvic.ca).
Contributions by Mr. Anderson and Ms. Jansen were made while they were undergraduate research assistants to Dr. Rice at the University of Lethbridge.

[PDF]

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-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com