Алгоритмы синтеза автоматов на программируемых матрицах

Предлагается новый подход для решения задач логического синтеза. На основе этого подхода разработаны алгоритмы решения следующих задач компактной реализации программируемых логических матриц: построения кратчайшей дизъюнктивной нормальной формы системы булевых функций и кодирования (экономичного и противогоночного) состояний конечного автомата. В основе подхода лежит алгебра разбиений. Задается множество разбиений булева пространства на интервалы. На множестве разбиений определяются отношение порядка и соответствующие этому отношению операции. Множество разбиений образует алгебраическую структуру (решетку), которая допускает компактное представление. Исходя из свойств этой структуры, составляются алгоритмы решения задач логического синтеза. Отношение порядка на множестве разбиений и компактное представление этого множества позволяют уменьшить перебор в алгоритмах логического синтеза и улучшить емкостную (по памяти ЭВМ) оценку их сложности. Теоретический материал книги имеет...