Пшеничний, К. Ю.2020-04-142020-04-142019Пшеничний К. Ю. Функціональна верифікація абстрактних цифрових автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / К. Ю. Пшеничний ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 77 с.http://openarchive.nure.ua/handle/document/11367У роботі розглянуті питання верифікації основних складових HDL-опису абстрактних цифрових автоматів за допомогоювластивостей та асерцій та інструментів для функціонального покриття. Проаналізовано різні підходи до верифікації кодування станів, переходів, генерації виходів та якості тестових наборів.ukuvmsystemverilogpropertyspecificationlanguageверіфікаціяфункціональна верифікціяцифровий автоматOther