Синтез синхронного управляющего автомата

Размещено на http://www.allbest.ru/

Введение

По функциональному назначению основные устройства ЭВМ можно условно разделить на две категории: операционные устройства (ОУ) и управляющие устройства (УУ). Отдельные части операционного устройства функционируют в зависимости от алгоритма выполняемой операции. Управляющее устройство по сигналу операции вырабатывает необходимые сигналы, по которым запускается выполнение заданной микрооперации. Совокупность микроопераций, объединенных алгоритмом операции, составляет микропрограмму операции, которая, в свою очередь, является связующим звеном между командой (кодом операции) и операционным устройством (аппаратными средствами), предназначенным для преобразования информации.

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

1. Основные особенности теории синхронных автоматов

Математической моделью дискретного устройства является абстрактный автомат, определяемый как шестикомпонентный кортеж, или вектор [4 - 11]:

S = (Z, A, W, д, л, a₁), (1)

у которого:

Z={z₁,… z_f…z_F} - множество входных сигналов автомата (входной алфавит);

A={a₁,… a_m…a_M} - множество состояний автомата (алфавит состояний);

W={w₁,… w_g…w_G} - множество выходных сигналов автомата (выходной алфавит);

д: A х Z ? A - функция переходов автомата, реализующая отображение D_д A х Z на A.

Другими словами, функция д некоторым парам состояние - входной сигнал (a_m, z_f) ставит в соответствие состояние автомата a_s = д(a_m, z_f), a_s A;

л: A х Z W - функция выходов, реализующая отображение D_? A х Z на W, которая некоторым парам состояние - входной сигнал (a_m, z_f) ставит в соответствие выходной сигнал автомата w_g = л (a_m, z_f);

a₁ A - начальное состояния автомата.

Под алфавитом здесь понимается непустое множество попарно различных символов. Элементы алфавита называются буквами, а конечная упорядоченная последовательность букв - словом в данном алфавите.

Абстрактный автомат имеет один вход и один выход. Автомат работает в дискретном времени, принимающем целые неотрицательные значения t = 0,1,2,… В каждый момент t дискретного времени автомат находится в некотором состоянии a(t) из множества состояний автомата, причем в начальный момент времени t(0) автомат может находиться в начальном состоянии a(0) = a₁. В момент t, будучи в состоянии a(t), автомат способен воспринять на входе букву входного алфавита z(t)Z. В соответствии с функцией выходов он выдает в тот же момент времени t букву выходного алфавита w(t) = л (a(t)_, z(t)) и в соответствии с функцией переходов перейдет в следующее состояние a (t +1)=д (a(t)_, z(t)), причем a (t +1)A, а w(t)W. Смысл понятия абстрактного автомата состоит в том, что он реализует некоторое отображение множества слов входного алфавита Z в множество слов выходного алфавита W. Иначе, если на вход автомата, установленного в начальное состояние a₁, подавать буква за буквой некоторую последовательность букв входного алфавита z(0), z(1), z(2), … - входное слово, то на выходе автомата будут последовательно появляться буквы выходного алфавита w(0), w(1), w(2), … - выходное слово. Каждому входному слову соответствует определенное выходное слово, структура которого определяется функциями переходов и выходов.

Таким образом, на уровне абстрактной теории понятие «работа автомата» понимается как преобразование входных слов в выходные слова. Структурной моделью нулевого уровня абстрактного автомата является модель, представленная на рисунке 1.

Рисунок 1 - Структурная модель абстрактного автомата (нулевой уровень)

Чтобы задать конечный автомат S, необходимо описать все компоненты вектора S = (Z, A, W, д, л, a₁), т.е. входной и выходной алфавиты и алфавит состояний, а также функции переходов и выходов. Среди множества состояний может быть выделено начальное состояния автомата a₁, в котором автомат находится в момент t = 0.

По способу организации автоматного времени все автоматы делят на два больших класса: синхронные автоматы и асинхронные автоматы. Для синхронных автоматов моменты времени, в которых фиксируются изменения состояния автомата, задаются специальным устройством - генератором синхронизирующих сигналов (синхросигналов). Генератор формирует синхронизирующие сигналы через определенные промежутки времени, длительность которых может быть постоянной или переменной. В асинхронных автоматах моменты перехода автомата из одного состояния в другое заранее не определены, так как их продолжительность целиком определяется временем переходных процессов, происходящих в автомате.

При реальной работе любого автомата необходимо учитывать такие негативные явления, которые получили название «гонки» или «состязания». Эти явления обусловлены ограниченным быстродействием различных физических элементов автомата, конечным временем распространения электрических сигналов по линиям связи, различной длиной линий связи. В синхронных автоматах борьба с такими негативными явлениями осуществляется путем выбора (определения) минимально возможного такта работы автомата. В асинхронных автоматах устранения гонок или состязаний добиваются специальными, весьма сложными, видами кодирования входных, выходных сигналов и внутренних состояний автомата.

Надежную работу автомата легче обеспечить, если его выполнить в виде синхронного автомата, однако максимальным быстродействием обладают асинхронные автоматы. В то же время основой всех синхронных автоматов являются асинхронные автоматы.

2. Общие принципы построения и реализации синхронных управляющих автоматов

2.1 Обобщённая структура и принцип функционирования синхронных управляющих автоматов

Управляющий автомат (УА) генерирует последовательность управляющих сигналов из множества у₁.. у_m (сигналы у₁.. у_m называются микрооперациями, каждый из сигналов может принимать только одно из значений 1 или 0), предписанную микропрограммой У; и соответствующую значениям логическим условий х₁…х_n. При выполнении процессором пакета микропрограмм на его входы последовательно подаются коды операции, которые соответствуют той или иной микропрограмме. На входы процессора могут поступать внешние сигналы логических условий, а с выходов сниматься сигналы для управления внешними устройствами.

Переход на новый шаг алгоритма осуществляется только с приходом специального сигнала синхронизации (S).

Выходные сигналы у₁…у_m могут иметь различную длительность. Математической моделью управляющих автоматов, формирующих короткие выходные сигналы, является модель Мили, а для автоматов, формирующих длинные выходные сигналы - модель Мура.

2.2 Последовательность синтеза синхронных управляющих автоматов.

Синтезируемый УА на уровне «чёрного ящика» представим так, как показано на рисунке 2.



Рисунок 2 - Синтезируемый УА на уровне «чёрного ящика»

В данном курсовом проекте синхронный управляющий автомат,

реализуется некоторым алгоритмом функционирования, который формально задаётся таким начальным языком описания как граф - схема алгоритма (ГСА).

ГСА - это ориентированный связный граф, включающий вершины четырёх типов: начальную, конечную, операторную и условную см. рисунок 3. Конечная, операторная и условная вершины имеют по одному входу, начальная вершина входов не имеет. У начальной и операторной вершин по одному выходу, у условной - два выхода, помеченных символами 1 и 0. конечная вершина выходов не имеет.

ГСА удовлетворяет следующим условиям:

1) входы и выходы вершин соединяются друг с другом с помощью дуг, направленных всегда от выхода ко входу;

2) каждый выход соединён только с одним входом;

3) любой вход соединяется, по крайней мере, с одним выходом;

4) любая вершина ГСА лежит, по крайней мере, на одном пути из начальной вершины к конечной;

5) в каждой условной вершине записывается один из элементов множества Х={х₁…х_n} логических условий (разрешается в различных условных вершинах запись одинаковых элементов множества Х);

6) один из выходов условной вершины, помеченный «0» или «1», может соединяться с её входом;

7) в каждой операторной вершине записывается оператор (микрокоманда) У; - подмножество множества микроопераций У={у₁…у_m} (разрешается запись в различных операторных вершинах одинаковых микрокоманд).

а), б) - начальная и конечная вершины;

в) - операторная вершина;

г) - условная вершина.

Рисунок 3 - Графическое представление вершин ГСА

На первом этапе формализации алгоритм функционирования УА разбивается на ряд шагов, выполняемых последовательно. В процессе такого разбиения выделяются все операции по выполнению алгоритма, а также условия выполнения этих операции на каждом конкретном шаге.

Выполняемые операции заносятся в операторные вершины ГСА, а условия перехода от одного оператора к другому - в условные вершины.

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

Структура управляющего автомата во многом зависит от принципа его построения.

Принцип схемной логики (жёсткая логика) предусматривает реализацию множества состояний автомата блоком памяти (БП) на запоминающих элементах (триггеры), а функции выходов и переходов формируются логическим преобразователем (ЛП). Алгоритм функционирования УА в этом случае полностью определяется схемой соединения его элементов.



Рисунок 4 - Первый уровень структурной реализации УА

ЛП представляет собой комбинационную схему. БП содержит r элементов памяти, которыми для синхронных автоматов являются специально разработанные синхронные элементарные автоматы с памятью, которые стали называть триггерами.

Наибольшее распространение получили несколько разновидностей синхронных триггеров, которые получили следующие наименования: RS - триггер, D - триггер, Т - триггер, JK - триггер. Отличаются данные триггеры количеством информационных и управляющих сигналов, а также способами записи в них хранимой информации.

Блок памяти на своих выходах d₁..d_r должен формировать двоичный код, который соответствует номеру текущего шага алгоритма УА, или текущему внутреннему состоянию автомата. Предварительно все возможные внутренние состояния УА обозначаются некоторыми абстрактными символами, которым затем ставятся в однозначное соответствие двоичные структурные коды. На входы блока памяти должны воздействовать сигналы f₁.. f_r, которые формируются ЛП и в совокупности образуют двоичный код, соответствующий структурному коду следующего внутреннего состояния УА. Совокупность одновременно формируемых сигналов f₁.. f_r принято называть функцией возбуждения блока памяти, а каждый отдельный сигнал f₁.. f_r - функциями возбуждения элементов памяти.

Задачей логического преобразователя является формирование выходных сигналов УА и функций возбуждения элементов памяти как некоторой системы логических функций, аргументами которых являются переменные х₁...х_n, d₁…d_r. Такую систему логических функций принято называть каноническими логическими уравнениями УА, которые и должны реализоваться логическим преобразователем.

В качестве элементного базиса для реализации ЛП выбрана двухуровневая программируемая логическая матрица (ПЛМ). Это обусловлено тем, что в настоящее время ПЛМ являются весьма доступными, для широкого пользователей, высоко экономичными как для серийного, так и для разового производства изделий вычислительной техники, ориентированы на реализацию системы логических функций, представленных в дизъюнктивных нормальных формах (ДНФ).

Весьма существенным является также и то, что при использовании ПЛM в качестве элементного базиса для ЛП предоставляется возможность реализации в рамках данного курсового проекта УА достаточной сложности при компактном его графическом изображении в виде схемы электрической функциональной.

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

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

3. Исходные данные для курсового проектирования

Задание на курсовое проектирование включает в себя следующие исходные данные:

* Тип управляющего автомата - автомат Мура;

* Тип синхронных триггерных схем - D - триггеры;

* Способ структурного кодирования внутренних состояний управляющего автомата - 1 эффективный способ;

* Граф - схема алгоритма функционирования управляющего автомата см. рисунок 5;

* Таблица микрокоманд управляющего автомата.

Таблица микрокоманд управляющего автомата

Yi	микрооперации
	y1	y2	y3	y4	y5	y6	y7
Y1	1	1	0	0	0	0	1
Y2	0	0	0	1	0	1	0
Y3	0	0	0	1	0	1	1
Y4	0	0	0	0	1	0	1
Y5	1	0	1	1	0	1	0
Y6	0	0	1	0	1	0	0
Y7	1	1	1	0	1	1	0
Y8	1	1	0	1	0	1	1
Y9	0	0	1	0	0	1	0
Y10	0	0	0	1	1	0	0

4. Математическая модель автомата Мура

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

Описание автомата на абстрактном уровне позволяет осуществить анализ его функционирования без учёта конкретно реализуемых функций и условии.

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

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

Закон функционирования автомата типа Мура математически задается следующей системой уравнений (1):

(1)

где

a(t) - внутреннее состояние автомата в момент времени t (настоящий момент времени);

z (t) - входной сигнал в момент времени t;

w (t) - выходной сигнал в момент времени t;

a (t+1) - внутреннее состояние автомата в момент времени (t+1) (в следующий момент времени);

д - функция переходов;

л - функция выходов.

Первое уравнение в (1) отражает тот факт, что переход автомата в следующее состояние a (t+1) осуществляется только с приходом входного сигнала (входного символа) z(t) в момент времени t. При этом, то конкретное состояние, в которое перейдет автомат в момент времени (t+1), определятся парой (a_m, z_f), т.е. состоянием автомата a(t) и входным сигналом (символом) z(t) в момент времени t. Функция переходов в автомате типа Мура имеет такой же вид, как и для автомата типа Мили со всеми рассмотренными ранее особенностями математической и технической корректности модели.

Второе уравнение в (1) отражает закономерность формирования выходного сигнала (символа) автоматом типа Мура. Из уравнения видно, что выходной сигнал определяется только состоянием автомата в момент времени t и в явном виде не зависит от входного сигнала z(t). Соответствующий состоянию a(t) выходной сигнал в автомате Мура формируется на всем протяжении времени, пока автомат находится в состоянии a(t). В связи с данной особенностью автомата типа Мура говорят, что данный тип автомата формирует «длинные» выходные сигналы, которые однозначно определяются тем состоянием автомата, в котором он находится в данный момент времени.

Не смотря на то, что состояние выхода автомата Мура не зависит явно от состояния входа, его можно рассматривать как частный случай автоматов Мили. Действительно, так как для автоматов Мура справедливо

a(t) = д (a (t-1), z (t-1)), (2)

то справедливо и следующее соотношение:

w(t) = л (a(t)) = g (a (t-1), z (t-1)). (3)

Соотношение (2) показывает, что в автомате Мура выходной сигнал реально зависит от входного сигнала, но только действующего в предыдущий момент времени. Различие между автоматами Мура и Мили состоит в том, что в автоматах Мили выходной сигнал возникает одновременно с вызывающим его входным сигналом, а в автоматах Мура - с опозданием (задержкой) на один такт автоматного времени. Поэтому автоматы Мура можно рассматривать как автоматы Мили, имея в виду, что последовательность состояний выхода автомата Мили опережает на один такт последовательность состояний выхода автомата Мура.

В теории автоматов доказано, что между автоматами Мили и Мура существует взаимооднозначное соответствие: любой автомат Мили может быть преобразован в эквивалентный ему автомат Мура и наоборот.

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

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

5. Анализ граф-схемы алгоритма синтезируемого управляющего автомата и детализация его структурной схемы

5.1 Анализ и разметка граф - схемы алгоритма

Переход от алгоритмического описания к автоматному осуществляется путём разметки ГСА.

Правила разметки ГСА при реализации автомата по модели Мура:

- символом начального состояния а1 отмечаются начальная и конечная операторные вершины;

- все операторные вершины отмечаются различными символами а₂ …а_i …а_n;

- каждая операторная вершина ГСА должна быть отмечена только одним индивидуальным символом а_i.

Указанные правила разметки сформулированы для однократно выполняемых алгоритмов, при этом конечное состояние УА отождествляется с начальным состоянием.

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

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

В результате разметки ГСА определим множество внутренних состояний управляющего автомата: А= {а₁…а₁₄}, а также мощность этого множества: |A|=n=14.

5.2 Описание управляющего автомата с помощью таблиц переходов и выходов

По разметке ГСА см. рисунок 6 составим прямую таблицу переходов и выходов.

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

Таблица содержит следующие переменные:

а_m - состояние УА, из которого осуществляется переход за один такт автоматного времени;

а_s - состояние УА, в которое осуществляется переход за один такт автоматного времени;

Х (a_m, a_S) - логическое условие перехода из а_m в а_s;

Y (а_m) - микрокоманда (подмножество микроопераций), выполняемая автоматом в состоянии а_m (для автомата типа Мура).

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

Таблица переходов и выходов

am, Y(am)	as	X (am, as)
а1, Y1	а2	1
а2, Y5 а2, Y5 а2, Y5	a3 a6 a10	х1 12 12
а3, Y7 а3, Y7 а3, Y7	a4 a12 a4	х4 4 х3 4 3 х4
а4, Y5 а4, Y5	а5 а4	5 x5
а5, Y6	a1	1
а6, Y4 а6, Y4 а6, Y4	а12 а14 а7	х3 x1 х3 1 3
а7, Y2	a8	1
a8, Y4 a8, Y4	a9 a8	х4 6
a9, Y8	a1	1
a10, Y2	a11	1
a11, Y6 a11, Y6	а12 а14	x1 1
a12, Y3	a13	1
a14, Y5	a5	1
a13, Y6 a13, Y6	a4 a5	x5 5

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

6.1 Тип элементов памяти

В данном курсовом проекте для синхронного УА со схемной логикой блок памяти строится на комбинированных синхронных двухтактных D - триггерах (см. таблицу 6.1 и рисунок 7.).

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

Входы триггера и подаваемые на них сигналы делятся на информационные и вспомогательные. Информационные сигналы управляют состоянием триггера, которое определяется значением (0 или 1) сигнала на его основном Q - выходе. С другого Q - выхода снимается инверсный сигнал. При Q = 0 говорят, что триггер находится в нулевом состоянии или состоянии логического 0; при Q = 1 - в единичном состоянии или состоянии логической 1 Вспомогательные сигналы служат для предварительной установки триггера в начальное состояние.

Вход D-вход приема цифровой информации, а С - вход тактовых импульсов синхронизации, источником которых обычно служит генератор прямоугольных импульсов. По входам R и S D-триггер работает так же, как RS-триггер: при подаче на вход R напряжения низкого уровня D-триггер устанавливается в нулевое состояние, на вход S - в единичное. По входам D и С он может действовать как ячейка памяти принятой информации или как триггер со счетным входом.

Особенностью комбинированных триггерных схем является то, что наряду с наличием у них синхронно управляемых информационных входов, присутствуют также и входы асинхронной установки S и R триггеров в единичное «1» и нулевое «0» состояния. Входы асинхронной установки триггеров обозначены на УГО отдельными от синхронных входов зонами. Входы асинхронной установки необходимы для приведения триггеров в некоторые исходные (начальные) состояния, которые в совокупности соответствуют начальному состоянию синтезируемого синхронного управляющего автомата. Сигнал, подаваемый на входы асинхронной установки триггеров для приведения их в начальные состояния, принято называть сигналом сброса (Reset) или начальной установки (Н.У.). Сигнал начальной установки должен воздействовать только на один из асинхронных входов (S или R) каждого триггера. Не задействованные для начальной установки входы триггеров должны быть подключены к дополнительному сигналу, который является постоянным и пассивным для данного типа триггера.

6.2 Структурное кодирование входных, выходных сигналов и состояний автомата

Единообразное представление всех абстрактных символов, необходимых для задания автомата, называют структурным кодированием входных, выходных сигналов и состоянии автомата.

В настоящее время самым распространённым способом структурного кодирования является двоичное кодирование. Структурное кодирование проводится в два этапа:

1. Определим количество в-двоичных разрядов, необходимое для двоичного представления некоторого множества абстрактных символов. Величина в находится из следующего соотношения:

b = 1 + int(log₂ (|А|-1)), (4)

В пункте 6.1 было определено следующее множество внутренних состояний автомата А = {а₁…а₁₁} и мощность этого множества |А| = 11, тогда:

b = 1 +int (1og2 (11 - 1))=4.

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

При эффективном кодировании по первому способу состояния автомата (из графы а_m в таблице 5.1) упорядочиваются в следующем порядке: первым выбирается такое состояние автомата, в котором формируется максимальное количество выходных сигналов, после чего все остальные состояния автомата упорядочиваются в порядке уменьшения количества одновременно формируемых выходных сигналов. Далее кодирование производится таким же образом, как и для эффективного кодирования по второму способу.

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

a₁=1

a₂=3

a₃=3

a₄=2

a₅=1

a₆=3

a₇=1

a₈=2

a₉=1

a₁₀=1

a₁₁=2

a₁₂=1

a₁₃=2

a₁₄=1

Кодирование состояний автомата

		d4	d3	d2	d1
	a2	0	0	0	1
	a3	0	0	1	0
	a6	0	1	0	0
	a4	1	0	0	0
	a8	0	0	1	1
	a11	0	1	0	1
	a13	0	1	1	0
н.у.	a1	1	1	0	0
	a5	1	0	1	0
	a7	1	1	1	0
	a9	0	1	1	1
	a10	1	1	0	1
	a12	1	0	1	1
	a14	1	0	0	1

6.3 Составление расширенной структурной таблицы переходов и выходов

Исходными данными для составления расширенных структурных таблиц переходов и выходов являются таблицы 5.1 и данные, полученные в результате структурного кодирования состояний автомата (таблица 6.2).

Расширенные структурные таблицы переходов и выходов отличаются от таблицы 5.1 введением дополнительных граф, содержащих информацию о структурном коде состояния автомата в текущий момент времени К(а_m), о структурном коде автомата в последующий момент времени К(а_s), а также структурный код функции возбуждения блока памяти F(а_m, а_s), который должен формироваться логическим преобразователем для подготовки перехода автомата из состояния а_m в состояние а_s.

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

F(а_m, a_s) = К (a_s) (5)

Из уравнения (5) следует следующая система уравнений:

f₁ = d₁(а_s)

f₂ = d₂(а_s)

….

f_r = d_r(а_s)

Для начала по таблице 3.1 определим микрооперации, выполняемые одновременно при реализации УА каждой из микрокоманд У_i. Полагается, что если микрооперация равна 1, то она выполняется в данной микрокоманде, а если равна 0, то не выполняется. Таким образом, содержимое таблицы 3.1 можно представить следующим образом:

Y₁ = {y_1,y_2,y₇};

Y₂ = {y_4,y₆};

Y₃ = {y_4,y_6,y₇};

Y₄ = {y_5,y₇};

Y₅ = {y_1,y_3,y_4,y₆};

Y₆ = {y_3,y₅};

Y₇ = {y_1,y_2,y_3,y_5,y_6,y₇};

Y₈ = {y_1,y_2,y_4,y_6,y₇};

Y ₉ = {y_3,y₆};

Y ₁₀ = {y_4,y₅}.

Для автомата типа Мура структурная расширенная таблица переходов и выходов представлена таблицей 6.2. В данной таблице в графе У(а_m) производится детализация микроопераций, составляющих микрокоманды У(а_m), в соответствии с данными, представленными в таблице 3.1. В качестве структурных кодов используются коды, представленные в таблице 6.2.

Расширенная таблица переходов и выходов

am, Y(am)	К(am)	aS	К(as)	X (am, as)	F (am, as)
	d4	d3	d2	d1		d4	d3	d2	d1		f4	f3	f2	f1
a2 y4, y6	0	0	0	1	а3	0	0	1	0	х1	0	0	1	0
a2 y4, y6	0	0	0	1	а6	0	1	0	0	12	0	1	0	0
a2 y4, y6	0	0	0	1	а10	1	1	0	1	12	1	1	0	1
a3 y1, y3, y4, y6	0	0	1	0	а4	1	0	0	0	х4	1	0	0	0
a3 y1, y3, y4, y6	0	0	1	0	а12	1	0	1	1	4 х3	1	0	1	1
a3 y1, y3, y4, y6	0	0	1	0	а4	1	0	0	0	4 3 х4	1	0	0	0
a6 y5, y7	0	1	0	0	а12	1	0	1	1	х3 x1	1	0	1	1
a6 y5, y7	0	1	0	0	а14	1	0	0	1	х3 1	1	0	0	1
a6 y5, y7	0	1	0	0	а7	1	1	1	0	3	1	1	1	0
a4 y1, y3, y4, y6	1	0	0	0	а5	1	0	1	0	5	1	0	1	0
a4 y1, y3, y4, y6	1	0	0	0	а4	1	0	0	0	x5	1	0	0	0
a8 y5, y7	0	0	1	1	а9	0	1	1	1	х4	0	1	1	1
a8 y5, y7	0	0	1	1	а8	0	0	1	1	6	0	0	1	1
a11 y3, y5	0	1	0	1	а12	1	0	1	1	x1	1	0	1	1
a11 y3, y5	0	1	0	1	а14	1	0	0	1	1	1	0	0	1
a13 y3, y5	0	1	1	0	а4	1	0	0	0	x5	1	0	0	0
a13 y3, y5	0	1	1	0	а5	1	0	1	0	5	1	0	1	0
a1 y1, y2, y7	1	1	0	0	а2	0	0	0	1	1	0	0	0	1
a5 y3, y5	1	0	1	0	а1	1	1	0	0	1	1	1	0	0
a7 y4, y6	1	1	1	0	а8	0	0	1	1	1	0	0	1	1
a9 y1, y2, y4, y6, y7	0	1	1	1	а1	1	1	0	0	1	1	1	0	0
a10 y4, y6	1	1	0	1	а11	0	1	0	1	1	0	1	0	1
a12 y4, y6, y7	1	0	1	1	а13	0	1	1	0	1	0	1	1	0
a14 y1, y3, y4, y6	1	0	0	1	а5	1	0	1	0	1	1	0	1	0

7. Разработка и оформление схемы электрической функциональной синтезированного синхронного управляющего автомата

Схема электрическая функциональная синтезируемого УА состоит из объединённых схем функциональных блока памяти и логического преобразователя, реализованного на двухуровневой программируемой логической матрице (ПЛМ).

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

Схема электрическая функциональная управляющего автомата показано в приложенииА.

Как видно из приложения A, ПЛМ состоит из блока инверторов входных логических переменных (х₁ …х₆) и двух матриц. Матрица И реализует на шинах z₁…z₃₁ элементарные конъюнкции с любым набором прямых и инверсных значений логических переменных х₁ …х₆, а матрица ИЛИ реализует элементарные дизъюнкции с элементарными конъюнкциями, сформированными на шинах z₁…z₃₁. Матрицы Ии ИЛИ представляют собой систему перпендикулярных проводников, в узлах пересечения которых располагаются полупроводниковые элементы, реализующие с резисторами нагрузки операции И и ИЛИ. Операция И реализуется при помощи диодов, а операция ИЛИ - при помощи триодов.

Заключение

В курсовом проекте была рассмотрена методика синтеза синхронного управляющего автомата (УА). С применением этой методики и использованием элементной базы в виде программируемой логической матрицы и блока D-триггерных схем были получены практические навыки синтезирования синхронного УА; разработана схема электрическая функциональная.

Полученный УА полностью соответствует заданию курсового проекта.

Литература

мур автомат синхронный управляющий

1. Федосеева Л.И., Логические основы цифровых автоматов. Учебное пособие. - Пенза: изд-во Пензенского государственного университета, 1996.-34 с.

2. Федосеева Л.И., Элементы теории цифровых автоматов. Учебное пособие. - Пенза: изд-во Пензенского государственного университета, 2001. - 107 с.

3. Федосеева Л.И., Синтез управляющих автоматов. Учебное пособие. - Пенза: изд-во Пензенского технологического института, 2002.-55 с.

4. Лазарев В.Г., Синтез управляющих автоматов. - М.: Энергоатомиздат, 1989.-327 с.

Размещено на Allbest.ru