Структуры данных и модели реализации базовых элементов динамических регистровых очередей

Abstract

Предлагаются структуры данных и алгоритмы обработки важнейших элементов модели – цепочек событий и функций-очередей. Предлагается модифицированный метод синтеза структур данных регистрового уровня, который отличается аппаратной реализацией операторов расширенной линейной темпоральной логики, что обеспечивает возможность параллельного анализа пересекающихся последовательностей событий при использовании программно-аппаратного HDL-симулятора.