Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы

УДК: 519.715

Автор: Голубева О. И.

Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. В работе модифицируется ранее предложенный метод троичного моделирования последовательностной схемы с целью дальнейшего сокращения вычислительных затрат. Предлагается метод построения последовательности входных векторов минимальной длины, обеспечивающей переход из некоторого состояния одного множества состояний схемы в одно из состояний другого множества, на основе представленных методов и свойств. Кроме того, рассмотрено построение потокового графа схемы. Также приводятся алгоритмы решения других задач для последовательностной схемы, использующие представленные методы и свойства.

Ключевые слова: троичное моделирование, синхронная последовательностная схема, ROBDD графы, переходная последовательность, потоковый граф схемы, достижимые состояния схемы.

Текст статьи: http://tavr.science/stat/2017/04/03-Golubeva.pdf

Tags: