Синтез управляющего автомата, Минимизация функций автомата Мили Опции

[artitrue]

Здравствуйте.
В курсовом проекте по теории автоматов требуется синтезировать управляющий автомат для выполнения операций умножение и деления с плавающей точкой. Модель автомата - Мили, критический параметр - объем оборудования, тип триггера - D. Алгоритм работы с микрооперациями и граф автомата готов, также произведено кодирование состояний автомата по методу оптимального кодирования (для D триггера, с минимизацией количества триггеров в состоянии "1") и проверка работы автомата в ModelSim. Предпоследний пункт курсовой работы требует минимизации функций автомата (входа и выхода), но не совсем ясно каким образом требуется производить её. Цитирую: "Кроме того, в некоторых случаях, вместо определенной по канонической методике функции требуется получить инверсию этой функции. Эта ситуация встречается при построении комбинационной части автомата из элементов 'ИЛИ-НЕ' и 'И-ИЛИ-НЕ. ... Замена определяемой функции её инверсией может быть выполнена во время минимизации, если минимизация проводится с помощью карт Карно (покрываются обязательные нули функции). При других метода минимизации подобное преобразование достаточно сложно, поэтому замена обязательных и необязательных единиц функции её обязательными и необязательными нулями должна быть сделана при заполнении структурной таблицы. ... Получение инверсии функции в комбинационной схеме добавлением инвертора, образующего третью ступень логики, в любом случае является ошибкой.'" Насколько я помню на схемотехнике мы сначала минимизировали функции с помощью карт Карно в "обычном" базисе И и ИЛИ, а потом используя законы де Моргана приводили их к требуемуму базису. Собственно вопрос - я правильно понимаю, что требуется использовать какой-то другой подход? И ещё хотелось бы узнать, каким образом выбирается итоговый базис схемы - просто по числу требуемых элементов? А также что такое "предварительная дешифрация состояний"? Эту концепцию можно использовать для построения итоговой схемы. Хотелось бы получить ссылки на литературу с примерами.