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

Завантаження...
Зображення мініатюри

Дата

2010

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Предлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода.

Опис

Ключові слова

цифровые системы, темпоральная логика

Бібліографічний опис

Зайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.

DOI