- •Оглавление
- •Задание
- •Абстрактный синтез
- •Минимизация №1
- •Минимизация №2
- •Минимизация №3
- •Результат минимизации.
- •Минимальное кодирование.
- •Произвольное кодирование.
- •Определение функций переходов для асинхронного rs-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для t-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для d-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Троичное моделирование.
2. Функции перехода в минимальном кодировании.
D2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
1 |
0 |
0 |
0 |
– |
– |
– |
0 |
01 |
0 |
0 |
0 |
0 |
– |
– |
– |
0 |
11 |
0 |
0 |
0 |
0 |
– |
– |
– |
0 |
10 |
0 |
0 |
0 |
0 |
– |
– |
– |
0 |
D1 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
0 |
0 |
1 |
1 |
– |
– |
– |
0 |
01 |
0 |
0 |
1 |
1 |
– |
– |
– |
0 |
11 |
0 |
0 |
0 |
1 |
– |
– |
– |
0 |
10 |
1 |
0 |
1 |
0 |
– |
– |
– |
0 |
D0 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
0 |
0 |
1 |
1 |
– |
– |
– |
1 |
01 |
0 |
0 |
0 |
0 |
– |
– |
– |
1 |
11 |
0 |
0 |
1 |
0 |
– |
– |
– |
1 |
10 |
0 |
0 |
1 |
0 |
– |
– |
– |
1 |
3. Функции перехода в произвольном кодировании.
D2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
1 |
1 |
0 |
– |
– |
– |
0 |
1 |
01 |
0 |
0 |
0 |
– |
– |
– |
0 |
0 |
11 |
0 |
0 |
0 |
– |
– |
– |
0 |
0 |
10 |
0 |
0 |
0 |
– |
– |
– |
0 |
1 |
D1 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
0 |
0 |
0 |
– |
– |
– |
1 |
0 |
01 |
0 |
0 |
0 |
– |
– |
– |
1 |
0 |
11 |
0 |
0 |
0 |
– |
– |
– |
1 |
1 |
10 |
0 |
0 |
0 |
– |
– |
– |
1 |
0 |
D0 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00 |
1 |
0 |
0 |
– |
– |
– |
1 |
0 |
01 |
0 |
1 |
0 |
– |
– |
– |
1 |
1 |
11 |
0 |
1 |
0 |
– |
– |
– |
1 |
1 |
10 |
1 |
0 |
0 |
– |
– |
– |
1 |
0 |
Выбор наименьших функций.
Для всех типов триггеров мной были выбраны функции произвольного кодирования как наиболее простые. По данным функциям были составлены функциональные и принципиальные схемы автоматов (см. приложение).
Моделирование
Моделирование проводилось по принципиальной схеме на асинхронных RS-триггерах (см. приложение).
Двоичное моделирование.
Выполнено итерациями Зейделя. Но для R1=y2 используется значение из предыдущей строки, так как сигнал идет по линии без задержек.
№ |
x1 |
x0 |
DD7.2 |
DD7.1 |
DD1.1 |
DD2.1=R2 |
DD2.2 |
DD2.3 |
DD2.4=S2 |
DD1.2 |
DD3.1=S1 |
DD1.3 |
DD3.2 |
DD3.3=R0 |
DD1.4 |
DD4.1 |
DD3.4 |
DD5.1=S0 |
DD6.1=y2 |
DD6.2=y1 |
DD6.3=y0 |
DD7.3 |
DD7.4 |
DD7.5 |
DD8 |
DD7.6=z0 |
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
2 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
3 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
4 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
зацикливание |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
2 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
3 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
устойчивое состояние |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
2 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
3 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
4 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
устойчивое состояние |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
2 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
3 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
устойчивое состояние |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
2 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
3 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
4 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
5 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
устойчивое состояние |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
2 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
устойчивое состояние |
||||||||||||||||||||||||||
№ |
x1 |
x0 |
DD7.2 |
DD7.1 |
DD1.1 |
DD2.1=R2 |
DD2.2 |
DD2.3 |
DD2.4=S2 |
DD1.2 |
DD3.1=S1 |
DD1.3 |
DD3.2 |
DD3.3=R0 |
DD1.4 |
DD4.1 |
DD3.4 |
DD5.1=S0 |
DD6.1=y2 |
DD6.2=y1 |
DD6.3=y0 |
DD7.3 |
DD7.4 |
DD7.5 |
DD8 |
DD7.6=z0 |
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
2 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
3 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
4 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
устойчивое состояние |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
2 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
переход в предыдущую последовательность |
||||||||||||||||||||||||||
0 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
2 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
устойчивое состояние |
||||||||||||||||||||||||||
