Зміст
1. Абстрактні автомати
.1 Завдання на першу частину курсового проекту
.2 Мінімізація абстрактного автомата Милі
.3 Синтез схеми кінцевого автомата
.4 Перевірка по першій частині курсового проекту
.5 Моделювання роботи абстрактного автомата
. Мікропрограмні автомати на базі логічних матриць
.1 Завдання на другу частину курсового проекту
.2 Синтез мікропрограмного автомата
.3 Синтез лічильника числа мікрокоманд
.4 Розробка цифрової лінії затримки (таймера)
. Список літератури
1. Абстрактні автомати
.1 Завдання на першу частину курсового проекту
В
.2 Мінімізація абстрактного автомата Милі
Автомат Мілі заданий таблицями переходів (табл.1.1) і виходів (табл.1.2).
Таблиця. 1.1. p align="justify"> s1s2s3s4s5s6s7s8х1s3s4s2s7s3s4s5s5х2s2s8s4s1s6s8s3s3х3s4s1s7s3s4s5s6s2 Таблиця. 1.2.
Розбиття на 1-класи еквівалентності здійснюється шляхом виявлення однакових стовпців таблиці 1.2, при цьому отримуємо:
В
Будуємо таблицю 1-розбиття (табл. 1.3.) і з неї знаходимо розбиття на 2-класи.
Таблиця. 1.3. PВ
Будуємо таблицю 2-розбиття (табл. 1.4.) і з неї знаходимо розбиття на 3-класи.
абстрактний автомат мікрокоманда цифровий
Таблиця. 1.4. PВ
Подальше розбиття неможливо. Таким чином, знайдені? - Класи, яким відповідає автомат Мілі, описуваний таблицями переходів (табл. 1.5.) І виходів (табл. 1.6.). br/>
Таблиця 1.5.
s1s2s3s4s7х1s3s4s2s7s1х2s2s7s4s1s3х3s4s1s7s3s2
Таблиця 1.6.
s1s2s3s4s7х1y3y1y3y1y3х2y2y3y2y3y2х3y1y2y1y2y1
Побудуємо реакції вихідного і оптимізованого автоматів на вхідний вплив x2x1x3x1x3x3x1x2, при початковому стані автомата s [0] = s1 (табл. 1.7.).
Таблиця 1.7.
Вхідна воздействиеx2x1x3x1x3x3x1x2Реакция вихідного автоматаy2y1y2y3y2y1y1y2Реакція минимизированного автоматаy2y1y2y3y2y1y1y2
Побудуємо граф-схеми вихідного (рис. 1.1) і оптимізованого (рис. 1.2.) автоматів.
В
Рис. 1.1. Граф-схема вихідного автомата. br/>В
Рис. 1.2. Граф-схема минимизированного автомата. br/>
1.3 Синтез схеми кінцевого автомата
Абстрактний синтез
. Вибір кількості тригерів. Так як автомат має 5 станів, то потрібно q =] log25 [= 3 тригера. p align="justify">. Кодування внутрішніх станів вхідних, вихідних сигналів:
Q1Q2Q3S1000S2001S3010S4011S7100
QnQn +1
