Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/78
Full metadata record
DC FieldValueLanguage
dc.contributor.authorЗайченко, С. А.-
dc.contributor.authorЧумаченко, С. В.-
dc.date.accessioned2016-05-23T15:24:28Z-
dc.date.available2016-05-23T15:24:28Z-
dc.date.issued2010-
dc.identifier.citationЗайченко, С. А. DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логики / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 150. – С. 33–48.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/78-
dc.description.abstractПредлагается аналитическая модель верификации, которая характеризуется использо ванием динамических регистровых очередей для анализа темпоральных ассерций в процессе моделирования тестов для цифровых систем на кристаллах, что обеспечивает высокое быстродействие моделирования и заданную глубину диагностирования ошибок кода.uk_UA
dc.language.isoruuk_UA
dc.publisherХНУРЭuk_UA
dc.subjectцифровые системыuk_UA
dc.subjectтемпоральная логикаuk_UA
dc.titleDRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логикиuk_UA
dc.typeArticleuk_UA
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.