Файл: Баранов, С. И. Синтез микропрограммных автоматов.pdf

у 1 -> РіРзх'У2 V РіРзчУа V РіРзХцУі V РіРз ч У2 = ч у »;

У 2 -> РхРаР&У4 V W 3V 4 V Р1РаРз*3*0К4 V Р^РоРзЧ/ 4 ѵ

V РіРзРзЧУ-і V РіРгРзЧУвV РіРгРзЧЧУ13V РіРгРз-ЧУи V

V РіР2РзхъУц — РіІРз (л'б^4 V *6Уи) V Рз (-ѵ'5^/ .1У -^бУ«)) V

V Pi (Рі(Рз (-Ѵ"з^4 V Л’з (А’вУ4 V -'’e^la)) У Рз (Л’бУ4V Л'бУо)) V Рі (хзУ.1 V .Ѵ5У14));

Уз > РіРзРзЧУ-і V Р1Р0Р3.Ѵ3У4V РіРзРзхзхзУл V РіРзРзхйУ.і V Р\Р-іРзхзУі V

V РіРгРзЧУІ V РіРіРзЧУл V Р1 Р2Р3ЧУо V РіРіРзЧЧУ13 V РіРчРзхзУи V

\/ plp2p3xsYu V РіРаРзЧУц V РгРзРзЧУіз =

= Ра (Рз(хйУ-і V -'-’s^ii) V Рз (л’б^4 V •ѵ5^ів)) V Ра (Рі (Рз (л'зУ.і V

V -Ѵ3 (.Ѵ0У .! V А’в У і » ) ) У Р з ( х 5 ^ 4 V А 'в ^ в ) ) V Р і ( x' ä ^ 4 V 7 -1'5 ^ 1 4 ) ) >

Уі->Ч{РіРіРзхзУз V p[p,p3x3Y 3 V Р1 Р2Р3 У3 V Р1Р2Р3Уз V

V РіРзРзЧУ3V Р1 Р2Р3У3 V РіРіРзХзУйѴ РіРзРзЧУ13V РіРзРзхзУп) =

— *4 (Рі^зѴ Рі (*3Уз V лз (Рз(Рз Уз V Ра^із) V Рз (Р2Уп У Ра^б))));

У5 —> *2*0У7 V л'2л"в^8 — *2 ('ѵ0^7 V л'оУв)!

Уо —> А'з-ѴуУ7 V .Ѵ2Л'оУѲ= Л*2 (-^оУ7 У Л’оУз)і

у 7 - > у . ;

Уз -> -УіУо;

Уо —> Р1 Р2Р3Уіо V Р1 Р2Р3Ую V Р1Р2Р3У10 V Р1Р2Р3У10 У РіРаРзУю = У«,;

Уіо ~>~РіРзРзхіУ11 V РіРаРзУіУц V РіРзРзЧУп У РіРаРз^Уц V

V РіРаРз-УіУц V РіРаРз-УіУц = -НУцІ

Уи -> Р1Р2Р3Ук V РіРІРзУк V Р1Р2Р3Ук V Р1Р2Р3Ук Ч7 Р1Р2Р3Ук V

у Р1 Р2 Р3 Ук = у «;

у і 2 —> У 1 У 9 ;

Уіз -> у

Уі4 —> Р1Р2Р3Уіо V Р1Р2Р3У10 V РіРгРз* іо — Ую;

Уіб->Уо;

У іо —> Л 'а У іб і

У17 —> *2У15-

Построенная по этим выражениям объединенная ГСА устройства управле­ ния ЦВМ изображена на рис. 8-15. На этой же граф-схеме отмечены состояния н узлы. Обратная структурная таблица микропрограммного автомата Мили при­ ведена в табл. 8-16. Логическая схема автомата, построенная по табл. 8-16, изо­ бражена на рис. 8-16.

1 Анализ строк У2 и У3 в табл. 8-14 показывает, что в MCA, в которых встре­ чается оператор У2, элементы строк У2 и У3 совпадают. Для минимизации объе­ диненной ГСА Г доопределим У2 на наборах, соответствующих MCA, в которых У2 не определен, так чтобы формулы перехода для У2 и У'3 совпадали.

210

Таблица 8-16

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

211

СПИСОК ЛИТЕРАТУРЫ 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 с. с ил.

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

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

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

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

213