E-catalog        

Библиогр.: 8 назв.

Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов схемы или их инверсий в соответствии с кодами состояний. При построении ROBDD функций переходов-выходов схемы сначала выполняется разложение Шеннона по внутренним переменным, а затем по входным переменным схемы. Предложенный метод троичного моделирования позволяет выполнять точное троичное моделирование на входной последовательности произвольной длины, выполняя пошаговое троичное моделирование по полученным ROBDD. Данный метод является переложением на ROBDD представление функций ранее предложенного метода, основанного на ДНФ представлении функций. Показана возможность решения задач для последовательностных схем с использованием этого метода. Используя методы и свойства, описанные в данной статье, в дальнейших исследованиях планируется решить такие задачи как: построение последовательности, обеспечивающей переход в некоторое состояние из заданного множества, построение установочной последовательности и др.