Графовые представления множеств всех достижимых реакций комбинационной схемы В. А. Провкин, А. Ю. Матросова
Material type:
ArticleContent type: Текст Media type: электронный Other title: Graph representations of the sets of all reachable reactions of the combinational circuit [Parallel title]Subject(s): комбинационные схемы | ROBDD-графы | булевы функцииGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 61. С. 128-138Abstract: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаемый граф содержит внутренние вершины, которые помечены только выходными переменными схемы. Алгоритм может быть использован в тех случаях, когда ROBDD-граф, зависящий от входных и выходных переменных, не может быть построен из-за экспоненциального роста количества вершин.
Библиогр.: 11 назв.
Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаемый граф содержит внутренние вершины, которые помечены только выходными переменными схемы. Алгоритм может быть использован в тех случаях, когда ROBDD-граф, зависящий от входных и выходных переменных, не может быть построен из-за экспоненциального роста количества вершин.
There are no comments on this title.