АНАЛІЗ КОРЕКТНОСТІ ГРАФІВ ПЕРЕХОДІВ КЕРУЮЧИХ АВТОМАТІВ ПРИ ПОБУДОВІ HDL-МОДЕЛЕЙ ДЛЯ АВТОМАТИЗОВАНОГО СИНТЕЗУ

Авторы

  • Олександр Сергійович Шкіль канд. техн. наук, доцент кафедри АПОТ ХНУРЕ, Ukraine
  • Ельвіра Миколаївна Кулак канд. техн. наук, доцент кафедри АПОТ ХНУРЕ., Ukraine
  • Інна Вікторівна Філіппенко канд. техн. наук, доцент кафедри АПОТ ХНУРЕ., Ukraine
  • Олексій Геннадійович Шакура студент ХНУРЕ.,
  • Владислав Володимирович Фоменко студент ХНУРЕ.,

DOI:

https://doi.org/10.30837/1563-0064.1(84).2019.184713

Ключевые слова:

finite state machine, state diagram, HDL-model, automatic synthesis, orthogonal Boolean function

Аннотация

Розглядається аналіз коректності умов переходів у графових моделях керуючих автоматів, представлених у вигляді HDL-моделей, з точки зору подальшого автоматизованого синтезу. Пропонується метод аналізу графа переходів, що дозволяє отримати ненадлишкову та коректну в запам'ятовуючій частині
схемну реалізацію при синтезі HDL-моделі кінцевого автомата.

Библиографические ссылки

Shkіl A.S. Avtomatizirovannoe proektirovanie sistemlogicheskogo upravlenija s ispol'zovaniem shablonovavtomatnogo programmirovanija / A.S. Shkil', Je.N.Kulak, I.V. Filippenko, D.E. Kucherenko, M.V. Goga. //Radіoelektronіka ta іnformatika. 2018. №3. S. 75-81.

Rjabinin I.A. Nadezhnost' i bezopasnost' strukturno-slozhnyh sistem / I.A. Rjabinin. SPb.: Izd-vo S.-Peterb.un-ta, 2007. 276s.

Bibilo P.N. Sintez logicheskih shem s ispol'zovaniemjazyka VHDL / P.N. Bibilo. M.: SOLON-R, 2009. 384 s.:

Shalyto A.A. SWITCH-tehnologija. Algoritmizacija iprogrammirovanie zadach logicheskogo upravlenija /A.A. Shalyto. SPb.: Nauka, 1998. 628 s.

Baranov S.I. Sintez mikroprogrammnyh avtomatov(graf shemy i avtomaty) / S.I.Baranov. L.:Jenergija, 1979.232 s.

Zakrevskij A.D. Logicheskie osnovy proektirovanijadiskretnyh ustrojstv / A.D. Zakrevskij, Ju.V. Pottosin,L.D. Cheremisinova. – M.: FIZMATLIT, 2007. 592 s.

Shalyto A.A. Novyj metod vychislenija bulevyh formul/ A.S.Kovalev, A.P.Luk'janova, A.A.Shalyto.[Jelektronnyj resurs] Dvizhenie za otkrytuju proektnujudokumentaciju – Rezhim dostupa: www / URL:http://is.ifmo.ru/download/lbgmx.pdf.

Hahanov V.I. Tehnicheskaja divgnostika jelementov iuzlov personal'nyh komp'juterov / V.I. Hahanov. K.:ІZMN, 1997. 308 s.

Загрузки

Опубликован

2019-03-27

Выпуск

№ 1(84) (2019)

Раздел

Статті

Лицензия

Copyright (c) 2019 Радиоэлектроника и информатика

Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.

The author(s) of a manuscript agree that if the manuscript is accepted  for publication in “Radioelectronics&Informatics Journal”, the published article will be copyrighted using a Creative Commons “Attribution-Non Commercial-Share Alike” license. This license allows the author(s) to retain the copyright, but also allows others to freely copy, distribute, and display the copyrighted work, and derivative works based upon it, under certain specified conditions.