Методи автоматизованого комп'ютерного проектування цифрового пристрою локального управління
DOI:
https://doi.org/10.18664/ikszt.v0i1.158795Ключові слова:
діагностичні експерименти, керуючий автомат, граф переходів, синхронізуюча послідовність, САПР, Active-HDL, XILINX ISEАнотація
Подано метод автоматизованого комп'ютерного проектування цифрового пристрою локального управління (регулювання). На основі спрощеного алгоритму функціонування системи, поданого граф-схемою алгоритму (ГСА), складається автоматна модель у вигляді графа переходів кінцевого автомата Мілі. Граф переходів подано мовою опису апаратури VHDL в формі двопроцесорного автоматного шаблону. За графом переходів будується алгоритм діагностування пристрою управління за стратегією обходу всіх дуг графа, що гарантує його повноту. На підставі алгоритму діагностування будується VHDL-модель апаратного пристрою діагностування. Верифікація моделі розробленого пристрою діагностування виконується з використанням системи моделювання Active-HDL. Синтез пристрою управління і пристрою діагностування виконується за допомогою САПР XILINX ISE.
Посилання
Synchronizing Sequences For Verification Of Finite State Machines [Text] / М. А. Miroshnik, А. S. Shkil, А. S. Grebenyuk, E. N. Kulak, etc. // 9th IEEE International Conference on Dependable Systems, Services and Technologies (DESSERT’2018) May 24 – 27. – 2018/5. – Р. 226-230.
Проведення діагностичних експериментів в керуючих автоматах з використанням синхронізуючих послідовностей [Текст] / А. С. Шкіль, М. А. Мірошник, Ю. В. Пахомов, Д. Г. Караман // Радіотехніка та інформатика: наук.-техн. журнал. – 2018. – № 3. – С. 43-52.
Design automation of easy-tested digital finite state machines [Text] / M. A. Mіrosсhnyk, A. S. Shkil, E. N. Kulak, etc. // Radio Electronics, Computer Science, Control: Zaporizhzhia National Technical University. – 2018. – № 2. – P. 117-124.
Barcalov, A. Logic Synthesis for Finite State Machines Based on Linear Chains of States [Text] / A. Barkalov, L. Titarenko, J. Bieganowski. – Berlin: Springer, 2017. – 225 p.
Lorenzo Clemente, Wojciech Czerwi´nski, Slawomir Lasota, Charles Paperman. Regular Separability of Parikh Automata, June 20, 2017.
Solov’ev, V. V. Minimization of mealy finite-state machines by using the values of the output variables for state assignment [Text] / Journal of Computer and Systems Sciences International. – January 2017. – Vol. 56, Iss. 1. – Р. 96–104.
Miroshnyk, M. A. Model of automated hardware diagnostics of remote energy systems management points [Text] / M. A. Miroshnyk, Y. V. Pakhomov // Світлотехніка та електроенергетика: міжнар. наук.-техн. журнал. – 2017. – №3. – С. 3–9.
Solov’ev, V. V. Minimization of power consumption of finite-state machines by splitting their internal states [Text] / T. N. Grzes, V. V. Solov’ev // Journal of Computer and Systems Sciences International. – 2015. – Vol. 54, No. 3. – Р. 367–374.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2019 М. A. МІРОШНИК, Л. А. КЛИМЕНКО
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
