Методи забезпечення функціонування обчислювальних комплексів на базі систем на кристалі

Дорошко, А. П.

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

dc.contributor.author	Дорошко, А. П.
dc.date.accessioned	2021-02-10T13:37:00Z
dc.date.available	2021-02-10T13:37:00Z
dc.date.issued	2020
dc.description.abstract	Метою атестаційної роботи є дослідження методів створення архітектурних специфікацій систем на кристалі та їх верифікації. В якості вирішення поставлених завдань розроблено новий метод до розробки архітектурних специфікацій систем на кристалі і їх використання для створення високорівневих моделей системи. Для спрощення створення виконуваних моделей СНК в набір методів включений метод автоматизації перекладу специфікацій в виконувані моделі на формальних мовах; а для раннього спільного аналізу різних компонентів системи і протоколів її функціонування розроблений метод передбачає застосування різних методів верифікації даних на стадії створення специфікації. Крім того, розроблений набір методів також дозволяє підвищити якість створюваних специфікацій без істотних додаткових зусиль архітекторів та автоматизувати перевикористання специфікацій обчислювальних систем.	uk_UA
dc.identifier.citation	Дорошко А. П. Методи забезпечення функціонування обчислювальних комплексів на базі систем на кристалі : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / А. П. Дорошко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 75 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/14433
dc.language.iso	uk	uk_UA
dc.subject	система на кристалі	uk_UA
dc.subject	обчислювальна система	uk_UA
dc.subject	специфікація	uk_UA
dc.subject	VHDL	uk_UA
dc.subject	архітектура	uk_UA
dc.title	Методи забезпечення функціонування обчислювальних комплексів на базі систем на кристалі	uk_UA
dc.title.alternative	Methods of Providing Computer System Functionality Based on SoC	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication