Фоменко, В. В.2020-04-152020-04-152019Фоменко В. В. Моделі та методи верифікації автоматних систем логічного управління : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / В. В. Фоменко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 84 с.http://openarchive.nure.ua/handle/document/11404Метою роботи є розробка моделей та процедур верифікації в циклі автоматизованого проектування автоматних систем логічного управління на технологічній платформі ПЛІС з використанням мов опису апаратури... Проведений аналіз існуючих методик проведення верифікації моделей автоматних пристроїв логічного керування на різних стадіях автоматизованого проектування. Розроблені процедури перевірки графових моделей керуючих автоматів на коректність на алгоритмічному етапі автоматизованого проектування, а також процедури апаратної верифікації проектів керуючих автоматів на технологічній платформі ПЛІС. Розроблені методики верифікації реалізовані в рамках САПР на основі мов опису апаратури для пристрою логічного керування.ukкінцевий автоматстанграф переходівсапрмова опису апаратуриOther