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

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

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

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

Освещены методы синтеза цифровых устройств и систем с использованием аппарата обобщенных логических функций (ОЛФ). Рассмотрены специальные вопросы, связанные с нахождением булевых производных при решении задач анализа динамики и тестирования цифровых систем. Даны примеры синтеза цифровых устройств с использованием ОЛФ. Предложены методы представления ОЛФ с использованием языков описания аппаратуры (HDL-языков). Раскрыты особенности реализации цифровых систем на программируемых логических интегральных схемах при применении ОЛФ.