Дорошко, А. П.2021-02-102021-02-102020Дорошко А. П. Методи забезпечення функціонування обчислювальних комплексів на базі систем на кристалі : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / А. П. Дорошко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 75 с.http://openarchive.nure.ua/handle/document/14433Метою атестаційної роботи є дослідження методів створення архітектурних специфікацій систем на кристалі та їх верифікації. В якості вирішення поставлених завдань розроблено новий метод до розробки архітектурних специфікацій систем на кристалі і їх використання для створення високорівневих моделей системи. Для спрощення створення виконуваних моделей СНК в набір методів включений метод автоматизації перекладу специфікацій в виконувані моделі на формальних мовах; а для раннього спільного аналізу різних компонентів системи і протоколів її функціонування розроблений метод передбачає застосування різних методів верифікації даних на стадії створення специфікації. Крім того, розроблений набір методів також дозволяє підвищити якість створюваних специфікацій без істотних додаткових зусиль архітекторів та автоматизувати перевикористання специфікацій обчислювальних систем.ukсистема на кристаліобчислювальна системаспецифікаціяVHDLархітектураOther