Исходные данные:
Синтезировать асинхронный автомат табличным методом.
Элементы памяти: D-триггеры.
Таблица переходов приведена в таблице 6:
Таблица 6 – Таблица переходов.
|
|
a1 |
a2 |
|
S0 |
S4 |
<S0> |
|
S1 |
<S1> |
S2 |
|
S2 |
<S2> |
S3 |
|
S3 |
<S3> |
S1 |
|
S4 |
S0 |
<S4> |
Таблица выходов приведена в таблице 7:
Таблица 7 – Таблица выходов.
|
|
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
|
|
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
|
|
a1 |
a2 |
|
111 |
011 |
<111> |
|
|
<110> |
010 |
|
101 |
<101> |
100 |
|
100 |
<100> |
110 |
|
011 |
111 |
<011> |
|
|
--- |
000 |
|
|
--- |
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 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.
s a 
s a 
s a 
110
010
001