4.5 Пример канонического метода структурного синтеза автоматов на т-триггерах

Пусть задан частичный автомат Sтаблицами переходов и выходов (таблицы 4.13 и 4.14 соответственно).

Таблица 4.13 переходов автомата S Таблица 4.14 выходов автомата S

	a1	a2	a3			a1	a2	a3
z1	a3	a1	a1		z1	w2	w1	w1
z2	-	a3	a2		z2	-	w3	w2
z3	a2	-	a1		z3	w4	-	w1

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

Таблица 4.15 переходов Т-триггера

Q T	0	Q(t) 1
0	0	Q(t+1) 1
1	1	0

T(t)

Определяем количество входов структурного автомата L ≥ log₂3. L = 2. Кодируем входные сигналы автомата S, результаты заносим в таблицу 4.16.

Определяем количество выходов структурного автомата N ≥ log₂4, N = 2, результаты заносим в таблицу 4.17.

Таблица 4.16. Кодирование вход. Таблица 4.17. Кодирование выход.

сигналов автома S. cигналов автомата S.

	x1	x2			y1	y2
				w1	0	0
z1	0	0		w2	0	1
z2	0	1		w3	1	0
z3	1	0		w4	1	1

Определяем количество элементов памяти структурного автомата

(Т-триггеров) R ≥ log₂3, R = 2. Кодируем состояние автомата S, результаты заносим в таблицу 4.18.

Таблица 4.18 Кодирование

состояний автомата S.

	Q1	Q2
a1	1	1
a2	0	1
a3	1	0

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

4.6 Функционирование автоматов во времени

Выходные сигнала автомата у₁, …, у_n служат для управления некоторыми процессами (в ВМ, например, для управления схемами, обрабатывающими цифровую информацию). Каждый сигнал у₁, …, у_n вызывает в ВМ некоторое элементарное действие, например, сдвиг информации, передачу информации от одного устройства в другие и т.д. Эти элементарные действия называются микрооперациями, а сами сигналы – сигналами микроопераций. Длительность этих операций определяется требованиями управляемого процесса, например, временем, необходимым для выполнения самых длинных микроопераций.

Для задания хода автоматного времени служат специальные генераторы синхросигналов. Генератор синхросигналов – это электронный блок, генерирующий одну или несколько последовательных импульсов, инициирующих дискретные операции в логических цепях ЭВМ. Интервал времени между двумя следующими друг за другом синхросигналами называется периодом генератора синхросигнала. Период генератора синхросигналов выбирается исходя из времени, необходимого для выполнения самой длинной микрооперации .

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

Рассмотренный пример СА использован для задания последовательности переключения автомата синхросигналом CИ. Более общая схема синхронизации автомата (для случая Т-триггеров в качестве элементов памяти) приведена на рис. 4.8в.

Рисунок 4.8 – Генератор синхросигналов

Для правильного функционирования автоматов в качестве элементов памяти применяют, как правило, двухступенчатые триггеры. В момент наличия синхросигнала в новое состояние a_s = (δ_m, z_f) переключаются первые ступени этих триггеров, вторые же ступени запоминают предыдущее состояние a_m на всё время действия синхросигнала. Благодаря этому сигналу цепи обратной связи остаются неизменными. Подключение входных ступеней элементов памяти происходит в момент окончания действия синхросигнала. Поэтому можно считать, что моменты дискретного автоматного времени t = 0, 1, 2,..., изменяются в момент окончания действия синхросигнала. Сигналы x₁,… x_l также могут изменяться в момент окончания синхросигнала, оставаясь в течение такта неизменными.Сигналы x₁,… x_l информируют автомат о состоянии управляемого процесса и используется для выбора направления перехода автомата.Эти сигналы изменяются в процессе выполнения микроопераций в блоках ЭВМ под действием сигналов y₁,… y_n, однако на выходах автомата в течении автоматного тракта они должны быть неизменными. Поэтому, как правило, они хранятся на специальных элементах памяти (двухступенчатых триггерах) и изменяются на входе автомата в момент окончания автоматного такта.

Начальным состоянием элементов памяти всегда является состояние а₁. Из этого состояния автомат включается в работу и, закончив работу, возвращается в состояние а_1. Состоянию а₁ может соответствовать режим автомата ОСТАНОВ, когда автомат не реагирует на входные сигналы и не переключается в другие состояния. Для включения в работу, т.е. в положение РАБОТА, служит специальный сигнал ПУСК (рис.4.8в). В положении ОСТАНОВ сигнал ПУСК = 0. В положении РАБОТА сигнал ПУСК = 1. Процесс включения в работу называется запуском автомата. На графе автомата дуги, выходящие из вершины а₁ , помечаются сигналом ПУСК. На рисунке изображён граф автомата, заданный ранее табл 4.1 и табл.4.2. Сигнал ПУСК отмечен символом Z. Сигнал ПУСК должен входить конъюктивно в те наборы двоичных переменных канонической системы уравнений, которые определяют переходы автомата из начального состояния а_1­.

Поэтому система уравнений может быть записана в виде:

Запуск автомата на функциональной структурной схеме отмечен пунктирными линиями, на которые поступает сигнал ПУСК.

Необходимо заметить, что в реальных автоматах, используемых для управления преобразованием информации в ВМ, при кодировании входных сигналов используется соотношение N≥log₂F, благодаря чему в каждом автоматном такте при работе автомата на выходные каналы выдаётся хотя бы один двоичный сигнал y₁,…y_N­, отличный от нуля. Нулевое значение переменных y₁,…y_N­ в реальных автоматах возможно только в режиме ОСТАНОВ.