Публікація: Штучний інтелект та машинне навчання для оптимізації функціональної верифікаціївступ.
Завантаження...
Дата
2025
Автори
Назва журналу
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.