Метод верификации HDL-кода на основе транзакционного логического графа

Хаханов, В. И.; Побеженко, И. А.; Василенко, В. А.; Чумаченко, С. В.

Публікація:
Метод верификации HDL-кода на основе транзакционного логического графа

dc.contributor.author	Хаханов, В. И.
dc.contributor.author	Побеженко, И. А.
dc.contributor.author	Василенко, В. А.
dc.contributor.author	Чумаченко, С. В.
dc.date.accessioned	2016-09-07T11:52:03Z
dc.date.available	2016-09-07T11:52:03Z
dc.date.issued	2009
dc.description.abstract	Предлагается логический метод диагностирования ошибок программного HDL-кода,который использует транзакционный граф программы и ее компонентов, что позволяет определять критические точки для мониторинга выполнения программы в целях установки в них ассерционных операторов, ориентированных на существенное (40%) уменьшение времени верификации программной модели изделия. Приводятся примеры синтеза транзакционного графа и диагностирования ошибок программных модулей, подтверждающие эффективность практического использования метода.	uk_UA
dc.identifier.citation	Метод верификации HDL-кода на основе транзакционного логического графа / В. И. Хаханов, И. А. Побеженко, В. А. Василенко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 148. – С. 87–101.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2262
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	диагностика цифровых систем	uk_UA
dc.subject	математическое моделирование	uk_UA
dc.title	Метод верификации HDL-кода на основе транзакционного логического графа	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication