Интервальные расширения булевых функций и троичное моделирование последовательностных схем

УДК: 519.715

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

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

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

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

Tags: