Публікація: Оптимизации вычислительного цикла анализа ассерций
Завантаження...
Дата
2010
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Предлагается обзор наиболее значимых оптимизаций вычислительного цикла модели DRTLQ, ориентированных на уменьшение количества элементарных действий по транспортированию событий от входов к выходам модели. Разрабатывается метод компрессии событий на выходе бесконечных репетиций.
Опис
Ключові слова
метод компрессии событий, модели и методы верификации, методы устранения ошибок, автоматизация проектирования
Бібліографічний опис
Зайченко, С. А. Оптимизации вычислительного цикла анализа ассерций / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 151. – С. 69–79.