Функциональная верификация переходов конечных автоматов при помощи языка systemverilog

Публікація:
Функциональная верификация переходов конечных автоматов при помощи языка systemverilog

dc.contributor.author	Пшеничный, К. Ю.
dc.date.accessioned	2023-03-01T14:08:05Z
dc.date.available	2023-03-01T14:08:05Z
dc.date.issued	2019
dc.description.abstract	The given work is devoted to finite state machines transition path coverage using functional verification capabilities of SystemVerilog hardware description language. Cover directives method for transition path coverage has been proposed in this paper.
dc.identifier.citation	Пшеничный К. Ю. Функциональная верификация переходов конечных автоматов при помощи языка systemverilog / К. Ю. Пшеничный // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 5. – С. 5–6.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/22265
dc.language.iso	other
dc.publisher	ХНУРЕ
dc.title	Функциональная верификация переходов конечных автоматов при помощи языка systemverilog
dc.type	Conference proceedings
dspace.entity.type	Publication