Публікація: Верифікація VHDL-моделей електронних систем
| dc.contributor.author | Максімков, С. В. | |
| dc.date.accessioned | 2020-03-05T19:14:57Z | |
| dc.date.available | 2020-03-05T19:14:57Z | |
| dc.date.issued | 2019 | |
| dc.description.abstract | Метою атестаційної роботи була розробка методи верифікації VHDL-моделей цифрових систем. Особливістю цієї методології є те, що в ній використовуються підхіди формальної та тестової верифікації. Тому що для тестового етапу необхідно виконання процесу моделювання(компіляція, елаборація, моделювання), то він потребує створення деякої оболонки для тестування моделі. Ця оболонка створюється за допомогою спеціально розробленої програми. У роботі дається огляд існуючих методів верифікації, докладний опис розробленої методи, а також практичне застосування цієї методи на прикладі верифікації моделі асинхронної пам’яті. Розроблений алгоритм може застосовуватися для верифікації VHDL моделей з різними рівнями опису(поведінковий, структурний). | uk_UA |
| dc.identifier.citation | Максімков С. В. Верифікація VHDL-моделей електронних систем : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / С. В. Максімков ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 82 с. | uk_UA |
| dc.identifier.uri | http://openarchive.nure.ua/handle/document/10988 | |
| dc.language.iso | uk | uk_UA |
| dc.subject | верифікація VHDL-моделей | uk_UA |
| dc.subject | формальна верифікація | uk_UA |
| dc.subject | тестова верифікація | uk_UA |
| dc.subject | сетоди верифікації | uk_UA |
| dc.title | Верифікація VHDL-моделей електронних систем | uk_UA |
| dc.title.alternative | Verification of Electronic Systems VHDL Models | uk_UA |
| dc.type | Other | uk_UA |
| dspace.entity.type | Publication |
Файли
Оригінальний пакет
1 - 1 з 1
Немає доступних мініатюр
- Назва:
- 2019_M_EOM_Maksimkov_S_V.doc
- Розмір:
- 1.18 MB
- Формат:
- Microsoft Word
- Опис:
- Пояснювальна записка до АР
Ліцензійний пакет
1 - 1 з 1
Немає доступних мініатюр
- Назва:
- license.txt
- Розмір:
- 9.42 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: