Skip to main content
SpringerLink
Log in

Efficient Logic Design of Reliable Control Units. III

  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

This paper deals with two formal autogram-based methods of construction of control units from transparent flip-flops (latches). The first (general) method can be used to design clocked and asynchronous circuits. The second (simple) method makes it possible to synthesize circuits based on nonclassical models. The latter method can be easily automated, improves the checkout of control units, and allows one to construct control units from unified (standard) blocks.

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

Similar content being viewed by others

REFERENCES

  1. V. M. Glushkov, Yu. V. Kapitonova, and A. T. Mishchenko, Logic Design of Discrete Devices [in Russian], Naukova Dumka, Kiev (1987).

    Google Scholar 

  2. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, Computer-Aided Design of Computers [in Russian], Naukova Dumka, Kiev (1975).

    Google Scholar 

  3. R. R. Katz, Contemporary Logic Design, Benjamin/Cummings, Boston (1994). (http://www.cs.Berkeley.edu/~randy/ CLD/CLD.html).

    Google Scholar 

  4. Ch. H. Roth, Fundamentals of Logic Design, PWS, Boston (1995).

    Google Scholar 

  5. I. S. Potemkin, Functional Units of Digital Automatics [in Russian], Energoatomizdat, Moscow (1988).

    Google Scholar 

  6. I. N. Bukreev, V. M. Mansurov, and V. I. Goryachev, Microelectronic Circuits of Digital Devices [in Russian], Sov. Radio, Moscow (1975).

    Google Scholar 

  7. A. T. Mishchenko, “Transformation of microprograms,” Kibernetika, No. 6, 7-15 (1967).

    Google Scholar 

  8. A. T. Mishchenko, “Specification of control units by microprograms,” Kibernetika, No. 3, 1-10 (1970).

    Google Scholar 

  9. A. Thayse, “Synthesis and optimization of programs by means of P-functions,” IEEE Trans. Comp., C-31, No. 1, 34-40 (1982).

    Google Scholar 

  10. A. A. Mishchenko, Formalization of Logic Design of Processors, abstract of dissertation, IK NANU, Kiev (1997).

    Google Scholar 

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

    Google Scholar 

  12. J. R. Story, H. J. Harrison, and E. A. Reinhard, “Optimum state assignment for synchronous sequential circuits,” IEEE Trans. Comput., C-21, No. 12, 1365-1373 (1972).

    Google Scholar 

  13. Z. L. Rabinovich, Yu. V. Kapitonova, and E. I. Komukhayev, “Methods of coding states of finite-state automata from the viewpoint of minimization of hardware expenses,” in: Theory of discrete automata, Zinatne, Riga (1967), pp. 33-40.

    Google Scholar 

  14. A. G. Kukharchuk, L. A. Strutinskii, and S. I. Shevtsov, “A method of construction of control units,” USIM, No. 2, 44-49 (1968).

    Google Scholar 

  15. A. Gill, Linear Sequential Circuits: Analysis, Synthesis, and Application [Russian translation], Nauka, Moscow (1974).

    Google Scholar 

  16. N. I. Kolbasin and A. T. Mishchenko, “A method of construction of counters from shift registers,” Kibernetika, No. 1, 113-116 (1988).

    Google Scholar 

  17. A. T. Mishchenko, “A method of synthesis of control units,” Kibernetika, No. 3, 148-149 (1972).

    Google Scholar 

  18. Yu. V. Kapitonova and A. T. Mishchenko, “Logic design of standardized control units. I, II,” Kibernetika, No. 5, 32-46, No. 6, 44-57 (1986).

    Google Scholar 

  19. A. A. Mishchenko, “Properties of reversible polynomial functions,” Kibern. Sist. Anal., No. 5, 44-49 (1997).

    Google Scholar 

  20. L. V. Matsevityi and Ye. L. Denisenko, “Coding internal states of multicycle devices,” Kibernetika, No. 1, 1-6 (1966).

    Google Scholar 

  21. A. T. Mishchenko, “Microprogram-based formal synthesis of control units. I,” Kibernetika, No. 3, 24-31 (1968).

    Google Scholar 

  22. Yu. V. Kapitonova and A. T. Mishchenko, “Methods of logic design of control blocks,” Kibernetika, No. 3, 4-12 (1972).

    Google Scholar 

  23. S. K. Knapp, “Accelerate FPGA macros with one-hot approach,” ED, No. 17, 65-71(1990).

    Google Scholar 

  24. A. T. Mishchenko, “Microprogram-based formal synthesis of control units. II,” Kibernetika, No. 5, 21-27 (1968).

    Google Scholar 

  25. A. T. Mishchenko, “Formal synthesis and realization of automata on the basis of standard and homogeneous circuits. I, II, III,” Kibernetika, No. 5, 15-22, No. 6, 12-20 (1974); No. 2, 21-30 (1975).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine

    A. A. Mishchenko & A. T. Mishchenko

Authors
  1. A. A. Mishchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. T. Mishchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mishchenko, A.A., Mishchenko, A.T. Efficient Logic Design of Reliable Control Units. III. Cybernetics and Systems Analysis 36, 635–651 (2000). https://doi.org/10.1023/A:1009427103896

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1009427103896

Search

Navigation