Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2262
Title: Метод верификации HDL-кода на основе транзакционного логического графа
Authors: Хаханов, В. И.
Побеженко, И. А.
Василенко, В. А.
Чумаченко, С. В.
Keywords: диагностика цифровых систем
математическое моделирование
Issue Date: 2009
Publisher: ХНУРЭ
Citation: Метод верификации HDL-кода на основе транзакционного логического графа / В. И. Хаханов, И. А. Побеженко, В. А. Василенко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 148. – С. 87–101.
Abstract: Предлагается логический метод диагностирования ошибок программного HDL-кода,который использует транзакционный граф программы и ее компонентов, что позволяет определять критические точки для мониторинга выполнения программы в целях установки в них ассерционных операторов, ориентированных на существенное (40%) уменьшение времени верификации программной модели изделия. Приводятся примеры синтеза транзакционного графа и диагностирования ошибок программных модулей, подтверждающие эффективность практического использования метода.
URI: http://openarchive.nure.ua/handle/document/2262
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
ASU_148_2009 (87-101).pdf1.18 MBAdobe PDFView/Open


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