За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
 

Публікація:
DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики

Спрощена сторінка документа
dc.contributor.authorЗайченко, С. А.
dc.contributor.authorЧумаченко, С. В.
dc.date.accessioned2016-05-23T15:24:28Z
dc.date.available2016-05-23T15:24:28Z
dc.date.issued2010
dc.description.abstractПредлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода.uk_UA
dc.identifier.citationЗайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/78
dc.language.isoruuk_UA
dc.publisherХНУРЭuk_UA
dc.subjectцифровые системыuk_UA
dc.subjectтемпоральная логикаuk_UA
dc.titleDRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логикиuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
1.pdf
Розмір:
630.87 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Автоматизированные системы управления и приборы автоматики