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

Авторы

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

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

Выпуск

Раздел

Статті