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

Голубева, Ольга Ивановна

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

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

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

Аннотация:

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

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

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

Источник: Таврический научный обозреватель. 2017. № 5. С. 208-220