Троичное моделирование комбинационных схем с использованием ROBDD
В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позво...
Опубликовано в: : | Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов С. 112-114 |
---|---|
Главный автор: | |
Формат: | Статья в сборнике |
Язык: | Russian |
Предметы: | |
Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651616 Перейти в каталог НБ ТГУ |
Итог: | В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет решить задачу за один сокращенный обход графа. |
---|---|
Библиография: | Библиогр.: 5 назв. |
ISBN: | 9785999930064 |