Дата публикации: 2017

Дата публикации в реестре: 2020-03-03T19:03:21Z

Аннотация:

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

Тип: статьи в журналах

Источник: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135