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