Skip to main content
Log in

On the automation of computer design

  • Published:
Cybernetics Aims and scope

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

Access this article

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

Instant access to the full article PDF.

References

  1. A. A. Arkhangel'skaya, V. G. Lazarev, and V. I. Roginskii, “A machine for the synthesis of switching circuits,” collection: Problems of Information Transmission, no. 1, izd-vo AN SSSR, Moscow, pp. 41–52, 1959.

    Google Scholar 

  2. L. B. Abraitis, “A method of automatic construction of the documentation for the production of an electronic computer,” Voprosy radioelektroniki, Seriya VII, no. 4, 1965.

  3. F. I. Andon, I. I. Brona, E. L. Voitova, and Yu. V. Kapitonova, “A small system for the design of the circuits of digital automata,” collection: Questions of Theoretical Cybernetics [in Russian], Kiev, p. 35, 1965.

  4. F. I. Andon, “The realization of A-algorithms on a digital computer,” collection: Questions of Theoretical Cybernetics [in Russian], Kiev, 1965.

  5. G. P. Agibalov, “The SAK-LYaPAS system of algorithms of coding theory based on the language LYaPAS,” in: A Logical Language for the Representation of Algorithms for the Synthesis of Relay Devices [in Russian], izd-vo Nauka, Moscow, 1966.

    Google Scholar 

  6. “An algorithm for the disposition of interacting elements based on the minimization of the lengths of the connecting wires,” RZh Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 5, Moscow, 1965.

  7. A. D. Zakrevskii, The Algorithmic Language LYaPAS and the Automation of the Synthesis of Discrete Automata [in Russian], Izd-vo Tomskogo Universiteta, Tomsk, 1966.

    Google Scholar 

  8. “The automation of drafting in design by means of a digital computer,” collection: Computational Techniques in Machine Construction [in Russian], Minsk, January, 1966.

  9. A. Sh. Blokh and L. P. Matyushkov, “Analysis of multistage relay circuits by means of a digital computer,” collection: Computational Techniques in Machine Construction [in Russian], Institute of Technical Cybernetics, Minsk, p. 58, 1965.

    Google Scholar 

  10. E. A. Butakov and A. D. Zakrevskii, “Some questions of the realization of Boolean functions by threshold elements,” Izvestiya AN SSSR, Tekhnicheskaya kibernetika, no. 1, Moscow, 1964.

    Google Scholar 

  11. E. A. Butakov and A. D. Zakrevskii, “Minimization of the number of states of a relay system by the Ural general-purpose computer,” collection: Problems of Information Transmission [in Russian], no. 2, izd-vo AN SSSR, Moscow, pp. 66–76, 1962.

    Google Scholar 

  12. “Questions of technology and the design of digital computer,” RZh Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 3, Moscow, p. 25, 1965.

  13. I. M. Vitenberg, “Optimal design of the functional blocks of an analog computer,” Voprosy radioelektroniki, Seriya VII, no. 2, Moscow, 1966.

  14. V. M. Glushkov and A. A. Letichevskii, “A language for the description of the algorithmic structures of computers and computing devices,” collection: Theory of Automata [in Russian], no. 2, Kiev, 1967.

  15. V. M. Glushkov, “Theory of automata and problems of the design of the structures of digital computers,” Kibernetika [Cybernetics], no. 1, Kiev, 1965.

  16. V. M. Glushkov, “Theory of automata and the formal transformation of microprograms,” Kibernetika [Cybernetics], no. 5, Kiev, 1965.

  17. V. M. Glushkov, A. A. Letichevskii, and A. A. Stognii, “An algorithmic system for the automation of the synthesis of digital automata,” in: The Synthesis of Relay Structures [in Russian], Proceedings of the International symposium on the theory of relay devices and finite automata (IFAC), izd-vo Nauka, Moscow, 1965.

    Google Scholar 

  18. V. M. Glushkov, “The question of the minimization of microprograms and of schemes of algorithms,” Kibernetika [Cybernetics], no. 5, Kiev, 1966.

  19. V. M. Glushkov and Yu. V. Kapitonova, “Questions of the automation of the synthesis of logic devices,” Extended abstracts of reports, Proceedings of the Prague Symposium on Automatic Data Processing, October, 1964.

  20. V. M. Glushkov, “Prospects of the automation of the design of microprograms and schemes of algorithms,” Vestnik AN SSSR, Moscow, 1967.

    Google Scholar 

  21. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “A method of designing computer devices,” Abstracts of reports of the All-Union colloquium on the automation of the synthesis of discrete computing devices [in Russian], Novosibirsk, September, 1966.

  22. N. M. Grishchenko, V. V. Fedyurko, O. D. Fedlizhanko, and G. K. Sherstoboeva, “A translator from the basis language of the level of a mnemocode,” collection: Software Provision of Electronic Digital Computers and the Efficient Organization of the Computation Process [in Russian], Naukova dumka, Kiev, 1967.

    Google Scholar 

  23. E. V. Gerts, G. V. Kreinin, and M. A. Polyakova, “On an algorithm for simplifying Boolean functions by means of a universal digital computer,” Izvestiya AN SSSR, Tekhnicheskaya kibernetika, no. 2, Moscow, 1966.

    Google Scholar 

  24. V. A. German, I. R. Kramfus, and I. V. Mishukov, “A method of simulating a digital computer with a multilevel structure of the operative memory,” zhurn. Voprosy radioelektroniki, no. 2, Moscow, 1966.

  25. V. A. German, I. R. Kramfus, and I. V. Mishukov, “A method of shortening the time for the simulation of the structure of a digital computer,” Voprosy radioelektroniki, Seriya VII, no. 2, Moscow, 1966.

  26. N. M. Dzhafarova, “Solution of logical problems by the elimination of negation and reduction to the disjunctive normal form on a computer,” Izvestiya AN AzSSR, Seriya fiziko-tekhnicheskikh i matematicheskikh nauk, no. 3, pp. 99–102, 1965.

    Google Scholar 

  27. A. D. Zakrevskii, “A machine for the solution of logical problems of the relay scheme synthesis type,” collection: Synthesis of Relay Devices [in Russian], Proceedings of the International symposium on the theory of relay devices and finite automata, izd-vo Nauka, Moscow, pp. 346–356, 1965.

    Google Scholar 

  28. A. D. Zakrevskii, “The problem of automating synthesis and some ways of solving it,” collection: The Algorithmic Language LYaPAS [in Russian], Izd-vo Tomskogo universiteta, Tomsk, 1966.

    Google Scholar 

  29. A. D. Zakrevskii, “The automation of the synthesis of discrete automata on the basis of the algorithmic language LYaPAS,” Computational systems, Trudy Instituta matematiki SO AN SSSR, no. 18, pp. 5–53, 1965.

    Google Scholar 

  30. A. D. Zakrevskii and V. I. Ostrovskii, “Optimization of the search for the shortest coverings,” collection: Questions of the Synthesis of Digital Automata [in Russian], izd-vo Nauka, Moscow, 1966.

    Google Scholar 

  31. A. D. Zakrevskii, “Description of the language LYaPAS,” collection: A Logical Language for the Representation of Algorithms for the Synthesis of Relay Devices [in Russian], izd-vo Nauka, Moscow, pp. 7–38, 1966.

    Google Scholar 

  32. A. D. Zakrevskii, “A universal system for the solution of problems of the relay circuit synthesis type,” no. 42, Trudy SFTI, Tomsk, pp. 9–37, 1963.

    Google Scholar 

  33. I. V. Ilovaiskii, V. S. Lozovskii, and Ya. I. Fet, “The application of an address language for automating the synthesis of digital computers,” collection: Computational Systems [in Russian], no. 18, Izd. Instituta matematiki SO AN SSSR, Novosibirsk, pp. 34–55, 1965.

    Google Scholar 

  34. V. V. Kirykhin, “A method of minimizing Boolean functions and its programming for the Ural general-purpose computer,” collection: Problems of Information Transmission [in Russian], no. 2, Moscow, pp. 57–65, 1962.

  35. L. A. Kalinichenko, “SLENG-an experimental programming language oriented toward the description and simulation of computers and computing systems,” collection: Theory of Automata [in Russian], no. 1, Kiev, 1967.

  36. V. M. Glushkov, Synthesis of Digital Automata [in Russian], Gosudarstvennoe izdatel'stvo fizikomatematicheskoi literatury, Moscow, 1962.

  37. “Design by means of computers,” RZh Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 8, Moscow, p. 50, 1965.

  38. V. G. Lazerev, O. A. Oganov, and V. N. Poginskii, “Principles of construction of a contactless device for the synthesis of relay-contact circuits,” collection: Problems of Information Transmission [in Russian], no. 8, izd-vo Nauka, Moscow, pp. 5–19, 1961.

    Google Scholar 

  39. A. A. Letichevskii, N. M. Grishchenko, and V. V. Fedyurko, “A basis language of the level of a mnemocode,” collection: Software Provision of Electronic Digital Computers and the Efficient Organization of the Computation Process [in Russian], izd-vo Naukova dumka, Kiev, 1967.

    Google Scholar 

  40. V. N. Loshakov, “An algorithm for the minimization of Boolean functions on a general-purpose computer,” Voprosy radioelektroniki, Seriya VII, no. 1, Moscow, 1966.

  41. V. N. Loshakov, “The analysis of digital automata by the method of mathematical simulation,” Voprosy radioelektroniki, Seriya, VII, no. 1, Moscow, 1966.

  42. I. Ya. Landau, “The automation of the design of electronic digital computers,” Avtomatika i telemekhanika, vol. 25, no. 11, Moscow, pp. 1581–1587, 1964.

    Google Scholar 

  43. A. N. Mal'tsev, “The synthesis of contact circuits on an electronic machine,” collection: Computational Techniques and Programming Problems [in Russian], no. 2, Leningrad, pp. 39–53, 1963.

  44. S. D. Mikhnovskii, “Digital simulation in the synthesis of a digital computer,” collection: Questions of the Theory of Digital Computers [in Russian], no. 5, IK AN Ukr SSR, Kiev, 1963.

    Google Scholar 

  45. “The method of association of elements in the construction of a general-purpose computer,” REZR, no. 17, pp. 33–135, 1966.

  46. V. G. Novoselov, “The programming of a method of minimizing Boolean functions,” Trudy SFTI, vol. 3, no. 44, Tomsk, pp. 31–37, 1964.

    Google Scholar 

  47. V. G. Novoselov, “The optimal coding of the states of a sequential automaton by means of a general-purpose computer,” Trudy SFTI, no. 42, Tomsk, pp. 85–93, 1963.

    Google Scholar 

  48. M. A. Aizerman, A. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal, Logic, Automata, and Algorithms [in Russian], Gosudarstvennoe izdatel'stvo fiziko-mathematicheskoi literatury, Moscow, 1963.

  49. V. I. Ostrovskii, “Programming the synthesis of binary logic circuits,” Trudy SFTI, no. 2, Tomsk, pp. 93–101, 1963.

    Google Scholar 

  50. Yu. S. Ob'edkov, “Comparison of processes for the development of composite design and engineering documentation by means of a digital computer and SPM,” Voprosy radioelektroniki, no. 5, Moscow, 1966.

  51. “Equipment of the operator's console intended for use in planning by means of a digital computer,” RZh Avtomatika i vychislitel'naya tekhnika, no. 5, Moscow, 1967.

  52. “Methods of computer design by means of a graphical indicating device and a light stylus,” REZR, 67, no. 17, pp. 13–15.

  53. P. P. Parkhomenko, “A large-capacity generalpurpose computer for the analysis of relay circuits,” collection: Industrial Remote Control [in Russian], Izd-vo AN SSSR, Moscow, pp. 172–197, 1960.

    Google Scholar 

  54. D. A. Pospelov and V. P. Pyatkin, “Questions of the minimization of functions of the algebra of logic on modern discrete action machines,” Trudy MEI, Moscow, pp. 117–133, 1964.

    Google Scholar 

  55. A. I. Paslovskii, “Synthesis of combinatory circuits, of linear static states of contacts, by means of a digital computer,” Abstracts of Reports of the All-Union Colloquium on the Automation of the Synthesis of Discrete Computers [in Russian], Novosibirsk, September, 1965.

  56. “Design and analysis of digital systems by means of computers,” Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 10, Moscow, 1965.

  57. Yu. N. Pecherskii, “Automation of the processes of analysis and synthesis of relay circuits,” Trudy SFTI, no. 42, Tomsk, pp. 206–218, 1963.

    Google Scholar 

  58. Yu. N. Pecherskii and A. A. Utkin, “Programming relay circuit analysis,” Uchenye zapiski Tomskogo universiteta, no. 41, pp. 180–193, 1962.

    Google Scholar 

  59. V. N. Roginskii, “A machine for the design of relay circuits,” Vestnik AN SSSR, vol. 28, no. 10, pp. 71–73, Moscow, 1957.

    Google Scholar 

  60. F. Svoboda, “The synthesis of relay circuits by means of machines,” Avtomatika i telemekhanika, vol. 18, no. 3, Moscow, 1957.

  61. A. A. Stognii, “The minimization of Boolean functions on an electronic computer,” collection: Questions of Computational Techniques [in Russian], GITL, Kiev, pp. 65–70, 1961.

    Google Scholar 

  62. Kh. L. Sladum, “An encoding for the simulation of digital circuits,” Izvestiya AN EstSSR. Seriya fiziko-mathematicheskie i tekhnicheskie nauki, vol. 13, no. 4, pp. 344–358, Moscow, 1964.

    Google Scholar 

  63. Kh. L. Sladum, “A language for recording and simulating the working of digital block diagrams (TsIMOD),” Izvestiya AN EstSSR. Seriya fiziko-matematicheskie i tekhnicheskie nauki, vol. 14, no. 3, pp. 464–472, Tallin, 1965.

    Google Scholar 

  64. Kh. L. Sladum, “Simulation of digital circuits on the MTsBM,” Report to the Second All-Union Symposium on Cybernetics [in Russian], Tbilisi, 1965.

  65. B. A. Trakhtenbrot and N. E. Kobrinskii, Introduction to the Theory of Finite Automata [in Russian], Gosudarstvennoe izdatel'stvo fiziko-matematicheskoi literatury, Moscow, 1962.

  66. B. L. Timofeev, “A machine for minimizing Boolean functions,” collection: Structural Theory of Relay Devices [in Russian], Izd-vo AN SSSR, Moscow, pp. 242–249, 1963.

    Google Scholar 

  67. A. A. Utkin, “Simulation of relay circuits,” in: A Logical Language for the Representation of Synthesis Algorithms for Relay Devices [in Russian], Moscow, 1966.

  68. Ya. I. Fet, “Some algorithms for the planning of a digital computer,” collection: Computational Systems [in Russian], no. 18, Novosibirsk, pp. 72–91, 1965.

    Google Scholar 

  69. Kh. D. Skol'nik, “Analysis of automata by means of computers,” Tekhnicheskaya kibernetika, no. 3, Moscow, 1966.

  70. C. E. Shannon, “The use of a computer for the design of switching circuits,” in: Papers on the Theory of Information and Cybernetics [Russian translation], Moscow, 1963.

  71. M. E. Shtein, “Method of design of multi-output combinatory logical devices,” Voprosy radioelektroniki, Seriya VII, 1966.

  72. A. Gill, Introduction to the Theory of Finite-State Machines [Russian translation], izd-vo Nauka, Moscow, 1966.

    Google Scholar 

  73. V. N. Rodin, “An electronic analyzer of contact circuits,” Avtomatika i telemekhanika, vol. 18, no. 5, 1957.

  74. T. T. Tsukanov, A Matrix Analyzer of Relay Contact Circuits and the Problems of its Application, author's abstract of candidate's dissertation [in Russian], LIIZhT, Leningrad, 1955.

    Google Scholar 

  75. J. P. Anderson, and others, The D-825-A Multiple-Computer System for Command and Control, Proceeds. of AFIPS Fall Joint Comput. Conf., vol. 23, p. 86–96, 1962.

    Google Scholar 

  76. D. B. Armstrong, A Programmed Algorithm for Assigning Internal Codes to Sequential Machines, IRE Transactions on Electronic Computers vol. EC-11, no. 4, August, 1962.

  77. F. Bolleter, Die flexible gedruckte Verdrahtung, Internationale elektronische Rundschau, Ig. 19, III, no. 3, pp. 141–144, 1965.

    Google Scholar 

  78. R. D. Brennan and R. Linebarger, A Survey of Digital Simulation, Simulation 3, no. 6, 1964.

  79. A. Burks, H. H. Goldstein, and J. von Neumann, Preliminary Discussion of the Logical Design of an Electronic Computing Instrument, J. von Neumann, Collected Works, vol. 5, Pergamon Press, Oxford-London-New York-Paris, pp. 34–79, 1963.

    Google Scholar 

  80. J. N. Buxton and J. G. Laski, 1962, Control and Simulation Language, Esso Petroleum Co., Ltd., and IBM United Kingdom, Ltd., London, England, August. Reprinted in the Comput. J., 5, 3, 1964.

    Google Scholar 

  81. Y. Chu, An Algol Like Computer Design Language, Communications of the ACM, vol. 8, no. 10, pp. 607–615, October, 1965.

    Google Scholar 

  82. J. J. Clancy and Mark S. Finenberg, Digital Simulation Languages: A Critique and a Guide, Proc. AFIPS Fall Joint Comput. Conf., vol. 27, pp. 23–36, 1965.

    Google Scholar 

  83. R. W. Conway, W. L. Maxwell, and R. J. Walker, An Instruction Manual for CORC, The Cornell Computing Language, Cornell U., Ithaca, New York, 1963.

    Google Scholar 

  84. A. Crasselli, “Un metodo per discrivere un calculatore numerico.” Automaz. e. strum., 11, no. 3, 119–126, 1963.

    Google Scholar 

  85. R. Efron and G. Gordon, A General Purpose Digital Simulator and Examples of its Applications, Part 1, Description of the Simulator. IBM Sys. J., 3, 1, 22–34, 1964.

    Google Scholar 

  86. D. E. Freeman, Programming Languages Ease Digital Simulation, Contr. England, pp. 103-6a, 1964.

  87. G. Gordon, A General Purpose Systems Simulator, IBM Sys. J., 1, Sept. 18–32, 1962.

  88. D. F. Gorman and J. P. Anderson, A Logic Design Translator, Proc. Fall Joint Comput. Conf., pp. 251–261, 1962.

  89. J. E. Griffin and M. J. Haims, An Experiment with Simulation of Machine Logic and Control, Proceed, IEEE Intern. Conv. Record, part 3, pp. 51–66, 1965.

    Google Scholar 

  90. IBM United Kingdom, Ltd. and Esso Petroleum Co., Ltd., Control and Simulation Language, Introductory Manual, March, 39, 1963.

  91. IBM United Kingdom, Ltd. and Esso Petroleum Co., Ltd. Control and Simulation Language, Reference Manual, p. 95, March, 1963.

  92. William H. Kautz, A Survey and Assessment of Progress in Switching Theory and Logical Design in the Soviet Union, Electronic Computers, vol. EC-15, no. 2, April, 1966.

  93. P. J. Kiviat, GASP, A General Activity Simulation Program. Proj. no. 90, 17-019 (2), United States Steel Corp., Appl. Res. Lab., Monroeville, Pa. 1963.

    Google Scholar 

  94. P. J. Kiviat and A. Colker, GASP, A General Activity Simulation Program, P-2864, RAND Corp., Santa Monica, 1964.

    Google Scholar 

  95. D. E. Knuth and J. L. McNeley, SOL, A Symbolic Language for General-Purpose System Simulation, Trans. IEEE, vol. EC-13, pp. 401–408, Aug. 1964.

    Google Scholar 

  96. D. E. Knuth and J. L. McNeley, SOL, A Symbolic Language for General-Purpose Systems Simulations, p. 45, 1963.

  97. D. E. Knuth and J. L. McNeley, A Formal Definition of SOL, Trans. IEEE, vol. EC-13, pp. 409–414, Aug. 1964.

    Google Scholar 

  98. H. S. Krasnow and R. Merikallio, The Past, Present, and Future of General Simulation Languages, Man. Sci., 11, 1963.

  99. G. Letellier, “Une modéle pour la description du fonctionnement d'un ensemble électronique,” Rev. Franc. Traitem. I'Inform., Chiffres, 6, no. 2, pp. 113–123, 1963.

    Google Scholar 

  100. H. H. Loomis Jr., Competeness of Sets of Delayed Logic Devices, IEEE Trans., vol. EC-14, no. 2, pp. 157–172.

  101. R. M. McClure, A Programming Language for Simulating Digital Systems, J. ACM, vol. 12, no. 1, pp. 14–22, 1965.

    Google Scholar 

  102. J. G. Murphy, A Comparison of the Use of the GPSS and SIMSCRIPT Simulation Languages in Designing Communications Network, Tech. Mem. TN-03969, Mitre Corp., Bedford, Mass, 1964.

    Google Scholar 

  103. W. L. Maxwell and R. W. Conway, CPM Preliminary Manual. Dept. of Indus. Eng., Cornell U., Ithaca, New York, no. 3, 9580, October, p. 22, 1963.

    Google Scholar 

  104. A. I. Nichols, Reviewed by C. L. Liu, Minimal Shift-Register Realizations of Sequential Machines, Electronic Computers, vol. EC-15, no. 2, April, 1966.

  105. E. Oberst, Maschinelle Analyse Logischer Kombinationssachaltungen, Messen, Steuern, Regeln, vol. 8, no. 3, pp. 80–83, 1965.

    Google Scholar 

  106. R. M. Proctor, A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic Design, IEEE Trans. EC, pp. 422–430, Aug. 1964.

  107. H. P. Schlaeppi, A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS), IEEE Trans. EC. pp. 439–448, Aug. 1964.

  108. H. Schorr, A Register Transfer Language to Describe Digital Systems. Tech. Rep. no. 30, Digital Systems Lab., Dept. Elec. Eng., Princeton U., Sept., 1962.

  109. H. Schorr, Computer Aided Digital System Design and Analysis Using a Register Transfer Language. IEEE Trans., vol. EC-13, no. 6, pp. 730–737, Dec. 1964.

    Google Scholar 

  110. D. Teichrowe and J. F. Lubin, Computer Simulation, Discussion of the Technique and Comparison of Languages, Communications of the ACM, vol. 9, no. 10, October, 1966.

  111. J. Vincent-Carrefour, “Optimisation d'un schéma en logique modulaire,” Rev. Franc. traitem. inform. chiffres, vol. 7, no. 3, pp. 217–250, 1964.

    Google Scholar 

  112. W. E. Walker and J. J. Delfausse, The Cornell List Processor. Cornell U., Ithaca, New York, 1964.

    Google Scholar 

  113. M. S. Zucker, LOCS, An EDP Machine Logic and Control Simulator. Proceed. IEEE Intern. Conv. Record, part 3, pp. 28–50, 1965.

    Google Scholar 

  114. M. S. Zucker, LOCS, An EDP Machine Logic and Control Simulator, Trans. IEEE, vol. EC-14, no. 3, pp. 403–416, June 1965.

    Google Scholar 

  115. P. W. Case, H. H. Graff, L. E. Griffith, A. R. LeClerq, W. B. Murley, and T. M. Spence, Solid Logic Design Automation, IBM Journal of Research and Development, 8, no. 2, pp. 127–140, 1964.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Kibernetika, Vol. 3, No. 5, pp. 2–14, 1967

Rights and permissions

Reprints and permissions

About this article

Cite this article

Glushkov, V.M., Kapitonova, Y.V. & Letichevskii, A.A. On the automation of computer design. Cybern Syst Anal 3, 1–12 (1967). https://doi.org/10.1007/BF01071592

Download citation

  • Issue Date:

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

Keywords

Navigation