Вдосконалення процедури кодування та верифікації проєктів VHDL із використанням інструментів HDL Designer та Scientific Toolworks Understand

Скорочена інформація про документ
dc.contributor.authorВернигора Антон Олександрович
dc.contributor.authorкерівник Одарущенко О. М.
dc.date.issued2026
dc.descriptionВернигора А.О. Вдосконалення процедури кодування та верифікації проєктів VHDL із використанням інструментів HDL Designer та Scientific Toolworks Understand : кваліфікаційна робота на здобуття ступеня вищої освіти Бакалавр за ОПП Інформаційні управляючі системи 126 Інформаційні системи та технології. Полтава: Полтавський державний аграрний університет. 2025. 60 с.
dc.description.abstractРобота присвячена вдосконаленню процедури кодування та верифікації VHDL-проєктів шляхом інтеграції інструментів HDL Designer та Scientific Toolworks Understand. Розглянуто теоретичні основи мови VHDL, особливості опису цифрових автоматів та сфери застосування HDL-проєктів у критичних системах, зокрема в системах безпеки атомних електростанцій. Виконано аналіз недоліків традиційного підходу до розробки та тестування VHDL-описів, серед яких складність аналізу структури, обмеженість симуляції, пізнє виявлення помилок та неоднорідність стилю кодування. Запропоновано удосконалену процедуру статичного аналізу та огляду VHDL-коду, яка включає чотири ключові контрольні пункти: перевірку досяжності станів цифрового автомата, наявності початкового стану та reset-сигналу, коректності операторів case та цикломатичної складності файлів. Практичне застосування процедури виконано на реальних VHDL-файлах відкритої бібліотеки VHDL_Lib з демонстрацією виявлення порушень та формування рекомендацій щодо покращення коду.
dc.identifier.citationВернигора А.О. Вдосконалення процедури кодування та верифікації проєктів VHDL із використанням інструментів HDL Designer та Scientific Toolworks Understand : кваліфікаційна робота на здобуття ступеня вищої освіти Бакалавр за ОПП Інформаційні управляючі системи 126 Інформаційні системи та технології. Полтава: Полтавський державний аграрний університет. 2025. 60 с.
dc.identifier.urihttps://dspace.pdau.edu.ua/handle/123456789/22119
dc.language.isouk
dc.publisherПолтавський державний аграрний університет
dc.subjectVHDL
dc.subjectFPGA
dc.subjectцифровий автомат
dc.subjectстатичний аналіз
dc.subjectcode review
dc.subjectHDL Designer
dc.subjectScientific Toolworks Understand
dc.subjectверифікація
dc.subjectцикломатична складність
dc.titleВдосконалення процедури кодування та верифікації проєктів VHDL із використанням інструментів HDL Designer та Scientific Toolworks Understand
dc.typeOther
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02-ВернигораА.О..pdf
Розмір:
778.4 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
17.09 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
126 «Інформаційні системи та технології» - Бакалаври 2025-2026