Красічков О. О. Методи синтезу керуючих автоматів на конфігурованих логічних блоках

Об'єктом дослідження є керуючий автомат з пам'яттю на лічильнику. Метою роботи є зменшення вартості і збільшення швидкодії синтезованих мікропрограмних автоматів, шляхом мінімізації логічної схеми за рахунок розділення кодів станів і модернізації відомих методів декомпозиції булевих функцій. У процесі дослідження застосовувався формальний апарат теорії кінцевих автоматів, теорії множин, булевої алгебри і прикладної комбінаторики, теорії імовірностей і теорії графів. В результаті досліджень отримано нові структури і методи синтезу автоматів Мілі на лічильнику з розділенням кодів станів, а також визначена область їх ефективного застосування. Розроблено нові методи декомпозиції булевих функцій, що орієнтовані на швидку реалізацію булевих функцій з довільним числом аргументів та мінімізацію числа конфігурованих логічних блоків. Сферою використання є пiдприємства, якi розробляють схеми цифрових пристроїв на базі ПЛІС.