Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Баранов, С. И. Синтез микропрограммных автоматов

.pdf
Скачиваний:
81
Добавлен:
19.10.2023
Размер:
6.76 Mб
Скачать

Таблица 8-16

Структурная таблица автомата управления ЦВМ

Исходное состояние или узел

Код исход­ ного состо­ яния

Состояние или узел перехода

Код состоя­ ния перехода

Входной

 

Обязательные

Выходной сигнал

функции воз­

сигнал

 

 

буждения

 

0000

«1

0000

Ol

0000

Оз

llOO

Ol

0000

Оз

llOO

Ol

0000

a3

ilOO

a3

llOO

Qi

 

aio

ООН

Ol

0000

Ql

 

a2

OIOO

Oi

0101

Ol

0101

Oa

0101

Q2 .

 

Qо

 

Q2

Q3

Qa

«4

0101

Qa

 

O3

1101

Qa

 

Ql

Qa

Qs

Qa

Ol 0000

a2 0100

Oj 1100

Oa 0101

ab 1101

0(1 0001

РзРіРз РзРіРзХ7

~РзРіх1 Р2Р1

РзРз

РзРз

РзРзх8 РзРз

РзРі

X1

Ха

Р-Гр і Хі

Х1

Л*2

ХаРі

х аРі хзРзРз

хаРі хз

Pзхзха

Рзхз

РзЧ

ХЪ

Л-5

хаРі хзРзРз

Рзхз

Л*2Л.'о

Рзхзхв

Уіз

Уі, Уз*Уз Уі, у * . Уз

Уа

Уз, Уа Уз, Уо Уз, Уа

Уі, УУо У-, Уз, Уо Уі, Уз, Уо У-,, Уз, Уо Ут Уз, Уо

Уіо’ Уи, Уіз Уз, Ую>Уіз

У-,, Уо, Уи, Уіз Уз, Уо, Уіз, Уіо

W i

ф.

Фа

Фі ф А

ФА

Фіфі

Ф1Ф2Ф1 Ф1Ф2Ф1 Ф1Ф2Ф4 Ч’іФ-Фі Фіфгф-і

Фі Ф1Ф2Ф4

Ф А ФАф4

211

\\

­

Исходное состояние узелили

исходКод ного яния

 

состо­

о4

0101

Q,

 

05

1101

а-

1001

« 4

0101

О і

0000

Ol

0000

Оо

0001

0S

1111

Q.4

 

О0

0111

 

­

 

­

узел

перехо

состоя

Состояние или перехода

ния да

 

Код

 

1001

а»

1111

о»

0111

аю ООП

Входной

сигнал

• Н Р іА 'з Р з Р з

.ѵ2.ѵ0

.Vo

- И Р Н з Р з Р з

PzPsXs

PzPlPsX7

ХЛ

1

Л5

1

Продолжение табл. 8-16

Обязательные Выходной сигнал функции

возбуждения

У і ’ У і 1 ’

U1 2

У і , У з >

У 12

Уіз

У22

У20

Уіа

Уіа

Уіа

Уіа Уи

ФА

ФИ Г а Ф 4

фз

Ф гФ з

фіфз

ФаФ эФ і

Ф2 Ф 3 Ф 4

ф„фз

Фі

Ф1 Ф 2 Ф 3 Ф 4

Уеп Уді У11

1 |’ 2

СПИСОК ЛИТЕРАТУРЫ 1

1.Логика. Автоматы. Алгоритмы. М., Физматгиз, 1963. 556 с. с ил. Авт.: М. А. Айзерман, Л. А. Гусев, Л. И. Розоноэр, И. М. Смирнова, А. А. Таль.

2.Ауфенкамп Д. Д., Хон Ф. Е. Анализ последовательностных машин.— «Пе­ риодический сборник переводов иностр. статей. Математика»; 1959, вып. I,

3 : 3, с. 129—146; 1959, вып. II, 3 : 6, с. 145—158.

3.Баранов С. И. Минимизация условных вершин в граф-схемах алгоритма. Киев, Институт кибернетики АН УССР, 1972. 43 с. с ил.

4.Баранов С. И. Синтез микропрограммных автоматов. Л., ЛДНТП, 1971. 36 с. с ил.

5.Гаврилов М. А. Теория релейно-контактных схем. М.—Л., Изд-’во АН СССР, 1950. 304 с. с ил.

6.Глушков В. М. О применении абстрактной теории автоматов для минимиза­ ции микропрограмм.— «Известия АН СССР. Техническая кибернетика», 1964, № 1, с. 3—9.

7.Глушков В. М. Синтез цифровых автоматов. М., Физматгиз, 1962. 476 с. с ил.

8.Дьяченко В. Ф., Лазарев В. Г., Саввин Г. Г. Управление на сетях связи.

М., «Наука», 1967. 223 с. с ил.

9.Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М., «Наука», 1971. 512 с. с ил.

10.Капитонова Ю. В. Кодирование абстрактных автоматов С-кодами.— «Ки­ бернетика», 1965, № 1, с. 40—44.

11.Лазарев В. Г., Пийль Е. И. Синтез управляющих автоматов. М., «Энергия»,

1970. 400 с. с ил.

12.Ляпунов А. А. О логических схемах программ.— «Проблемы кибернетики», 1958, вып. I, с. 46—74 с ил.

13.Майоров С. А., Новиков Г. И. Структура цифровых машин. Л., «Машино­ строение», 1970. 480 с. с ил.

14.Мацевитый Л. В. Метод синтеза узлов ЭЦВМ из элементов потенциального типа. Киев, КДНТП, 1963. 36 с. с ил.

15.Мацевитый Л. В., Денисенко Е. Л. О кодировании внутренних состояний

-некоторых многотактных устройств.— «Кибернетика», 1966, № 1, с. 1—6.

16.Мелихов А. Н. Ориентированные графы и конечные автоматы. М., «Наука», 1971. 416 с. с ил.

17.

Миллер Р. Теория переключательных схем. Т. 1. М.,

«Наука»,

1970.

416

18.

с. с ил.

«Наука»,

1971.

304

Миллер Р. Теория переключательных схем. Т. 2. М.,

 

с. с нл.

 

 

 

19.Мороз Д. 3. Алгоритм кодирования состояний конечного автомата.— «Ав­ томатика и вычислительная техника», 1970, № 4, с. 21—24.

20.Новиков П. С. Элементы математической логики. М., Физматгиз, 1960. 400 с. с ил.

21.Поспелов Д. А. Логические методы анализа и синтеза схем. М., «Энергия», 1968. 328 с. с ил.

1 Обширная

библиография

по теории автоматов содержится в книге

А. Н. Мелихова

[16], в связи с

чем автор счел возможным указать лишь мини­

мум широко доступной литературы, на которую есть ссылки в тексте.

213

22.Сешу С., Рид М. Линейные графы и электрические цепи. М., «Высшая школа», 1971. 448 с. с ил.

23.Якубайтнс Э. А. Синтез асинхронных конечных автоматов. Рига, «Зпнатне»,

1970. 325 с. с ил.

24.Янов Ю. И. О логических схемах алгоритмов.— «Проблемы кибернетики», 1958, вып. 1, с. 75—127.

25.Curtis Н. A. Multiple Reduction of Variable Dependency of Sequential Machi­

nes.— «Journal of

the Association

for Computing Machinery», 1962, vol. 9,

N 3, p. 324—344.

 

of Sequential Machines.— «Information

26. Hartmanis J. Loop Free Structure

and Control», 1962,

vol. 5, N 1, p.

25—43.

27.Hartmanis J. On the State Assignment Problem for Sequential Machines.— «IRE Transactions on Electronic Computers», 1961, vol. EC-10, N 2, p. 157— 165.

28.Kohavi Zvi. Secondary State Assignment for'Sequential Machines.— «IEEE Transactions on Electronic Computers», 1964, vol. EC-13, N 3, p. 193—203.

29.Stearns R. E., Hartmanis J. On the State Assignment Problem for Sequen­ tial Machines II.— «IRE Transactions on Electronic Computers», 1961, vol.. EC-10, N 4, p. 593-603.

ОГЛАВЛЕНИЕ

Предисловие

..............................................................................................

 

 

 

 

 

 

~

 

?

Глава первая. Абстрактный автомат. . .

. . . .

...........................

 

5

1-1.

Определение абстрактного автомата. Автоматы Милн и Мура . .

1-2. Методы задания автоматов...............................................................

 

 

10

6

1-3.

Связь между моделями Мили и М у р а ...............................................

 

 

1-4.

Минимизация

полностью определенных автоматов....................

16

 

1- 5.

Совмещенная модель автомата (С-автомат)...............................

 

20

 

Глава вторая.

Структурный а в т о м а т ........................

.........................................23

 

2-

1. Канонический метод структурного синтеза автоматов............

2-2.

Пример канонического метода структурного синтеза...................

28

 

2-3.

Синтез автомата на задержках, триггерах со счетными и раздель­

33

2-

ными входами..........................................................................................

 

 

 

 

 

4.

Графический метод структурного синтеза автоматов....................

 

38

Глава третья. Кодирование состояний автомата

 

 

40

3-

1.

Гонки

в

автомате...............................................................................

 

 

 

3-2.

Противогоночное кодирование состояний...........................................

 

.

42

3-

3.

Кодирование состояний и сложность комбинационной схемы

. 47

Глава четвертая. Граф-схемы

а л го р и т м о в ..............................................................

 

 

 

53

4-

1. Микропрограммы работы дискретных устройств............................

 

4-2.

Граф-схемы

 

алгоритмов.......................................................................

 

 

 

54

4-3. Содержательные граф-схемы алгоритмов...........................................

 

 

59

4-4.

Логические

 

схемы

алгоритмов...........................................................

 

 

 

61

4-5.

Формулы

 

перехода...............................................................................

 

 

 

66

4-

6.

Матричная

схема

алгоритма...........................................................

 

 

 

69

Глава пятая. Синтез микропрограммных автоматов по графгсхеме алгоритма

 

70

5-

1. Синтез микропрограммного автомата М и ли ....................................

 

 

5-2.

Синтез микропрограммного автомата М у р а ........................................

 

 

74

5-3. Таблицы переходов микропрограммного автомата............................

 

76

5-4. Минимизация микропрограммных автоматов....................................

 

 

80

5-5.

Кодирование состояний микропрограммного автомата....................

 

85

5-

6. Синтез микропрограммного С-автомата............................................

 

 

88

Глава шестая. Синтез логической

схемы м икропрограммного автомата. .

.

92

6-

1. Структурная таблица микропрограммного автомата....................

 

6-2.

Построение схемы по структурной таблице.......................................

 

 

95

6-3.

Преддешифратор обратной с в я з и .......................................................

 

 

99

6-4. Доопределение функций возбуждения..............................................

 

101

6-5. Узлы на

граф-схеме

алгоритма.

Сокращение

структурной таб­

102

 

лицы ........................................................................................................

 

 

 

 

 

 

 

 

215

6-6.

Задача факторизации...................

• . .

 

106

6-7.

Декомпозиция схемы из однотипных элементов.................

111

6-

8. Построение логической схемы по структурной таблице

с узлами 121

Глава седьмая. Преобразование граф-схем а л го р и тм о в ....................................

 

 

132

7-

1. Минимизация условных вершин в граф-схеме алгоритма . .

.

.—

7-2.

Учет распределения сдвигов при минимизации граф-схем алгорит­

154

7-3.

мов ......................................................................................

. . . .

.

Минимизация операторных вершин в граф-схеме алгоритма .

163

7-

4. Объединение граф-схем алгоритмов..............................................

 

 

167

Глава восьмая. Два примера синтеза микропрограммных автоматов . . .

.

178

8-

1. Синтез устройства управления арифметического устройства

.

.—

8-2.

Синтез устройства управления Ц В М ..................................................

 

 

193

Список литературы ........................................................................................

 

 

213

I

Цена 87 коп.