Содержание

Введение……………………………………………………………………….	2
1. Техническое задание……………………………………………………….	3
2. Общая последовательность сложения чисел с ПТ……………………......	3
3. Структурная схема АЛУ…………………………………………………….	5
4. Алгоритм сложения чисел в АЛУ………………………………………….	7
5. Разработка функциональной схемы блока управления…………………..	9
5.1. Общая последовательность разработки……………………………….	9
5.2. Формализация задания…………………………………………………	9
5.3. Выбор типа автомата………………………………………………….	10
5.4. Разметка схемы алгоритма…………………………………………....	11
5.5. Составление таблиц переходов и выходов……………………………	13
5.6. Кодирование состояний……………………………………………….	14
5.7. Составление кодированной таблицы переходов и выходов………...	15
5.8. Выбор типа триггера………………………………….……………….	15
5.9. Преобразование таблицы переходов в таблицу функций возбуждения триггеров…………………………………………….….	17
5.10. Запись функций возбуждения и функций выходов в СДНФ…...….	19
5.11. Минимизация функций возбуждения и функций выходов………..	21
5.17. Граф…………………………………………………………………..	24
Заключение……………………………………………………………………..	25
Литература……………………………………………………………………..	26

Введение

Абстрактный синтез включает в себя разработку алгоритма работы автомата и составление его формального описания в виде автоматных таблиц или в виде графа переходов. Алгоритм наиболее удобно и наглядно представлять в виде блок-схем. Разработка алгоритмов и блок-схем является наиболее творческой частью работы и плохо поддаётся формализации.

По разработанной блок-схеме описание работы автомата проще всего составлять в виде графа переходов. Вид графа зависит от того, проектируется автомат Мура или автомат Мили:

Автомат Мили Автомат Мура

x_t

y_t+1

y_t

f₁

f₁

z_t+1

z_t+1

x_t

f₂

f₂

y_t = f₁(x_t, z_t) y_t+1 = f_t(z_t+1)

z_t+1 = f₂(x_t, z_t) z_t+1 = f₂(x_t, z_t)

Автомат Мили (англ. Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Автомат Мили можно описать пятеркой (Q,X,Y,f,g), где Q - множество состояний автомата, X - множество входных символов, Y - множество выходных символов, q=f(Q,X) - функция состояний, y=g(Q,Y) - функция выходных символов.

Автомат Мура

Зависимость выходного сигнала только от состояния представлена в автоматах типа Мура (англ.Moore machine). В автомате Мура функция выходов определяет значение выходного символа только по одному аргументу — состоянию автомата. Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе.