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

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

dc.contributor.author	Васильєв, О. Ю.
dc.contributor.author	Філіппенко, О. І.
dc.date.accessioned	2025-04-23T05:34:27Z
dc.date.available	2025-04-23T05:34:27Z
dc.date.issued	2025
dc.description.abstract	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.
dc.identifier.citation	Васильєв О. Ю. Штучний інтелект та машинне навчання для оптимізації функціональної верифікації / О. Ю. Васильєв, О. І. Філіппенко // Радіоелектроніка та молодь у XXI столітті : матеріали 29-го Міжнар. молодіж. форуму, 16–19 квітня 2025 р. – Харків : ХНУРЕ, 2025. – Т. 5. – С. 19–20.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/30614
dc.language.iso	uk
dc.publisher	ХНУРЕ
dc.subject	оптимізація функціональної верифікації
dc.subject	функціональна верифікація
dc.title	Штучний інтелект та машинне навчання для оптимізації функціональної верифікаціївступ.
dc.type	Thesis
dspace.entity.type	Publication