Публікація: Функциональная верификация переходов конечных автоматов при помощи языка systemverilog
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЕ
Анотація
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.
Опис
Ключові слова
Цитування
Пшеничный К. Ю. Функциональная верификация переходов конечных автоматов при помощи языка systemverilog / К. Ю. Пшеничный // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 5. – С. 5–6.