Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Курсовые / ЭВТ-3-Синтез ДА с памью2-Коган / ЭВТ-3-Синтез ДА с паматью курсовой-Коган .doc
Скачиваний:
22
Добавлен:
10.12.2013
Размер:
422.4 Кб
Скачать

Абстрактный синтез.

  1. Построение и минимизация Первичной таблицы переходов- выходов

Таблицу строим по словесной формулировке, приведенной в задании и тем самым осуществляем первый переход к формализованной записи условий работы синтезируемого ДУ.

Таблица переходов

N

abc

Z1

Z2

000

001

010

011

100

101

110

111

1

1

6

7

--- 

2

 ---

--- 

--- 

0

0

2

8

--- 

 ---

 ---

2

3

9

 ---

0

0

3

 ---

4

 ---

 ---

10

3

 ---

11

0

0

4

5

4

 ---

12

 ---

13

 ---

 ---

0

0

5

5

 ---

 ---

 ---

 ---

--- 

 ---

 ---

1

0

6

 ---

6

 ---

 ---

 ---

 ---

 ---

 ---

0

1

7

 ---

 ---

7

 ---

 ---

 ---

 ---

 ---

0

1

8

8

 ---

 ---

 ---

 ---

 ---

 ---

 ---

0

1

9

 ---

 ---

 ---

 ---

 ---

 ---

9

 ---

0

1

10

 ---

 ---

 ---

 ---

10

--- 

 ---

 ---

0

1

11

 ---

 ---

 ---

 ---

 ---

 ---

 ---

11

0

1

12

 ---

 ---

 ---

12

 ---

--- 

 ---

 ---

0

1

13

--- 

 ---

--- 

 ---

 ---

13

 ----

 ----

0

1


Минимизация первичной таблицы переходов-выходов

С целью уменьшения числа элементов памяти желательно иметь таблицы переходов с минимальным числом строк. Число строк первичной таблицы переходов-выходов может быть уменьшено за счет объединения некоторых из них. Воспользуемся наиболее простым методом минимизации первичной таблицы переходов-выходов - методом объединения совместимых внутренних состояний. Для наглядности представления всех возможных объединений строк таблицы построим диаграмму объединений.

Диаграмма обединений

На основании полученного результата строим минимизированную таблицу переходов.

Минимизированная таблица переходов.

N

abc

000

001

010

011

100

101

110

111

A

1

6

7

--- 

2

--- 

--- 

--- 

B

8

--- 

 ---

 ---

2

3

9

 ---

C

 ---

4

 ---

 ---

10

3

 ---

11

D

5

4

 ---

12

--- 

13

 ---

 ---

II. Построение реализуемой таблицы переходов.

А) Построение диаграммы переходов.

Для каждой строки минимизированной таблицы переходов по каждому столбцу (с неустойчивым тактом) выписываем все переходы:

A  B100

B  C101

C  D001

{Все имеющиеся переходы обязательные.}

На основании полученных результатов строим диаграмму переходов.

Диаграмма переходов

A B C D

Б) Кодирование строк для исключения состязаний элементов памяти.

Так как переходы от строки к строке для исключения состязаний должны осуществляться при изменении состояния только элемента памяти, то комбинации состояний элементов памяти тех строк, между которыми есть переходы, должны быть соседними. Для выбора соседних комбинаций состояний элементов памяти, т.е для кодирования строк таблицы переходов, воспользуемся картой Карно (иногда это называют вхождением таблицей в карту Карно ).

Берем карту Карно на 2 элемента:

Y2

0

1

Y1

0

A

B

1

D

C


A

00

B01

C11

D10

В) Построение реализуемой таблицы переходов.

Заполненная карта Карно позволяет построить реализуемую таблицу переходов. Она имеет такой же вид, как и минимизированная таблица, но в ней дополнительно указываются элементы памяти, их состояния (в соответствии с кодом строк) и все переходы. Напомню что для обеспечения соседства строк, в строке B два условных состояния были заменены на неустойчивые такты и через них введены дополнительные переходы.

Соседние файлы в папке ЭВТ-3-Синтез ДА с памью2-Коган