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