Тема 3.4. Структурный синтез микропрограммных автоматов по ГСА

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

Результатом канонического метода структурного синтеза является система логических уравнений, называемых каноническими, описывающих:

1. Сигналы структурного выходного алфавита как функции от сигналов структурного входного алфавита и сигналов структурного алфавита состояний автомата;

2. Внутренние сигналы автомата как функции сигналов и .

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

П - элемент памяти, представляющий собой элементарный автомат Мура.

- вектор состояния автомата, заданный символами структурного алфавита состояний.

- вектор функций управления элементами возбуждения элементов памяти автомата.

- вектор выходных сигналов, заданный символами структурного выходного алфавита .

Переходу абстрактного автомата Мили соответствует переход структурного автомата из состояния в состояние под действием входного сигнала с выдачей выходных сигналов .

Переход отдельного элемента памяти из состояния в состояние происходит следующим образом: , т.е. под действием сигнала .

Компоненты вектора зависят от:

1. кодирования выходных сигналов абстрактного алфавита;

2. состояния автомата, т.е. от вектора ;

3. для автомата Мили – от вектора .

Поэтому сигналы выходного алфавита могут быть описаны в виде булевых функций:

…

Компоненты вектора зависят:

1. от кодов , ;

2. от особенностей элементов памяти - от особенностей функции переходов автомата Мура, реализованного в виде отдельного элемента памяти.

Сигналы алфавита также могут быть заданы в виде булевых функций:

…

В качестве элементарных автоматов Мура, используемых как элемент памяти автомата будем использовать триггера различных типов ( -, -, -, - триггера).

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