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

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

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

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;

кlog25;

к=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 для построения таблиц истинности функций включения YD триггеров. Полученные результаты приведены в таблицах 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

Похожие материалы

Информация о работе