Публікація: Функціональна верифікація абстрактних цифрових автоматів
Завантаження...
Дата
2019
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
У роботі розглянуті питання верифікації основних складових HDL-опису
абстрактних цифрових автоматів за допомогоювластивостей та асерцій та
інструментів для функціонального покриття.
Проаналізовано різні підходи до верифікації кодування станів, переходів,
генерації виходів та якості тестових наборів.
Опис
Ключові слова
uvm, systemverilog, propertyspecificationlanguage, веріфікація, функціональна верифікція, цифровий автомат
Бібліографічний опис
Пшеничний К. Ю. Функціональна верифікація абстрактних цифрових автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / К. Ю. Пшеничний ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 77 с.