Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций	518 KB	Adobe Acrobat PDF	Read	Download

#троичное моделирование

#синхронные схемы

#последовательностные схемы

#ROBDD-графы

Title: Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций
Title: Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions
Creator: Голубева, Ольга Ивановна
Date: 2017
Description: Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов схемы или их инверсий в соответствии с кодами состояний. При построении ROBDD функций переходов-выходов схемы сначала выполняется разложение Шеннона по внутренним переменным, а затем по входным переменным схемы. Предложенный метод троичного моделирования позволяет выполнять точное троичное моделирование на входной последовательности произвольной длины, выполняя пошаговое троичное моделирование по полученным ROBDD. Данный метод является переложением на ROBDD представление функций ранее предложенного метода, основанного на ДНФ представлении функций. Показана возможность решения задач для последовательностных схем с использованием этого метода. Используя методы и свойства, описанные в данной статье, в дальнейших исследованиях планируется решить такие задачи как: построение последовательности, обеспечивающей переход в некоторое состояние из заданного множества, построение установочной последовательности и др.

Relationships: Show Relationship Browser for this Object
collection(s): Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140
Language: rus

Created: 16-10-2017

973 Visitors

705 Hits

290 Downloads

Факультет прикладной математики и кибернетики (до 01.09.2017 г.) Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций