Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

9. An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions

verfasst von : D. Michael Miller, Mathias Soeken

Erschienen in: Advanced Boolean Techniques

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The spectral representation and classification of Boolean functions have been previously studied and found to be useful in logic design and testing. Spectral techniques also have potential application for reversible and quantum circuits. This paper considers the partitioning of Boolean functions into linear, affine and spectral equivalence classes. A single efficient recursive classification algorithm is presented. It can be used to determine all equivalence classes for small n, and to determine if two functions fall in the same equivalence class for larger n. For two functions in the same equivalence class, the algorithm identifies a sequence of translations to map one to the other.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Exact Synthesis of ESOP Forms
Nächstes Kapitel New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
Fußnoten
Literatur
1.
Boyar, J., Matthews, P., Peralta, R.: Logic minimization techniques with applications to cryptology. J. Cryptol. 26(2), 280–312 (2013)MathSciNetCrossRef
2.
Boyar, J., Peralta, R.: A new combinational logic minimization technique with applications to cryptology. In: International Symposium on Experimental Algorithms, pp. 178–189 (2010)CrossRef
3.
Edwards, C.R.: The application of the Rademacher-Walsh transform to Boolean function classification and threshold logic synthesis. IEEE Trans. Comput. 24(1), 48–62 (1975)MathSciNetCrossRef
4.
Fuller, J.E.: Analysis of affine equivalent Boolean functions for cryptography. Ph.D. Thesis, Queensland University of Technology (2003)
5.
Harrison, M.A.: Introduction to Switching and Automata Theory. McGraw Hill, New York (1963)
6.
Harrison, M.A.: On the classification of Boolean functions by the general linear and affine group. SIAM J. 12, 284–299 (1964)MathSciNet
7.
Hurst, S.L.: The Logical Processing of Digital Signals. Arnold, London (1978)MATH
8.
Hurst, S.L., Miller, D.M., Muzio, J.C.: Spectral Techniques in Digital Logic. Academic, London (1985)CrossRef
9.
Karpovsky, M.G.: Finite Orthogonal Series in the Design of Digital Devices. Wiley, New York (1976)MATH
10.
Lechner, R.J.: Harmonic analysis of switching functions. In: Mukhopadhyay, A. (ed.) Recent Developments in Switching Theory. Academic, London (1971)
11.
Lv, J., Kalla, P., Enescu, F.: Verification of composite Galois field multipliers over GF((2m)n) using computer algebra techniques. In: International High Level Design Validation and Test Workshop, pp. 136–143 (2011)
12.
Maiorana, J.A.: A classification of the cosets of the Reed-Muller code r(1,  6). Math. Comput. 57(195), 403–414 (1991)MathSciNetMATH
13.
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATH
14.
Rademacher, H.: Einige sitze uber reihen von allgemeinen orthogonal-funktionen. Math. Ann. 87, 112–138 (1922)MathSciNetCrossRef
15.
Sasao, T., Matsuura, K., Iguchi, Y.: A method to identify affine equivalence classes of logic functions. In: Proc. SASIMI, pp. 266–271 (2018)
16.
Soeken, M., Abdessaied, N., De Micheli, G.: Enumeration of reversible functions and its application to circuit complexity. In: International Conference on Reversible Computation. pp. 255–270 (2016)CrossRef
17.
Soeken, M., Mishchenko, A., Petkovska, A., Sterin, B., Ienne, P., Brayton, R.K., De Micheli, G.: Heuristic NPN classification for large functions using AIGs and LEXSAT. In: Creignou, N., Berre, D.L. (eds.) Theory and Applications of Satisfiability Testing - SAT 2016. Lecture Notes in Computer Science, vol. 9710. Springer, Berlin (2016)MATH
18.
Soeken, M., Roetteler, M., Wiebe, N., De Micheli, G.: Logic synthesis for quantum computing (2017). arXiv1706.02721
19.
Thornton, M.A., Drechsler, R., Miller, D.M.: Spectral Techniques in VLSI CAD. Kluwer Academic Publishers, Boston (2001)CrossRef
20.
Metadaten
Titel
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions
verfasst von
D. Michael Miller
Mathias Soeken
Copyright-Jahr
2020
Buch
Advanced Boolean Techniques

Print ISBN: 978-3-030-20322-1

Electronic ISBN: 978-3-030-20323-8

Copyright-Jahr: 2020

DOI
https://doi.org/10.1007/978-3-030-20323-8_9

Neuer Inhalt

    Bildnachweise