Публікація:
Штучний інтелект та машинне навчання для оптимізації функціональної верифікаціївступ.

Проста сторінка документа
dc.contributor.authorВасильєв, О. Ю.
dc.contributor.authorФіліппенко, О. І.
dc.date.accessioned2025-04-23T05:34:27Z
dc.date.available2025-04-23T05:34:27Z
dc.date.issued2025
dc.description.abstractThe purpose of this work is to investigate how artificial intelligence (AI) and machine learning (ML) accelerate formal verification processes, including coverage, debugging, and regression testing in field of electronic design automation.
dc.identifier.citationВасильєв О. Ю. Штучний інтелект та машинне навчання для оптимізації функціональної верифікації / О. Ю. Васильєв, О. І. Філіппенко // Радіоелектроніка та молодь у XXI столітті : матеріали 29-го Міжнар. молодіж. форуму, 16–19 квітня 2025 р. – Харків : ХНУРЕ, 2025. – Т. 5. – С. 19–20.
dc.identifier.urihttps://openarchive.nure.ua/handle/document/30614
dc.language.isouk
dc.publisherХНУРЕ
dc.subjectоптимізація функціональної верифікації
dc.subjectфункціональна верифікація
dc.titleШтучний інтелект та машинне навчання для оптимізації функціональної верифікаціївступ.
dc.typeThesis
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
PiM_2025_T5_KIU_19-20.pdf
Розмір:
244.71 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.55 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кафедра автоматизації проектування обчислювальної техніки (АПОТ)