Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization

Auto symmetric functions are a class of Boolean functions whose regular structure can be exploited by synthesis algorithms in order to reduce the minimization time and to derive more compact algebraic forms. In this paper we propose a generalization of this class of functions to the multiple-valued logic framework. We also study the spectral properties of auto symmetric functions and provide a complete spectral characterization for both the Boolean and the multiple-valued setting.

[1]  Stanley L. Hurst,et al.  Spectral techniques in digital logic , 1985 .

[2]  Jon T. Butler,et al.  Multiple-valued logic , 1995 .

[3]  Fabrizio Luccio,et al.  Exploiting Regularities for Boolean Function Synthesis , 2004, Theory of Computing Systems.

[4]  Valentina Ciriani.  Synthesis of SPP three-level logic networks using affine spaces , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  Tsutomu Sasao.  On the Optimal Design of Multiple-Valued PLA's , 1989, IEEE Trans. Computers.

[6]  Jaakko Astola,et al.  Spectral Logic and Its Applications for the Design of Digital Devices , 2008 .

[7]  S. Yang,et al.  Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 , 1991 .

[8]  Jon T. Butler,et al.  Multiple-valued logic in VLSI design , 1991 .

[9]  R. Liebler.  Basic Matrix Algebra with Algorithms and Applications , 2002 .

[10]  M. Karpovsky.  Finite Orthogonal Series in Design of Digital Devices , 2006 .

[11]  Fabrizio Luccio,et al.  On a New Boolean Function with Applications , 1999, IEEE Trans. Computers.

[12]  Valentina Ciriani,et al.  DRedSOP: Synthesis of a New Class of Regular Functions , 2006, 9th EUROMICRO Conference on Digital System Design (DSD'06).

[13]  D. Michael Miller,et al.  Multiple Valued Logic: Concepts and Representations , 2008, Multiple Valued Logic.

[14]  Fabrizio Luccio,et al.  Three-level logic minimization based on function regularities , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  羽生 貴弘.  Multiple-valued logic-in-memory VLSI based on ferroelectric capacitor storage and charge addition , 2002 .