3. Поиск пар совместимых состояний

Совместимые состояния:

S2	X
S3	X	X
S4	~	X	X
S6	~	~	~	~
S7	~	~	~	X	~
	S0	S2	S3	S4	S6

S0~S4

S0~S6

S0~S7

S2~S6

S2~S7

S3~S6

S3~S7

S4~S6

S6~S7

{S0,S2,S3,S4,S6,S7}

S0≠S2,S3

{S2,S3,S4,S6,S7}

{S0,S4,S6,S7}

S2≠S3,S4

{S0,S4,S6,S7}

{S2,S6,S7}

{S3,S4,S6,S7}

S3≠S4

{S0,S4,S6,S7}

{S2,S6,S7}

{S3,S6,S7}

{S4,S6,S7}

S4≠S7

{S0,S4,S6}

{S0,S6,S7}

{S2,S6,S7}

{S3,S6,S7}

{S4,S6}

{S6,S7}

	S0	S2	S3	S4	S6	S7
C1	V			V	V
C2	V				V	V
C3		V			V	V
C4			V		V	V
C5				V	V
C6					V	V

P0

P0

P1

P2

P3

P4

P5

P6

P7

{S4}

{S3}

{S4}

{S3}

{S7}

{S0}

{S0}

X

P0

P1

P2

P3

P4

P5

P6

P7

{S4}

{S4}

{S4}

{S4}

{S7}

{S0}

{S0}

X

{S0,S4}

P1

{S2}

{S2,S6,S7}

{S3}

{S2}

P2

{S2}

P3

X

P4

{S7}

P5

{S0}

P6

{S6}

P7

{S6}

S0 = C1 = {S0,S4}

S1 = C3 = {S2,S6.S7}

S2 = C4 = {S3}

Используя новые состояния, получаем таблицу частичного автомата Мили:

Pi Si	P0	P1	P2	P3	P4	P5	P6	P7
S0	S1/W3	S1/W3	S1/W3	-	-	-	S1/W3	S1/W3
S2	S0/W1	S2/W4	S0/W1	S2/W4	S1/W2	S0/W0-	S0/W0	-
S3	S0/W2	S0/W2	S0/W2	S0/W2	-	-	-	-

Получили граф частичного автомата Мили (см. рис.7).

P₀,P₁,P₂,P₆,P₇/W₃

P₀,P₂/W1;P₅,P₆/W₀

P₄/W₂

P₀-P₃/W₂

P₁,P₃/W₄

Рис. 7. Граф частичного автомата Мили.

Проверка графа частичного автомата Мили производится аналогично проверке в пункте 2.2.1.

Pi

P0

P2

P0

P3

P0,P1

P6,P7

P4

P6

P2

P0

P0

P3

Si

S0

S1

S0

S1

S2

S0

S1

S1

S0

S1

S0

S1

Wi

W3

W1

W3

W4

W2

W3

W2

W0

W3

W1

W3

W4

Pi

P0,P1

P6,P7

P4

P6

P2

P1

P0,P3

P6,P7

P5

Si

S2

S0

S1

S1

S0

S1

S2

S0

S1

S0

Wi

W2

W3

W2

W0

W3

W4

W2

W3

W0

Тест сошёлся, значит этап не содержит ошибок.

3. СТРУКТУРНЫЙ СИНТЕЗ

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

1. Кодирование соседями

Приближённая оценка сложности схемы для данного варианта равна 42 входа.

2. Кодирование кодом, обеспечивающим минимальное число переключений элементов

Приближённая оценка сложности схемы для данного варианта равна 54 входа, что хуже, чем предыдущий вариант.

3. Проверка правильности кодирования

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

Тест пройден успешно, значит кодировка проведена правильно.

4. Синтез двухступенчатого триггера и функциональная схема

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

5. Временная диаграмма двухступенчатого триггера

Одна клетка = 2τ

6. Функциональная схема автомата

Количество входов схем равно 45.

7. Временная диаграмма автомата

Одна клетка = 4τ

2. Функциональная схема автоматов с использованием ПЗУ

1. Функциональная схема автоматов с использованием ПЛМ

4. ВЫВОДЫ

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

23