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

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

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

5 страниц (Word-файл)

Скачать файл

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

Опытные программисты сделают для вас мобильное приложение, нейронную сеть, систему искусственного интеллекта, 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