Публікація: Штучний інтелект та машинне навчання для оптимізації функціональної верифікаціївступ.
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЕ
Анотація
The 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.
Опис
Ключові слова
оптимізація функціональної верифікації, функціональна верифікація
Цитування
Васильєв О. Ю. Штучний інтелект та машинне навчання для оптимізації функціональної верифікації / О. Ю. Васильєв, О. І. Філіппенко // Радіоелектроніка та молодь у XXI столітті : матеріали 29-го Міжнар. молодіж. форуму, 16–19 квітня 2025 р. – Харків : ХНУРЕ, 2025. – Т. 5. – С. 19–20.