Моделі та методи верифікації автоматних систем логічного управління

Фоменко, В. В.

Публікація:
Моделі та методи верифікації автоматних систем логічного управління

dc.contributor.author	Фоменко, В. В.
dc.date.accessioned	2020-04-15T18:21:15Z
dc.date.available	2020-04-15T18:21:15Z
dc.date.issued	2019
dc.description.abstract	Метою роботи є розробка моделей та процедур верифікації в циклі автоматизованого проектування автоматних систем логічного управління на технологічній платформі ПЛІС з використанням мов опису апаратури...Проведений аналіз існуючих методик проведення верифікації моделей автоматних пристроїв логічного керування на різних стадіях автоматизованого проектування. Розроблені процедури перевірки графових моделей керуючих автоматів на коректність на алгоритмічному етапі автоматизованого проектування, а також процедури апаратної верифікації проектів керуючих автоматів на технологічній платформі ПЛІС. Розроблені методики верифікації реалізовані в рамках САПР на основі мов опису апаратури для пристрою логічного керування.	uk_UA
dc.identifier.citation	Фоменко В. В. Моделі та методи верифікації автоматних систем логічного управління : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / В. В. Фоменко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 84 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/11404
dc.language.iso	uk	uk_UA
dc.subject	кінцевий автомат	uk_UA
dc.subject	стан	uk_UA
dc.subject	граф переходів	uk_UA
dc.subject	сапр	uk_UA
dc.subject	мова опису апаратури	uk_UA
dc.title	Моделі та методи верифікації автоматних систем логічного управління	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication