Публікація: Моделі та методи верифікації автоматних систем логічного управління
Завантаження...
Дата
2019
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Метою роботи є розробка моделей та процедур верифікації в циклі
автоматизованого проектування автоматних систем логічного управління на
технологічній платформі ПЛІС з використанням мов опису апаратури...
Проведений аналіз існуючих методик проведення верифікації моделей
автоматних пристроїв логічного керування на різних стадіях
автоматизованого проектування. Розроблені процедури перевірки графових
моделей керуючих автоматів на коректність на алгоритмічному етапі
автоматизованого проектування, а також процедури апаратної верифікації
проектів керуючих автоматів на технологічній платформі ПЛІС. Розроблені
методики верифікації реалізовані в рамках САПР на основі мов опису
апаратури для пристрою логічного керування.
Опис
Ключові слова
кінцевий автомат, стан, граф переходів, сапр, мова опису апаратури
Бібліографічний опис
Фоменко В. В. Моделі та методи верифікації автоматних систем логічного управління : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / В. В. Фоменко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 84 с.