References
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.
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.
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.
F. I. Andon, “The realization of A-algorithms on a digital computer,” collection: Questions of Theoretical Cybernetics [in Russian], Kiev, 1965.
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.
“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.
A. D. Zakrevskii, The Algorithmic Language LYaPAS and the Automation of the Synthesis of Discrete Automata [in Russian], Izd-vo Tomskogo Universiteta, Tomsk, 1966.
“The automation of drafting in design by means of a digital computer,” collection: Computational Techniques in Machine Construction [in Russian], Minsk, January, 1966.
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.
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.
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.
“Questions of technology and the design of digital computer,” RZh Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 3, Moscow, p. 25, 1965.
I. M. Vitenberg, “Optimal design of the functional blocks of an analog computer,” Voprosy radioelektroniki, Seriya VII, no. 2, Moscow, 1966.
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.
V. M. Glushkov, “Theory of automata and problems of the design of the structures of digital computers,” Kibernetika [Cybernetics], no. 1, Kiev, 1965.
V. M. Glushkov, “Theory of automata and the formal transformation of microprograms,” Kibernetika [Cybernetics], no. 5, Kiev, 1965.
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.
V. M. Glushkov, “The question of the minimization of microprograms and of schemes of algorithms,” Kibernetika [Cybernetics], no. 5, Kiev, 1966.
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.
V. M. Glushkov, “Prospects of the automation of the design of microprograms and schemes of algorithms,” Vestnik AN SSSR, Moscow, 1967.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
V. M. Glushkov, Synthesis of Digital Automata [in Russian], Gosudarstvennoe izdatel'stvo fizikomatematicheskoi literatury, Moscow, 1962.
“Design by means of computers,” RZh Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 8, Moscow, p. 50, 1965.
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.
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.
V. N. Loshakov, “An algorithm for the minimization of Boolean functions on a general-purpose computer,” Voprosy radioelektroniki, Seriya VII, no. 1, Moscow, 1966.
V. N. Loshakov, “The analysis of digital automata by the method of mathematical simulation,” Voprosy radioelektroniki, Seriya, VII, no. 1, Moscow, 1966.
I. Ya. Landau, “The automation of the design of electronic digital computers,” Avtomatika i telemekhanika, vol. 25, no. 11, Moscow, pp. 1581–1587, 1964.
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.
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.
“The method of association of elements in the construction of a general-purpose computer,” REZR, no. 17, pp. 33–135, 1966.
V. G. Novoselov, “The programming of a method of minimizing Boolean functions,” Trudy SFTI, vol. 3, no. 44, Tomsk, pp. 31–37, 1964.
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.
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.
V. I. Ostrovskii, “Programming the synthesis of binary logic circuits,” Trudy SFTI, no. 2, Tomsk, pp. 93–101, 1963.
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.
“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.
“Methods of computer design by means of a graphical indicating device and a light stylus,” REZR, 67, no. 17, pp. 13–15.
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.
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.
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.
“Design and analysis of digital systems by means of computers,” Avtomatika, telemekhanika i vychislitel'naya tekhnika, no. 10, Moscow, 1965.
Yu. N. Pecherskii, “Automation of the processes of analysis and synthesis of relay circuits,” Trudy SFTI, no. 42, Tomsk, pp. 206–218, 1963.
Yu. N. Pecherskii and A. A. Utkin, “Programming relay circuit analysis,” Uchenye zapiski Tomskogo universiteta, no. 41, pp. 180–193, 1962.
V. N. Roginskii, “A machine for the design of relay circuits,” Vestnik AN SSSR, vol. 28, no. 10, pp. 71–73, Moscow, 1957.
F. Svoboda, “The synthesis of relay circuits by means of machines,” Avtomatika i telemekhanika, vol. 18, no. 3, Moscow, 1957.
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.
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.
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.
Kh. L. Sladum, “Simulation of digital circuits on the MTsBM,” Report to the Second All-Union Symposium on Cybernetics [in Russian], Tbilisi, 1965.
B. A. Trakhtenbrot and N. E. Kobrinskii, Introduction to the Theory of Finite Automata [in Russian], Gosudarstvennoe izdatel'stvo fiziko-matematicheskoi literatury, Moscow, 1962.
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.
A. A. Utkin, “Simulation of relay circuits,” in: A Logical Language for the Representation of Synthesis Algorithms for Relay Devices [in Russian], Moscow, 1966.
Ya. I. Fet, “Some algorithms for the planning of a digital computer,” collection: Computational Systems [in Russian], no. 18, Novosibirsk, pp. 72–91, 1965.
Kh. D. Skol'nik, “Analysis of automata by means of computers,” Tekhnicheskaya kibernetika, no. 3, Moscow, 1966.
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.
M. E. Shtein, “Method of design of multi-output combinatory logical devices,” Voprosy radioelektroniki, Seriya VII, 1966.
A. Gill, Introduction to the Theory of Finite-State Machines [Russian translation], izd-vo Nauka, Moscow, 1966.
V. N. Rodin, “An electronic analyzer of contact circuits,” Avtomatika i telemekhanika, vol. 18, no. 5, 1957.
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.
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.
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.
F. Bolleter, Die flexible gedruckte Verdrahtung, Internationale elektronische Rundschau, Ig. 19, III, no. 3, pp. 141–144, 1965.
R. D. Brennan and R. Linebarger, A Survey of Digital Simulation, Simulation 3, no. 6, 1964.
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.
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.
Y. Chu, An Algol Like Computer Design Language, Communications of the ACM, vol. 8, no. 10, pp. 607–615, October, 1965.
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.
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.
A. Crasselli, “Un metodo per discrivere un calculatore numerico.” Automaz. e. strum., 11, no. 3, 119–126, 1963.
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.
D. E. Freeman, Programming Languages Ease Digital Simulation, Contr. England, pp. 103-6a, 1964.
G. Gordon, A General Purpose Systems Simulator, IBM Sys. J., 1, Sept. 18–32, 1962.
D. F. Gorman and J. P. Anderson, A Logic Design Translator, Proc. Fall Joint Comput. Conf., pp. 251–261, 1962.
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.
IBM United Kingdom, Ltd. and Esso Petroleum Co., Ltd., Control and Simulation Language, Introductory Manual, March, 39, 1963.
IBM United Kingdom, Ltd. and Esso Petroleum Co., Ltd. Control and Simulation Language, Reference Manual, p. 95, March, 1963.
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.
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.
P. J. Kiviat and A. Colker, GASP, A General Activity Simulation Program, P-2864, RAND Corp., Santa Monica, 1964.
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.
D. E. Knuth and J. L. McNeley, SOL, A Symbolic Language for General-Purpose Systems Simulations, p. 45, 1963.
D. E. Knuth and J. L. McNeley, A Formal Definition of SOL, Trans. IEEE, vol. EC-13, pp. 409–414, Aug. 1964.
H. S. Krasnow and R. Merikallio, The Past, Present, and Future of General Simulation Languages, Man. Sci., 11, 1963.
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.
H. H. Loomis Jr., Competeness of Sets of Delayed Logic Devices, IEEE Trans., vol. EC-14, no. 2, pp. 157–172.
R. M. McClure, A Programming Language for Simulating Digital Systems, J. ACM, vol. 12, no. 1, pp. 14–22, 1965.
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.
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.
A. I. Nichols, Reviewed by C. L. Liu, Minimal Shift-Register Realizations of Sequential Machines, Electronic Computers, vol. EC-15, no. 2, April, 1966.
E. Oberst, Maschinelle Analyse Logischer Kombinationssachaltungen, Messen, Steuern, Regeln, vol. 8, no. 3, pp. 80–83, 1965.
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.
H. P. Schlaeppi, A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS), IEEE Trans. EC. pp. 439–448, Aug. 1964.
H. Schorr, A Register Transfer Language to Describe Digital Systems. Tech. Rep. no. 30, Digital Systems Lab., Dept. Elec. Eng., Princeton U., Sept., 1962.
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.
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.
J. Vincent-Carrefour, “Optimisation d'un schéma en logique modulaire,” Rev. Franc. traitem. inform. chiffres, vol. 7, no. 3, pp. 217–250, 1964.
W. E. Walker and J. J. Delfausse, The Cornell List Processor. Cornell U., Ithaca, New York, 1964.
M. S. Zucker, LOCS, An EDP Machine Logic and Control Simulator. Proceed. IEEE Intern. Conv. Record, part 3, pp. 28–50, 1965.
M. S. Zucker, LOCS, An EDP Machine Logic and Control Simulator, Trans. IEEE, vol. EC-14, no. 3, pp. 403–416, June 1965.
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.
Author information
Authors and Affiliations
Additional information
Kibernetika, Vol. 3, No. 5, pp. 2–14, 1967
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF01071592