Skip to main content
SpringerLink
Log in

Automation of logical synthesis of discrete devices

  • Published:
Cybernetics Aims and scope

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. V. M. Glushkov, V. Kapitonova, and A. A. Letichevskii, “On automation of design of computers,” Kibernetika, No. 5 (1967).

  2. V. G. Lazarev and E. I. Piil' “Design principles for automated systems for the design of controlling devices for switching nodes,” in: Design of Controlling Devices and Systems [in Russian], Nauka, Moscow (1974).

    Google Scholar 

  3. M. A. Brauer, “Recent achievements in the area of automating design and analysis of digital systems,” in: Automation and Design [Russian translation], Mir, Moscow (1972).

    Google Scholar 

  4. Use of Computers for Designing, Digital Devices [in Russian], Sovet-skoe Radio, Moscow (1968).

  5. M. E. Shtein and B. E. Shtein, Methods of Computer Design of Digital Apparatus [in Russian], Sovet-skoe Radio, Moscow (1973).

    Google Scholar 

  6. A. N. Melikhov, L. S. Bershtein, and V. M. Kureichik, Use of Graphs for Designing Discrete Devices [in Russian], Nauka, Moscow (1974).

    Google Scholar 

  7. I. Ya. Landau, Use of Computers for Designing Computers [in Russian], Énergiya, Moscow (1974).

    Google Scholar 

  8. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Software of the automated system for compter design and the PROJECT system,” Kibernetika, No. 4 (1970).

  9. V. M. Glushkov, N. M. Grishchenko, Yu. V. Kapitonova, and A. A. Letichevskii, “Design automation in the PROJECT system,” Kibernetika, No. 4 (1970).

  10. M. A. Gavrilov and V. V. Devyatkov, “DASP — an interactive automated design system for logic of discrete control devices for general industrial use,” in: Discrete Systems [in Russian], Vol. 3, zinatne, Riga (1974).

    Google Scholar 

  11. E. I. Pupyrev, “Organization of systems for designing combinational discrete control devices,” in: Discrete Systems [in Russian], Vol. 3, zinatne, Riga (1974).

    Google Scholar 

  12. V. F. Dyachenko, V. G. Lazarev, E. I. Piil', A. G. Savel'ev, and L. K. Yan'shina, “Bases of the design of an automated system for the design of microprogrammed automata (ASPUMA),” in: Discrete Systems [in Russian], Vol. 3, Zinatne, Riga (1974).

    Google Scholar 

  13. F. F. At-stopas, B. B. Belyauskas, R. R. Khomskis, G. B. Zhintelis, E. K. Karchyauskas, D. M. Linite, A. M. Nemeikshis, K. I. Plukas, V. I. Seklyutskis, B. A. Tutkute, R. I. Valatkaite, D. K. Lukshene, I. I. Valantinas, S. P. Matsyulyavichus, A. P. Otas, A. A. Valis, and S. L. Bartushauskas, “Programming system for the automated structure of computer design,” in: Computer Technology [in Russian], Vol. 3, Kaunas (1972).

  14. F. F. At-stopas, B. B. Belyauskas, G. B. Zhintelis, E. K. Karchyauskas, R. K. Markauskas, A. M. Nemeikshis, R. R. Khomskis, V. I. Seklyutskis, S. A. Sudeikite, and A. P. Mitskus, “System of programs for the logical synthesis of computers and its practical use,” in: Computer Technology [in Russian], Vol. 3, Kaunas (1972).

  15. E. A. Butakov, A. K. Vasil'chenko, and V. F. Zhuk, “System of algorithms and programs automating the process of designing reading automata,” in: Discrete Systems [in Russian], Vol. 3, Zinatne, Riga (1974).

    Google Scholar 

  16. Yu. I. Kuzyakin and V. P. Chistov, “Automation of design of asynchronous devices for processing discrete information,” in: Design Automation of Digital Control Devices [in Russian], Izd. Chelyabinsk. Politekh. Inst. (1973).

  17. “Annotated list of programs for the computer systhesis of discrete devices developed in the Institute of Mathematics, Siberian Branch, Academy of Sciences of the USSR,” in: Informational Material [in Russian], No. 7 (54), Izd. Akad. Nauk SSSR, Moscow (1971).

  18. A. D. Zakrevskii, “Formalization of the synthesis of electronic digital computers,” in: Transcactions of the Siberian Physicotechnical Institute [in Russian], Vol. 40, Tomsk (1961).

  19. A. D. Zakrevskii, “Synthesis of sequential automata and its programming,” in: Use of Computer Technology for Automating Production [in Russian], Mashgiz, Moscow (1961).

    Google Scholar 

  20. E. A. Butakov and A. D. Zakrevskii, “Minimization of the number of states of a relay circuit on the general-purpose URAL computer,” Probl. Peredachi Inform., No. 2 (1962).

  21. Yu. N. Pecherskii and A. A. Utkin, “Programmed analysis of relay circuits,” Uch. Zap. Tomsk. Univ., No. 41 (1962).

  22. V. V. Kiryukhin, “Method of minimization of Boolean functions and its programming for the generalpurpose URAL computer,” Probl. Peredachi Inform., No. 2 (1962).

  23. V. I. Ostrovskii, “Programmed synthesis of diode logical circuits,” in: Transactions of the Siberian Polytechnical Institute [in Russian], Vol. 42, Tomsk (1963).

  24. V. G. Novoselov, “Optimal coding of states of sequential automata using a general-purpose digital computer,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 42, Tomsk (1964).

  25. A. D. Zakrevskii, “LYaPAS, a logical language for the presentation of synthesis algorithms,” in: Automata Theory [in Russian], Kiev (1964).

  26. A. D. Zakrevskii, “Automation of synthesis of discrete automata on the basis of algorithmic language LYaPAS,” in: Computer Systems [in Russian], Vol. 18, Novosibirsk (1965).

  27. Logical Language for the Presentation of Algorithms for the Synthesis of Relay Devices [in Russian], Nauka, Moscow (1966).

  28. A. D. Zakrevskii, Algorithmic Language LYaPAS and Automated Synthesis of Discrete Automata [in Russian], Izd. Tomsk. Gos. Univ. (1966).

  29. A. D. Zakrevskii, Algorithms for the Synthesis of Discrete Automata [in Russian], Nauka, Moscow (1971).

    Google Scholar 

  30. A. D. Zakrevskii, Yu. V. Pottosin, V. F. Rotko, N. R. Toropov, and A. E. Yankovskaya, “System of automatic synthesis of discrete automata,” in: Informational Materials [in Russian], No. 7 (54)., Izd. Akad. Nauk SSSR, Moscow (1971).

    Google Scholar 

  31. A. D. Zakrevskii, Automatization, of the Logical Synthesis of Discrete Automata, Preprint of the IFAC Fifth World Congress, Part 4, Paris (1972).

  32. A. D. Zakrevskii, A. N. Anishchenko, L. I. Balaklei, N. A. Eliseeva, A. M. Oranov, L. D. Pikhtova, Yu. V. Pottosin, A. E. Yankovskaya, and N. R. Toropov, “System for the automatic synthesis of discrete automata —AVTOMAT-3,” in: Discrete Systems [in Russian], Vol. 3, Zinatne, Riga (1974).

    Google Scholar 

  33. A. D. Zakrevskii, “Programming system LYaPAS-71,” in: Computing Technology in Machine Construction [in Russian], Izd. Inst. Tekh. Kibernetika Akad. Nauk BelorusSSR, Minsk (1972).

    Google Scholar 

  34. N. A. Belousova, L. P. Zhirova, A. D. Zakrevskii, V. I. Kashirov, A. A. Levashnikov, and M. Ya. Tovshtein, “Programming system LYaPAS-71,” in: System Programming [in Russian], Izd. Vychisl. Tsentr. Sibirsk. Otd. Akad. Nauk SSSR, Novosibirsk (1973), Part 2.

    Google Scholar 

  35. V. M. Glushkov, “Automata theory and formal transformations of microprograms,” Kibernetika, No. 3 (1965).

  36. V. M. Glushkov, “On the question of minimization of microprograms and algorithm schemes,” Kibernetika, No. 5 (1966).

  37. A. T. Mishchenko, “Transformations of microprograms,” Kibernetika, No. 6 (1967).

  38. A. T. Mishchenko, “On specifying automata by microprograms,” Kibernetika, No. 3 (1970).

  39. Handbook on Semiconductor Diodes, Transistors, and Integral Circuits [in Russian], Énergiya, Moscow (1972).

  40. V. M. Glushkov, Synthesis of Digital Automata [in Russian], GIFML, Moscow (1962).

    Google Scholar 

  41. M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal', Logic, Automata, Algorithms [in Russian], Fizmatgiz, Moscow (1963).

    Google Scholar 

  42. E. N. Vavilov and G. P. Portnoi, Synthesis of Circuits for Electronic Digital Machines [in Russian], Sovet-skoe Radio, Moscow (1963).

    Google Scholar 

  43. V. G. Lazarev and E. I. Piil', Synthesis of Asynchronous Finite Automata [in Russian], Nauka, Moscow (1964).

    Google Scholar 

  44. D. A. Pospelov, Logical Methods for the Analysis and Synthesis of Circuits [in Russian], Énergiya, Moscow-Leningrad (1964).

    Google Scholar 

  45. É. A. Yakubaitis, Asynchronous Logical Automata [in Russian], Zinatne, Riga (1966).

    Google Scholar 

  46. D. A. Huffman, “The synthesis of sequential switching circuits,” J. Franklin Inst., Nos. 3,4 (1954).

    Google Scholar 

  47. S. H. Caldwell, Logical Synthesis of Relay Devices [Russian translation], IL, Moscow (1962).

    Google Scholar 

  48. Yu. V. Pottosin, “Methods for minimizing the number of states of a discrete automaton (a survey),” Avtomat. Telemekh.,32, No. 8 (1971).

    Google Scholar 

  49. E. F. Moore, “Gedanken-experiments on sequential machines,” in: Automata Studies (edited by C. E. Shannon and J. McCarthy), Princeton University Press, Princeton (1956).

    Google Scholar 

  50. D. H. Mealy, “A method for synthesis of sequential circuits,” Bell Syst. Tech. J., No. 5 (1955).

  51. D. D. Aufenkampf, “Analysis of sequential machines,” Matematika [Periodic collection of translations of foreign articles],3:3,3:6, (1959).

    Google Scholar 

  52. M. C. Paull and S. H. Unger, “Minimizing the number of incompletely specified sequential switching functions,” IRE Trans., No. 3 (1959).

  53. A. D. Zakrevskii, “On the synthesis of sequenced automata,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Tomsk (1961).

  54. Yu. V. Pottosin, “Comparative estimate of two algorithms for minimization of the number of states of discrete automata,” Avtomat. Vychisl. Tekh., No. 4 (1967).

  55. Yu. V. Pottosin, “Statistical estimate of effectiveness of certain algorithms for minimization of the number of states of a discrete automaton,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 62, Tomsk (1971).

  56. Yu. V. Pottosin, “Statistical property of compatibility of states of a discrete automaton,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 62, Tomsk (1971).

  57. V. S. Grigor'ev, A. D. Zakrevskii, and V. A. Perchuk, “Sequential models of a discrete automaton,” in: Computer Technology in Machine Construction [in Russian], Izd. Inst. Tekh. Kibernetiki Akad. Nauk BelorusSSR, Minsk (1972).

    Google Scholar 

  58. V. S. Grigor'ev, “Synthesis of sequential automata,” in: Computational Technology [in Russian], Vol. 3, Kaunas (1972).

  59. O. P. Kuznetsov, A. Ya. Makarevskii, A. V. Markovskii, V. Sh. Okudzhava, and L. B. Shipilina, “YaRUS—a language for describing the operation of complex automata,” Avtomat. Telemekh.,33, Nos. 6, 7 (1972).

  60. O. P. Kuznetsov and L. B. Shipilina, “Methods of synthesizing automata, described in the YaRUS language,” in: Discrete Systems [in Russian], Vol. 1, Zinatne, Riga (1974).

    Google Scholar 

  61. Yu. L. Tomfel'd, “Elimination of races by transformation of the transitions graph,” in: Abstract and Structural Theory of Relay Devices [in Russian], Nauka, Moscow (1966).

    Google Scholar 

  62. A. D. Zakrevskii, “Algorithms for transforming transitions tables, eliminating conditions for races,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 41, Tomsk (1967).

  63. A. G. Lebedev and A. I. Potekhin, “Algorithm for coding internal states of a relay device,” in: Abstract and Structural Theory of Relay Devices [in Russian], Nauka, Moscow (1972).

    Google Scholar 

  64. A. D. Zakrevskii, Yu. M. Komsorv, and A. E. Yankovskaya, “Contiguous coding of states of an asynchronous automaton,” in: Discrete Systems [in Russian], Vol. 1, Zinatne, Riga (1974).

    Google Scholar 

  65. L. V. Matsevityi and E. L. Denisenko, “On coding internal states of certain multicycle devices,” Kibernetika, No. 1 (1968).

  66. J. H. Tracey, “Internal state assignment for asynchronous sequential machines,” IEEE Trans.,EC-15, No. 4 (1966).

    Google Scholar 

  67. É. A. Vartapetov, “Coding abstract automata by normal codes,” Kibernetika, No. 6 (1968); No. 4 (1969).

  68. A. D. Zakrevskii and A. E. Yankovskaya, “Practical algorithms for coding the internal states of asynchronous automata,” Avtomat. Vychisl. Tekh., No. 3 (1969).

  69. E. I. Piil', “Coding the states of a microprogram automaton,” in: Discrete Automata and Communications Networks [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  70. O. L. Bandman, “State-assignment of sequential machines for LSI implementation,” in: Discrete Systems [in Russian], Vol. 1, Zinatne, Riga (1974).

    Google Scholar 

  71. L. V. Matsevitnyi and N. S. Chaika, “Coding the states of a multicycle device with account taken of certain logical properties of the elements used,” Kibernetika, No. 4 (1966).

  72. E. L. Denisenko, “On certain constraints imposed on the coding of internal states of multicycle control devices,” Kibernetika, No. 5 (1969).

  73. A. D. Zakrevskii and A. E. Yankovskaya, “Noise-stable coding of the internal states of an asynchronous automaton,” in: Informational Materials [in Russian], No. 3 (50), Izd. Akad. Nauk SSSR, Moscow (1971).

    Google Scholar 

  74. A. N. Chebotarev, “Synthesis of automata by collections of microprograms,” Kibernetika, No. 3 (1968).

  75. A. T. Mishchenko, “Formal synthesis of automata by microprograms,” Kibernetika, Nos. 4, 5 (1968).

    Google Scholar 

  76. A. D. Zakrevskii, “Computing in Boolean spaces,” in: Logical Structures of Scientific Thought [in Russian], Nauka, Moscow (1965).

    Google Scholar 

  77. A. D. Zakrevskii, “On the synthesis of logical multiterminals,” Izv. Vychisl. Uchebn. Zaved., Radiofiz., No. 2 (1959).

  78. T. C. Bartree, “Computer design of multiple-output logical networks,” IRE Trans.,EC-10, No. 1 (1961).

    Google Scholar 

  79. R. B. Polansky, “Minimization of multiple-output switching circuits,” Communic. Electron., No. 53 (1961).

  80. A. D. Zakrevskii, “Algorithms for minimizing weakly defined Boolean functions,” Kibernetika, No. 2 (1965).

  81. A. D. Zakrevskii, “New algorithms for minimizing weakly defined Boolean functions,” Kibernetika, No. 5 (1969).

  82. N. R. Toropov, “Approximate method for minimization of a system of weakly defined Boolean functions,” Izv. Akad. Nauk SSSR, Tekh. Kibernetika, No. 1 (1969).

  83. N. R. Toropov, “Minimization of systems of Boolean functions in the class of disjunctive normal forms with account taken of load capacities of the elements,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 62, Tomsk (1971).

  84. A. D. Zakrevskii, “On the problem of simplification of reduced disjunctive normal forms of Boolean functions,” in: Papers of the Third Siberian Conference on Mathematics and Mechanics [in Russian], Izd. Tomsk. Gos. Univ. (1964).

  85. A. D. Zakrevskii, “On the minimization of disjunctive normal forms of Boolean functions,” Izv. Akad. Nauk SSSR, Tekh. Kibernetika, No. 4 (1970).

  86. S. V. Bykova, “On the question of finding prime implicants of a Boolean function,” in: Transactions of the Siberian Physicotechnical Institute [in Russian], Vol. 62, Tomsk (1971).

  87. A. D. Zakrevskii, “Optimization of covering sets,” in: Logical Language for the Presentation of Algorithms for the Synthesis of Relay Devices [in Russian], Nauka, Moscow (1966).

    Google Scholar 

  88. A. D. Zakrevskii and V. I. Ostrovskii, “Optimizing the search for a shortest covering,” in: Problems in the Synthesis of Digital Automata [in Russian], Nauka, Moscow (1967).

    Google Scholar 

  89. S. V. Bykova, “On the shortest covering of Boolean matrices of large dimensionality,” in: Computer Technology [in Russian], Kaunas (1971).

  90. A. D. Zakrevskii, “Checking identities in the algebra of logic,” in: Logical Language for the Presentation of Algorithms for the Synthesis of Relay Devices [in Russian], Nauka, Moscow (1966).

    Google Scholar 

  91. W. V. Quine, “The problem of simplifying of truth functions,” Am. Math. Month., No. 8 (1952).

  92. D. L. Dietmeyer and P. R. Schneider, “A computer-oriented factoring algorithm for NOR logic design,” IEEE Trans.,EC-14, No. 2 (1965).

    Google Scholar 

  93. D. L. Dietmeyer and Y. H. Su, “Logic design automation of fan-in limited NAND networks,” IEEE Trans.,C-18, No. 1 (1969).

    Google Scholar 

  94. Y. H. Su and C. W. Nam, “Computer-aided synthesis of multiple-output multilevel NAND networks with fan-in and fan-out constraints,” IEEE Trans.,C-20, No. 12 (1971).

    Google Scholar 

  95. R. K. Markauskas, “On the synthesis of circuits of NAND and NOR elements,” in: Computer Technology [in Russian], Vol. 3, Kaunas (1972).

  96. L. D. Pikhtova, “On the factorization method of synthesizing combinational circuits,” in: Computer Technology in Machine Construction [in Russian], Izd. Inst. Tekh. Kibernetiki Akad. Nauk BelorusSSR, Minsk (1973).

    Google Scholar 

  97. L. D. Pikhtova, “Realization of systems of Boolean functions on the basis of elements of the Sheffer stroke function,” in: Computer Technology [in Russian], Kaunas (1974).

  98. B. S. Gutkovich, “Factorization method for synthesis of combinational circuits in functionally redundant systems of logical elements,” in: Questions of Synthesis of Computer Logic [in Russian], Vol. 1, Vil'nyus (1974).

  99. N. R. Toropov, “Design of parenthesized forms of systems of Boolean functions,” in: Questions of Synthesis of Computer Logic [in Russian], Vol. 1, Vil'nyus (1974).

  100. G. P. Agibalov, V. A. Belyaev, and A. M. Oranov, “Certain algorithms for partition, coverings, and distributing logical circuits,” Upravl. Sistemy Mashiny, No. 5 (1974).

  101. É. Kh. Tyugu, “Solution of problems on computer models,” Zh. Vychisl. Mat. Mat. Fiz., No. 5 (1970).

  102. E. A. Zhogolev, “Principles of design of multilanguage systems of modular programming,” Kibernetika, No. 4 (1974).

  103. I. V. Klokachev, “Complex of basic modules as a means of improving the technology of systems programming,” in: System Programming [in Russian], Izd. Vychisl. Tsentr. Sibirsk. Otd. Akad. Nauk SSSR, Vol. 1, Novosibirsk (1973).

  104. A. D. Zakrevskii, “Programming language LYaPAS-M, in: Computer Technology of Machine Construction [in Russian], Izd. Inst. Tekh. Kibernetiki Akad. Nauk BelorusSSR, Minsk (1974).

    Google Scholar 

  105. A. D. Zakrevskii, “Interactive system for debugging and editing programs in the LYaPAS-M language,” Kibernetika, No. 6 (1974).

  106. Algorithms for Solving Logicocombinatorial Problems [in Russian], Izd. Inst. Tekh. Kibernetiki Akad. Nauk BelorusSSR, Minsk (1975).

  107. A. D. Zakrevskii, V. F. Tomashev, and N. R. Toropov, “Interactive system for programming logicocombinatorial problems,” in: Systems and Theoretical Programming [in Russian], Kishinev (1974).

Download references

Authors
  1. A. D. Zakrevskii
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 4, pp. 100–108, July–August, 1975.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zakrevskii, A.D. Automation of logical synthesis of discrete devices. Cybern Syst Anal 11, 621–629 (1975). https://doi.org/10.1007/BF01070441

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01070441

Keywords

Search

Navigation