Функціональна верифікація абстрактних цифрових автоматів

Пшеничний, К. Ю.

Публікація:
Функціональна верифікація абстрактних цифрових автоматів

dc.contributor.author	Пшеничний, К. Ю.
dc.date.accessioned	2020-04-14T09:25:44Z
dc.date.available	2020-04-14T09:25:44Z
dc.date.issued	2019
dc.description.abstract	У роботі розглянуті питання верифікації основних складових HDL-опису абстрактних цифрових автоматів за допомогоювластивостей та асерцій та інструментів для функціонального покриття. Проаналізовано різні підходи до верифікації кодування станів, переходів, генерації виходів та якості тестових наборів.	uk_UA
dc.identifier.citation	Пшеничний К. Ю. Функціональна верифікація абстрактних цифрових автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 - Комп’ютерна інженерія / К. Ю. Пшеничний ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2019. – 77 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/11367
dc.language.iso	uk	uk_UA
dc.subject	uvm	uk_UA
dc.subject	systemverilog	uk_UA
dc.subject	propertyspecificationlanguage	uk_UA
dc.subject	веріфікація	uk_UA
dc.subject	функціональна верифікція	uk_UA
dc.subject	цифровий автомат	uk_UA
dc.title	Функціональна верифікація абстрактних цифрових автоматів	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication