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