Васильєв, О. Ю.Філіппенко, О. І.2025-04-232025-04-232025Васильєв О. Ю. Штучний інтелект та машинне навчання для оптимізації функціональної верифікації / О. Ю. Васильєв, О. І. Філіппенко // Радіоелектроніка та молодь у XXI столітті : матеріали 29-го Міжнар. молодіж. форуму, 16–19 квітня 2025 р. – Харків : ХНУРЕ, 2025. – Т. 5. – С. 19–20.https://openarchive.nure.ua/handle/document/30614The 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.ukоптимізація функціональної верифікаціїфункціональна верифікаціяThesis