Вопрос 23. Примеры синтеза уажл.

ПС ВС	A0	A1	A2	A3
!X0!X1	Y0	-	Y2	-
!X0X1	Y0	-	Y2	-
X0!X1	Y0	Y1	Y2	Y1
X0X1	Y0	Y1	Y2	-

Мур – b_i Мили - а_i [См. №22]

ПС ВС	A0	A1	A2	A3
!X0!X1	A1	A2	A3	A1
!X0X1	A1	A2	A3	A0
X0!X1	A1	A2	A3	A1
X0X1	A1	A2	A3	A0

Мура: Отмеченная таблица переходов

ПС ВС	-	Y0	Y1	Y2
	B0	B1	B2	B3
!X0!X1	B1	B3	B3	B3
!X0X1	B1	B3	B3	B2
X0!X1	B1	B2	B3	B0
X0X1	B1	B2	B3	B0

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

Состояние	Q1	Q0	Переход	D
	0	0	0  0	0
B1	1	1	0  1	1
B2	0	1	1  0	*
B3	1	0	1  1	*

	Состояние				Bx
	Текущее		Следующее				D1			D0
	Q1	Q0	Q1	Q0
B0	0	0	B1	11	1	1		1
B1	1	1	B2	10		1		0
	1	1	B3	01	X0	0		1
B2	0	1	B3	10	1	1		0
B3	1	0	B0	00	X1	0		0
	1	0	B2	01		0		1
	1	0	B3	10		1		0

ТП ТВ

ПС ВС	A0	A1	A2	A3
!X0!X1	A1	A2	A3	A2
!X0X1	A1	A2	A3	A0
X0!X1	A1	A2	A3	A2
X0X1	A1	A2	A3	A0

ПС ВС	A0	A1	A2	A3
!X0!X1	Y0	-	Y2	-
!X0X1	Y0	-	Y2	-
X0!X1	Y0	Y1	Y2	Y1
X0X1	Y0	Y1	Y2	-

Кодировка состояний: 00, 01, 11, 10

Вопрос 24. Гонки и способы борьбы с ними

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

В результате гонок автомат может в какое-то из сущ. состояний, но не так как запланировано, либо может перейти в несуществующее состояние. Явление гонок может возникать и в ОА (при записи результата в регистр, который хранит один из операндов)

Методы борьбы с гонками в УА.

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

2. Использование синхронных триггеров или триггеров с динамическим управлением.

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

Два внутр. состояния A_i и Aj будем называть смежными первого ранга, если под действием x_i осущ. переход из A_i в Aj, либо наоборот - не смежными в противоположном случае.

A_i и Aj – будем называть смежными второго ранга, если переход из одного состояния в другое осуществляется через третье состояние.

Переход называется единичным, если он требует изменения состояния одного элемента, если двух – то двойным и т.д.

Сложение первого ранга опр. Потаблице переходов по каждому из столбцов. Вершины графа, имеющие непоср. Соединение ребром – смежные 1-го ранга. Смежные 1го р. состояния кодируются с помощью соседнего кодирования.

Условия, дающие возможность соседнего кодирования:

1. В графе не должно быть замкнутых циклов с нечетным числом состояний.

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

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