DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Зайченко, С. А.
Чумаченко, С. В. |
|
| Date |
2013-10-10T10:23:37Z
2013-10-10T10:23:37Z 2010 |
|
| Identifier |
Зайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.
http://hdl.handle.net/123456789/788 |
|
| Description |
Предлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода. |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|
| Subject |
цифровые системы
темпоральная логика |
|
| Title |
DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики
|
|