Верифікація HDL-коду на основі механізму ассерцій

Хаханов, В. І.; Хаханова, І. В.; Литвинова, Є. І.; Гузь, О. А.

Публікація:
Верифікація HDL-коду на основі механізму ассерцій

dc.contributor.author	Хаханов, В. І.
dc.contributor.author	Хаханова, І. В.
dc.contributor.author	Литвинова, Є. І.
dc.contributor.author	Гузь, О. А.
dc.date.accessioned	2016-09-06T11:56:59Z
dc.date.available	2016-09-06T11:56:59Z
dc.date.issued	2009
dc.description.abstract	Запропоновано технологію тестування й верифікації цифрових систем для діагностування та виправлення похибок HDL-моделей, яка спирається на сумісне використання механізму асерцій та тестопридатного проектування, цифрових систем на кристалах та зменьшити час розробки.	uk_UA
dc.identifier.citation	Хаханов В. І. Верифікація HDL-коду на основі механізму ассерцій / В. І. Хаханов, І. В. Хаханова, Е. І. Литвинова, О. А. Гузь // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2009	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2181
dc.language.iso	ru	uk_UA
dc.publisher	Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті	uk_UA
dc.subject	тестування	uk_UA
dc.subject	тестопридатність	uk_UA
dc.subject	верифікація	uk_UA
dc.subject	HDL-модель	uk_UA
dc.title	Верифікація HDL-коду на основі механізму ассерцій	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication