Skip to main content

2012 | OriginalPaper | Buchkapitel

7. Algebraic Minimisation

verfasst von : Shimon P. Vingron

Erschienen in: Logic Circuit Design

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Abstract

Minimising relatively small switching functions (of no more than, say, six input variables) can be done quite efficiently by K-map. Larger problems should be solved by computer. To be able to write computer programs for minimisation, we need to (a) develop an algorithm by which to find a full cover, and (b) a further algorithm by which to select a minimal cover from the full cover.

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!

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!

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!

Fußnoten
1
The essential covers having not yet been considered.
 
Literatur
Zurück zum Zitat Brzozowski, J.A., Yoeli, M.: Digital Networks. Prentice Hall, Englewood Cliffs (1976) Brzozowski, J.A., Yoeli, M.: Digital Networks. Prentice Hall, Englewood Cliffs (1976)
Zurück zum Zitat Brzozowski, J.A., Seger, C.-J.H.: Asynchronous Circuits. Springer, New York (1995)CrossRef Brzozowski, J.A., Seger, C.-J.H.: Asynchronous Circuits. Springer, New York (1995)CrossRef
Zurück zum Zitat Caldwell, S.H.: Switching Circuits and Logic Design. Wiley, New York (1958) Caldwell, S.H.: Switching Circuits and Logic Design. Wiley, New York (1958)
Zurück zum Zitat Clare, C.R.: Designing Logic Systems using State Machines. McGrew-Hill Book Company, New York (1973) Clare, C.R.: Designing Logic Systems using State Machines. McGrew-Hill Book Company, New York (1973)
Zurück zum Zitat Dietmeyer, D.L.: Logic Design of Digital Systems. Allyn and Bacon, Boston (1971)MATH Dietmeyer, D.L.: Logic Design of Digital Systems. Allyn and Bacon, Boston (1971)MATH
Zurück zum Zitat Eilenberg, S., Elgot, C.C.: Recursiveness. Academic Press, New York (1970)MATH Eilenberg, S., Elgot, C.C.: Recursiveness. Academic Press, New York (1970)MATH
Zurück zum Zitat Fasol, K.H., Vingron, P.: Synthese Industrieller Steuerungen. R. Oldenbourg Verlag, München (1975)MATH Fasol, K.H., Vingron, P.: Synthese Industrieller Steuerungen. R. Oldenbourg Verlag, München (1975)MATH
Zurück zum Zitat Harrison, M.A.: Introduction to Switching and Automata Theory. McGraw-Hill Book Company, New York (1965)MATH Harrison, M.A.: Introduction to Switching and Automata Theory. McGraw-Hill Book Company, New York (1965)MATH
Zurück zum Zitat Kohavi, Z.: Switching and Finite Automata Theory. McGraw-Hill Book Company, New York (1970)MATH Kohavi, Z.: Switching and Finite Automata Theory. McGraw-Hill Book Company, New York (1970)MATH
Zurück zum Zitat Krieger, M.: Basic Switching Circuit Theory. McGraw-Hill Book Company, New York (1969) Krieger, M.: Basic Switching Circuit Theory. McGraw-Hill Book Company, New York (1969)
Zurück zum Zitat McCluskey, E.J.: Logic Design Principles. Prentice Hall, London (1986) McCluskey, E.J.: Logic Design Principles. Prentice Hall, London (1986)
Zurück zum Zitat Mead, C., Conway, L.: Introduction to VLSI Systems. Addison-Wesley, Reading Massachusetts (1980) Mead, C., Conway, L.: Introduction to VLSI Systems. Addison-Wesley, Reading Massachusetts (1980)
Zurück zum Zitat Muroga, S.: Logic Design and Switching Theory. Wiley, New York (1979)MATH Muroga, S.: Logic Design and Switching Theory. Wiley, New York (1979)MATH
Zurück zum Zitat Pessen, D.W.: Ìndustrial Automation. Wiley, New York (1989) Pessen, D.W.: Ìndustrial Automation. Wiley, New York (1989)
Zurück zum Zitat Unger, S.H.: Asynchronous Sequential Switching Circuits. Wiley, New York (1969) Unger, S.H.: Asynchronous Sequential Switching Circuits. Wiley, New York (1969)
Zurück zum Zitat Vingron, S.P.: Switching Theory. Springer, Berlin (2004) Vingron, S.P.: Switching Theory. Springer, Berlin (2004)
Zurück zum Zitat Zander, H.-J.: Entwurf von Folgeschaltungen. VEB Verlag Technik, Berlin (1974) Selected Papers Zander, H.-J.: Entwurf von Folgeschaltungen. VEB Verlag Technik, Berlin (1974) Selected Papers
Zurück zum Zitat Ashenhurst, R.A.: The decomposition of switching functions. In: Proceedings of an International Symposium on the Theory of Switching, April 2–5, 1957. Annals of the Compotation Laboratory of Harvard University, vol. 29, pp. 74–116. Harvard University Press (1959) Ashenhurst, R.A.: The decomposition of switching functions. In: Proceedings of an International Symposium on the Theory of Switching, April 2–5, 1957. Annals of the Compotation Laboratory of Harvard University, vol. 29, pp. 74–116. Harvard University Press (1959)
Zurück zum Zitat Huffman, D.A.: The synthesis of sequential switching circuits. J. Frankl. Inst. 257:161–190 (1954) and 275–303 (1954) Huffman, D.A.: The synthesis of sequential switching circuits. J. Frankl. Inst. 257:161–190 (1954) and 275–303 (1954)
Zurück zum Zitat Huffman, D.A.: A study of memory requirements of sequential switching circuits. Massachusetts Institute of Technology, Research Laboratory of Electronics, Technical Report No. 293, April 1955 Huffman, D.A.: A study of memory requirements of sequential switching circuits. Massachusetts Institute of Technology, Research Laboratory of Electronics, Technical Report No. 293, April 1955
Zurück zum Zitat Huffman, D.A.: The design and use of Hazard-Free switching networks. J. Assoc. Comput. Mach. 4:47–62 (1957)MathSciNetCrossRef Huffman, D.A.: The design and use of Hazard-Free switching networks. J. Assoc. Comput. Mach. 4:47–62 (1957)MathSciNetCrossRef
Zurück zum Zitat Karnaugh, M.: The map method for synthesis of combinational logic circuits. Trans. AIEE, Part I, 72(9):593–599 (1953) Karnaugh, M.: The map method for synthesis of combinational logic circuits. Trans. AIEE, Part I, 72(9):593–599 (1953)
Zurück zum Zitat McCluskey, E.J.: Minimisation of boolean functions. Bell Syst. Tech. J. 35(6):1417–1445 (1956)MathSciNet McCluskey, E.J.: Minimisation of boolean functions. Bell Syst. Tech. J. 35(6):1417–1445 (1956)MathSciNet
Zurück zum Zitat Mealy, G.H.: A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34(5):1045–1079 (1955)MathSciNet Mealy, G.H.: A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34(5):1045–1079 (1955)MathSciNet
Zurück zum Zitat Medvedev, I.T.: On a class of events representable in a finite automaton, pp. 385–401. Avtomaty, Moscow (1956). English translation in MIT Lincoln Laboratory Group Report, pp. 34–73, June 1958 Medvedev, I.T.: On a class of events representable in a finite automaton, pp. 385–401. Avtomaty, Moscow (1956). English translation in MIT Lincoln Laboratory Group Report, pp. 34–73, June 1958
Zurück zum Zitat Moore, E.F.: Gedankenexperiments on sequential machines. In: Shannon, C.E., McCarthy, J., Ashby, W.R. (eds.) Automata Studies. Princeton University Press, Princeton (1956) Moore, E.F.: Gedankenexperiments on sequential machines. In: Shannon, C.E., McCarthy, J., Ashby, W.R. (eds.) Automata Studies. Princeton University Press, Princeton (1956)
Zurück zum Zitat Shannon, C.E.: A symbolic analysis of relays and switching circuits. Trans. AIEE 57:713–723 (1938) Shannon, C.E.: A symbolic analysis of relays and switching circuits. Trans. AIEE 57:713–723 (1938)
Zurück zum Zitat Tracey, J.H.: Internal state assignment for asynchronous sequential circuits. IEEE Trans. Electron. Comput. EC-15:551–560 (1966) Tracey, J.H.: Internal state assignment for asynchronous sequential circuits. IEEE Trans. Electron. Comput. EC-15:551–560 (1966)
Zurück zum Zitat Unger, S.H.: Hazards and delays in asynchronous sequential circuits. IRE Trans. Circuit Theory CT-6:12–25 (1959) Unger, S.H.: Hazards and delays in asynchronous sequential circuits. IRE Trans. Circuit Theory CT-6:12–25 (1959)
Zurück zum Zitat Veitch, E.W.: A chart method for simplifying truth functions. Proceedings of Pittsburgh Association for Computing Machinery, University of Pittsburgh, May 1952 Veitch, E.W.: A chart method for simplifying truth functions. Proceedings of Pittsburgh Association for Computing Machinery, University of Pittsburgh, May 1952
Zurück zum Zitat Vingron, P.: Coherent design of sequential circuits. IEE Proc. 130E:190–201 (1983) Vingron, P.: Coherent design of sequential circuits. IEE Proc. 130E:190–201 (1983)
Zurück zum Zitat Zhegalkin, I.I.: The French title of the Russian original is Gégalkin I. I.: ‘Sur le calcul des propositions dans la logique symbolique’. Mat. Sbornik 34:9–28 (1927) Zhegalkin, I.I.: The French title of the Russian original is Gégalkin I. I.: ‘Sur le calcul des propositions dans la logique symbolique’. Mat. Sbornik 34:9–28 (1927)
Metadaten
Titel
Algebraic Minimisation
verfasst von
Shimon P. Vingron
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-27657-6_7

Neuer Inhalt