- •Оглавление
- •Задание
- •Абстрактный синтез
- •Минимизация №1
- •Минимизация №2
- •Минимизация №3
- •Результат минимизации.
- •Минимальное кодирование.
- •Произвольное кодирование.
- •Определение функций переходов для асинхронного rs-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для t-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для d-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Троичное моделирование.
Троичное моделирование.
Выполняется итерациями Зейделя.
№ |
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 |
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 |
X |
X |
X |
X |
0 |
1 |
0 |
X |
X |
0 |
2 |
X |
X |
X |
X |
0 |
X |
1 |
X |
0 |
X |
X |
1 |
X |
X |
X |
3 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
4 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
5 |
0 |
0 |
1 |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
6 |
0 |
0 |
1 |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
присутствуют критические гонки |
||||||||||||||||||||||||||
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 |
X |
0 |
X |
1 |
0 |
1 |
0 |
X |
X |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
X |
0 |
0 |
X |
1 |
1 |
0 |
1 |
3 |
X |
0 |
X |
1 |
1 |
1 |
1 |
1 |
1 |
X |
1 |
0 |
1 |
1 |
0 |
X |
X |
X |
X |
0 |
X |
X |
1 |
X |
X |
X |
4 |
X |
0 |
X |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
5 |
X |
0 |
X |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
6 |
0 |
0 |
1 |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
7 |
0 |
0 |
1 |
1 |
X |
X |
X |
X |
X |
X |
X |
0 |
X |
X |
0 |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
X |
присутствуют критические гонки |
||||||||||||||||||||||||||
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 |
X |
1 |
X |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
X |
X |
3 |
X |
1 |
X |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
X |
X |
4 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
5 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
критических гонок нет |
||||||||||||||||||||||||||
Вывод
В ходе данной работы мной были применены следующие знания и умения: минимизация памяти абстрактного автомата (метод π-разбиения), применение различных способов кодирования сигналов и выбор наилучшего,
проектирование структурного автомата на асинхронных RS-триггерах и синхронных D и T, двоичное и троичное виды моделирования работы функциональных схем, реализация структурного автомата ввиде законченного устройства – печатной платы.