Конструирование микропрограммного управления в логике

При проектировании управления машиной используется преобразование блок-схемы алгоритма управления машиной (рис. 5.3) в графическую модель алгоритма — конечный автомат[1] (КА).

Микрокоманды управления машиной (г/0, уь уъ г/3 — управляющие сигналы):

Уо- Mo(S, Ро, А, Р, 0 - {(5 = Р0), (Л = />,), (i - 0)}; yl:Ml(S,A) = (S=(S[t.8] +Л));

y2:M2(S) = (S = S» 1);

Уз- М%(Р2, S) = (Р2 = S).

Состояния конечного автомата Qq, Q,, Q2, Q:i трактуем как высказывания: <2о = (состояние Qq), = (состояние Qt) и т.и.

Схема функциональной микропрограммы управления машиной умножения

Рис. 5.3. Схема функциональной микропрограммы управления машиной умножения

Условные предикаты: UX(JS) = (S & 1), U2 = (г < 8).

Логика управления:

Оо/Уо - ввод;

0/УУ2 * {Qov (Qi v Qi) & ЩО) & vx(S)

Qi/Уъ <- (<2o v «2, v Q2) & U2(i)} & -,?/,(5);

Оз/Ул ^ (Qv 0.2) & -'ЩО) - вывод.

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

Результаты проектирования тестируются программой в C++, которая реализует логику управления КА и исполняет процедуры, которые предусматриваются предикатами состояния КА.

  • [1] Карпов Ю. Г. Теория автоматов.
 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >