Принцип управления по хранимой программе

Напомним, что функция микропрограммного управляющего автомата определяется:

- множеством входных сигналов (логических условий): Х = {х₁, х₂ …х _n };

- множеством выходных сигналов (микрокоманд): У = {у₁, у₂ …у _k };

- микропрограммой (ГСА), задающей порядок следования выходных сигналов У в зависимости от значений входных сигналов X.

Если автомат Мура описан прямой таблицей переходов, то для каждого состояния a_m известно:

- множество выходных сигналов У(a_m), вырабатываемых автоматом в состоянии a_m;

- множество входных сигналов Х(a_m), определяющих все возможные переходы автомата из состояния a_m в состояние a_s;

- множество состояний a_s, в которые может перейти автомат из состояния a_m (обозначим A(a_m).

Для каждого состояния автомата Мура (а значит для каждой операторной вершины ГСА) эту информацию, необходимую и достаточную для описания закона функционирования автомата, можно закодировать и представить двоичным словом (микрокомандой – не путать с выходным сигналом автомата у_i, который часто так же называют микрокомандой !), которое имеет следующую структуру:

где:

№ – номер двоичного слова, соответствующего состоянию автомата а_m (или его адрес ЗУ, где будет храниться микропрограмма);

у_mi – выходной сигнал (микрокоманда), который должен вырабатывать автомат в данном состоянии а_m; в общем случае таких сигналов k; эта часть двоичного слова называется операционной;

х_mi – входной сигнал (логическое условие), участвующее хотя бы в одном переходе из a_m в a_s ; в общем случае таких сигналов n; эта часть двоичного слова называется управляющей;

а_mi – одно из состояний а_s , в которое может перейти автомат из состояния а_m при определенных значениях логических условий х_mi. Поскольку описание одного состояния – это одно двоичное слово, имеющее свой адрес в ЗУ, а_mi можно считать адресом состояния а_mi в ЗУ; в общем случае таких состояний s. Если количество логических условий в слове равно n, то количество а_mi равно 2 в степени n. Эта часть двоичного слова называется адресной.

Воспользуемся прямой таблицей переходов автомата Мура из примера (п.3.1).

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

Сам номер (№) в слово помещать не нужно, так как это адрес слова в ЗУ. В слове под у_mi отведено два поля, так как максимальное количество у_mi в состоянии а_m равно двум; под х_mi – достаточно отвести одно поле, так как в любом переходе из а_m в а_mi (или а_s) участвует только одно логическое условие. Под а_mi достаточно отвести 2 поля: для адреса перехода при х_m = 0 (а_х=0) и при х_m = 1 (а_х=1). Используя выбранный формат двоичного слова можно составить в виде таблицы содержательную микропрограмму, описывающую работу автомата.

В этой таблице – каждая строка соответствует одному из состояний автомата (столбец a_m); № - соответствует адресу слова, описывающего это состояние в ЗУ. В колонках у_m1 и у_m2 записаны микрокоманды, вырабатываемые автоматом в состоянии a_m, в колонке х_m записаны логические условия, определяющие переходы из состояния a_m в состояния, адреса которых в ЗУ записаны в колонках а_х=0 и а_х=1, в колонке a _m записаны пояснения: какому состоянию автомата соответствует данная строка.

Каждая из колонок этой таблицы (кроме a_m) должна быть представлена двоичными кодами. Количество двоичных разрядов для каждой колонки можно выбрать таким:

- у_m1 – 3 разряда: здесь будем записывать номер у_m1 (от 1 до 7);

- у_m2 – 3 разряда: здесь будем записывать номер у_m2 (от 1 до 7);

- х_m – 2 разряда: здесь будем записывать номер х_m (от 1 до 3);

- а_х=0 – 3 разряда: здесь будем записывать адрес а_х=0, по которому в автомате должен произойти переход к следующему слову при х_m =0 (от 0 до 4);

- а_х=1 – 3 разряда: здесь будем записывать адрес а_х=1, по которому в автомате должен произойти переход к следующему слову при х_m =1(от 0 до 4).

Таким образом разрядность двоичного слова в нашем примере равна 14. Закодированная микропрограмма имеет вид, приведенный в таблице. В каждой колонке записаны двоичные числа в соответствии с принятыми выше соглашениями. Требуемый объем памяти – 70 бит. Рассмотрим подробнее 2-ю строку в этих таблицах.

В этой и предыдущей таблицах в строке №2 описывается состояние автомата a₂. Из этого состояния – безусловный переход автомата в состояние a ₃. Поэтому в столбце х_m может быть записан номер любой переменной х_m , а в обоих столбцах а_х=0 и а_х=1 одинаковый адрес перехода. Так как записанный в столбце х_m обязательно имеет одно из значений: 0 или 1, то переход будет безусловным по адресу а_х=0 = а_х=1.

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

- память для хранения микропрограммы (ЗУ) объемом не менее пяти слов; чтение слова из памяти осуществляется по адресу, подаваемому на адресный вход ЗУ; разрядность слов – 14 бит;

- схему, преобразующую двоичный код у_m1 и у_m2 в унитарный код, соответствующий закодированному у_i; эта схема – дешифратор (DCу);

- мультиплексор (MSх), выбирающий из множества входных сигналов Х всего один, номер которого записан в столбце х_m;

- мультиплексор (MSа), выбирающий из слова адрес а_х=0 (если выбранное мультиплексором MSх значение х_m=0) или адрес а_х=1 (если выбранное мультиплексором MSх значение х_m=1);

- регистр адреса (RG), в который необходимо по импульсу синхронизации записать выбранный мультиплексором MSа адрес и подать его на адресный вход ЗУ, из которого будет считано следующее слово (иначе – переход в следующее состояние).

Пронумеруем разряды двоичного слова с 1 по 14 (как показано в таблице); номера разрядов будут соответствовать номерам выходов ЗУ.

Функциональная схема автомата приведена на рис.27.

На этой схеме кроме описанных выше элементов имеется 8 дизъюнкторов, объединяющих одноименные выходы дешифраторов DCу_m1 и DCу_m2 . Эти элементы необходимы в случае, если одна и та же микрокоманда у_i будет записана в разных строках микропрограммы в разных столбцах у_m1 и у_m2.

Автомат (рис.27) работает следующим образом. Сигнал Reset=1 устанавливает значение «0» во всех разрядах регистра RG. Код (или двоичное число) А=000 с выхода RG подается на адресный вход ЗУ. На выходах ЗУ (разряды 1..14) появляется слово, записанное по адресу 0 (см. таблицу). В этом слове:

разряды 1,2,3 – подаются на вход DCу_m1 и, поскольку в этих разрядах записано число 111 (7), на выходе «7» DCу_m1 формируется 1, а значит и выходной сигнал у₇ = 1;

разряды 4,5,6 – подаются на вход DCу_m2 и, поскольку в этих разрядах записано число 000 (0), (которое мы не использовали для кодирования у_i) на выходе «0» DCу_m1 формируется «1», но ни на каких либо других выходах у_i эта «1» не появится;

разряды 7,8 – подаются на управляющие входы мультиплексора MSх; в этих разрядах записано число 11 (3). Значение логического условия х₃ появляется на выход MSх;

мультиплексор MSа, в зависимости от значения х₃ («0» или «1») подает на входы регистра адреса RG либо адрес перехода, записанный в разрядах 9,10,11 (если х₃ = 0), либо адрес перехода, записанный в разрядах 12,13,14 (если х₃ = 1);

при поступлении на вход С импульса синхронизации, этот адрес запишется в регистр RG и с его выходов поступит на адресный вход ЗУ, на выходе которого появится слово, записанное по этому адресу.

Таким образом за один цикл (время между синхроимпульсами С) автомат считает из ЗУ некоторое двоичное слово, выработает микрокоманды у_m, проанализирует входные сигналы х_m, и в зависимости от их значения выберет адрес следующего двоичного слова в ЗУ.

Спроектированный нами интуитивно автомат содержит много избыточности и был приведен в качестве примера, как естественное воплощение наших рассуждений. Недостатками такого подхода являются, прежде всего, сложность схемы (при достаточно простых функциях автомата) и не оптимальная длина микрокоманды (двоичного слова), что приводит к неэффективному использованию памяти ЗУ.

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