Автоматизація функціональної верифікації апаратури із використанням шаблонних технологій
Вантажиться...
Дата
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник/консультант
Члени комітету
Назва журналу
Номер ISSN
Назва тому
Видавець
Національний технічний університет "Харківський політехнічний інститут"
Анотація
Опис
Ключові слова
автоматизації процесу верифікації, штучний інтелект, верифікації, автоматизоване проєктування
Бібліографічний опис
Васильєв О. Ю. Автоматизація функціональної верифікації апаратури із використанням шаблонних технологій / О. Ю. Васильєв, О. І. Філіппенко // Проблеми інформатизації = Problems of informatization : тези доп. тринадцятої міжнар. наук.-техн. конф., 27-28 листопада 2025 р., м. Баку, м. Харків, м. Бельсько-Бяла : [у 4 т.]. Т. 3 : секцiї 4 / Ін-т систем управління МНО Азербайджанської республіки , Національний технічний університет "Харківський політехнічний інститут", Харківський національний університет радіоелектроніки [та ін.] ; орг. ком.: співголови: Гашимов Ельшан Гіяс огли [та ін.] – Харків : НТУ "ХПІ", 2025. – С. 55.