Зайченко, С. А.Чумаченко, С. В.2016-05-232016-05-232010Зайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.http://openarchive.nure.ua/handle/document/78Предлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода.ruцифровые системытемпоральная логикаArticle