Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/78
Title: DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики
Authors: Зайченко, С. А.
Чумаченко, С. В.
Keywords: цифровые системы
темпоральная логика
Issue Date: 2010
Publisher: ХНУРЭ
Citation: Зайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.
Abstract: Предлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода.
URI: http://openarchive.nure.ua/handle/document/78
Appears in Collections:Автоматизированные системы управления и приборы автоматики

Files in This Item:
File Description SizeFormat 
1.pdf630.87 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools