Другие предметы \ Теория дискретных устройств

Разработка асинхронного автомата. Синтезирование асинхронного автомата табличным методом

Страницы работы

Уважаемые коллеги! Предлагаем вам разработку программного обеспечения под ключ.

Опытные программисты сделают для вас мобильное приложение, нейронную сеть, систему искусственного интеллекта, SaaS-сервис, производственную систему, внедрят или разработают ERP/CRM, запустят стартап.

Сферы - промышленность, ритейл, производственные компании, стартапы, финансы и другие направления.

Языки программирования: Java, PHP, Ruby, C++, .NET, Python, Go, Kotlin, Swift, React Native, Flutter и многие другие.

Всегда на связи. Соблюдаем сроки. Предложим адекватную конкурентную цену.

Заходите к нам на сайт и пишите, с удовольствием вам во всем поможем.

Содержание работы

2. РАЗРАБОТКА АСИНХРОННОГО АВТОМАТА

Исходные данные:

Синтезировать асинхронный автомат табличным методом.

Элементы памяти: D-триггеры.

Таблица переходов приведена в таблице 6:

Таблица 6 – Таблица переходов.

s a	a1	a2
S0	S4	<S0>
S1	<S1>	S2
S2	<S2>	S3
S3	<S3>	S1
S4	S0	<S4>

Таблица выходов приведена в таблице 7:

Таблица 7 – Таблица выходов.

s a	a1	a2
S0	0	1
S1	0	1
S2	1	0
S3	0	1
s4	0	0

2.1. Синтез синхронного автомата.

Определим количество элементов памяти: (D- триггеров).

2^к5;

кlog₂5;

к=3, т.е. число D- триггеров равно 3.

Прокодируем внутренние состояния и результаты занесём в таблицу 8:

Таблица 8

	A	B	C
S0	1	1	1
S1	1	1	0
S2	1	0	1
S3	1	0	0
S4	0	1	1

Прокодируем входные состояния и результаты занесём в таблицу 9:

Таблица 9

	Х
а1	0
а2	1

Полученная таблица переходов приведена в таблице 10.

Таблица 10

s a	a1	a2
111	011	<111>
110	<110>	101 *
101	<101>	100
100	<100>	110
011	111	<011>

При переходе 110 ® 101 возникают состязания.

Если t2<t3, возникает двухтактный переход 110®111®101 – случай критических состязаний.

Если t2>t3, возникает двухтактный переход 110®100®101 – случай некритических состязаний.

Чтобы устранить критические состязания доопределим неосновные состояния и поменяем 101 на 010. Заменим переход 110®111®101 на 110®010®000®001®101.

После устранения критических состязаний получим таблицу переходов 11

Таблица 11

S a	a1	a2
111	011	<111>
110	<110>	010
101	<101>	100
100	<100>	110
011	111	<011>
010	---	000
001	---	101
000	---	001

Таблица 12 - Таблица истинности для D-триггера

переход	D
0®0	0
0®1	1
1®0	0
1®1	1

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

Минимизация функций с помощью карт Карно приведена на рисунке 15.

Таблица 13.

X(t)	Y1(t-1)	Y2(t-1)	Y3(t-1)	Y1(t)	Y2(t)	Y3(t)	Z(t)
0	1	1	1	0	1	1	0
1	1	1	1	1	1	1	1
0	1	1	0	1	1	0	0
1	1	1	0	0	1	0	1
0	1	0	1	1	0	1	1
1	1	0	1	1	0	0	0
0	1	0	0	1	0	0	0
1	1	0	0	1	1	0	1
0	0	1	1	1	1	1	0
1	0	1	1	0	1	1	0
0	0	1	0	--	--	--	--
1	0	1	0	0	0	0	1
0	0	0	1	--	--	--	--
1	0	0	1	1	0	1	1
0	0	0	0	--	--	--	--
1	0	0	0	0	0	1	1