Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

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

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

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

Аннотация:

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

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

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


Связанные документы (рекомендация CORE)