Предлагаются методы и средства для оптимизации и автоматизации синтеза комбинационных автоматов на основе базовых матричных кристаллов. Показываются возможности использования функциональных уравнений при представлении симметрических булевых функций в классах формул и схем из функциональных элементов в разных базисах, позволяющие получать соответствующие функционалы для показателей сложности-качества и минимизировать их. Ключевые слова: цифровые интегральные схемы, булевы функции, представление формулами и схемами, декомпозиция, сложность, показатели качества, функциональные и разностные уравнения.
