Содержание
|
Введение………………………………………………………………………. |
2 |
|
Техническое задание…………………………………………………………. |
3 |
|
Общая последовательность сложения чисел с ПТ………………………….. |
3 |
|
Структурная схема АЛУ……………………………………………………… |
4 |
|
Алгоритм сложения чисел в АЛУ…………………………………………… |
6 |
|
Общая последовательность разработки……………………………………… |
8 |
|
Формализация задания……………………………………………………….. |
8 |
|
Выбор типа автомата………………………………………………………… |
9 |
|
Разметка схемы алгоритма…………………………………………………... |
9 |
|
Составление таблиц переходов и выходов………………………………….. |
11 |
|
Кодирование состояний……………………………………………………… |
11 |
|
Составление кодированной таблицы переходов и выходов……………….. |
12 |
|
Выбор типа триггера…………………………………………………………. |
12 |
|
Преобразование таблицы переходов в таблицу функций возбуждения триггеров………………………………………………………. |
13 |
|
Запись функций возбуждения и функций выходов в СДНФ………………. |
13 |
|
Минимизация функций возбуждения и функций выходов………………… |
15 |
|
Заключение…………………………………………………………………….. |
17 |
|
Литература…………………………………………………………………….. |
18 |
Введение
Абстрактный синтез включает в себя разработку алгоритма работы автомата и составление его формального описания в виде автоматных таблиц или в виде графа переходов. Алгоритм наиболее удобно и наглядно представлять в виде блок-схем. Разработка алгоритмов и блок-схем является наиболее творческой частью работы и плохо поддаётся формализации.
По разработанной блок-схеме описание работы автомата проще всего составлять в виде графа переходов. Вид графа зависит от того, проектируется автомат Мура или автомат Мили:
Автомат Мили Автомат Мура
xt
yt+1
yt
f1
f1
zt+1
zt+1
xt
f2
f2
yt = f1(xt, zt) yt+1 = ft(zt+1)
zt+1 = f2(xt, zt) zt+1 = f2(xt, zt)
Автомат Мили (англ. Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Автомат Мили можно описать пятеркой (Q,X,Y,f,g), где Q - множество состояний автомата, X - множество входных символов, Y - множество выходных символов, q=f(Q,X) - функция состояний, y=g(Q,Y) - функция выходных символов.
Автомат Мура
Зависимость выходного сигнала только от состояния представлена в автоматах типа Мура (англ.Moore machine). В автомате Мура функция выходов определяет значение выходного символа только по одному аргументу — состоянию автомата. Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе.