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