Троичное моделирование комбинационных схем с использованием ROBDD

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

Троичное моделирование комбинационных схем с использованием ROBDD

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

Дата публикации в реестре: 2020-03-03T18:23:24Z

Аннотация:

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

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

Тип: статьи в сборниках

Источник: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114

Троичное моделирование комбинационных схем с использованием ROBDD

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

Новости проекта

Новости

Партнеры

Индексация