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

ВВЕДЕНИЕ

1 глава. ОСОБЕННОСТИ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ НА ОДНОРОДНОЙ СРЕДЕ

1.1. Параметры однородных сред

1.2. ОВС - настраиваемая однородная среда

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

1.4. Выводы

2 глава. ИСПОЛЬЗОВАНИЕ ДЕКОМПОЗИЦИОННЫХ МЕТОДОВ ДНЯ СИНТЕЗА ЛОГИЧЕСКИ! ФУНКЦИЙ С ИСПОЛЬЗОВАНИЕМ НАСТРАИВАЕМЫХ ЛОГИЧЕСКИХ МОДУЛЕЙ

2.1. Простая неразделительная декомпозиция

2.2. Выделение функции

2.3. Выбор представления исходной логической функции

2.4. Выводы

3 глава. ПОСТРОЕНИЕ НАСТРАИВАЕМЫХ ЛОГИЧЕСКИХ МОДУЛЕЙ ИЗ ЭЛЕМЕНТОВ ОДНОРОДНОЙ ВЫЧИСЛИТЕЛЬНОЙ

СРЕДЫ

3.1. Организация совокупности модулей в однородной среде

3.2. Определение настроечных операций

НЛМОВС

3.3. Оценка сложности реализации логической функции совокупностью НЛМОВС

3.4. Выводы

4 глава. РЕАЛИЗАЦИЯ СОВОКУПНОСТИ НАСТРАИВАЕМЫХ

МОДУЛЕЙ В ОДНОРОДНОЙ СРЕДЕ

4.1. Размещение НЛМОВС в однородной среде

4.2. Организация инвариантных преобразований НЛМОВС

4.3. Настройка среды при размещении в ней НЛМОВС

4.4. Оценка длины транзитных участков среды

4.5. Организация каналов связи в однородной среде

4.6. Выводы

5 глава. ОПИСАНИЕ КОМПЛЕКТА ПРОГРАММ АВТОМАТИЗИРОВАННОГО СИНТЕЗА ЛОГИЧЕСКИХ ФУНКЦИЙ В

ОДНОРОДНОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЕ

5.1. Описание программного сегмента ЗАМО.

5.2. Описание блок-схемы программного сегмента

5.3. Описание программного сегментаРйОв1£К.

5.4. Описание блок-схемы программного сегмента

5.5. Характеристики программных сегментов и РЙОВИ=.М . НО

Требования, предъявляемые к устройствам вычислительной техники на современном этапе (малые габариты, высокая надежность, высокая производительность, малое потребление энергии), могут быть удовлетворены только при постоянном росте степени интеграции элементной базы устройств ЭВА. Это приводит к тому, что возрастает объем использования в устройствах вычислительной техники заказных и полузаказных БИС. В [72]приводится прогноз, согласно которому доля заказных и полузаказных схем в объеме продаж к концу текущего десятилетия увеличится примерно с 20 до 50%, Уровень интегральной технологии в настоящее время позволяет производить интегральные схемы, объединяющие на одном кристалле десятки и сотни тысяч транзисторов. В то же время затраты на разработку таких БИС еще достаточно велики, и их производство становится рентабельным лишь при относительно крупных объемах производства. Так производство заказных БИС в настоящее время становится рентабельным при объеме их выпуска свыше примерно 100 ООО изделий. Использование матричных БИС несколько улучшает ситуацию: их разработка становится рентабельной при размере партии порядка 30 ООО штук. Для многих видов аппаратуры, которая не выпускается массовыми тиражами и предназначена для специального применения, но к которой предъявляются высокие требования по скорости, единственным на сегодня способом усовершенствования технологии производства представляется использование специфических БИС - универсальных микроэлектронных однородных сред, настраиваемых на выполнение конкретных функций в устройствах ЭВА самим заказчиком или даже перестраиваемых в процессе эксплуатации. Они обяадают следующими свойствами: регулярность структуры, что наилучшим образом отвечает требованиям интегральной технологии; являются программируемыми, что позволяет при решении каждой конкретной задачи приспосабливать технологически одинаковую структуру устройства к структуре решаемой задачи. Областями применения такого рода схем являются ( [{¿1 ):

- цифровая обработка изображений ;

- цифровая фильтрация ;

- управление роботами ;

- обработка сейсмической и метеорологической информации.

Требованиями к такого рода устройствами частности,являются ^высокая надежность и способность обрабатывать информацию в реальном масштабе времени. Требование обработки информации в реальном масштабе времени при существующем быстродействии логических элементов может быть удовлетворено лишь при организации конвейерной и параллельной обработки информации с истт:.: пользованием подхода, называемого коллективом вычислителей [10] ). В основе этого подхода лежит применение однородных вычислительных систем, структур и сред.

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

Одной из наиболее распространенных задач при проектировании ЭВА является реализация некоторой логической функции или системы функций на заданной элементной базе. При этом решение задачи не является однозначным и зависит от требований, предъявляемых к устройствам ЭВА. Чем больше число переменных, от которых зависит логическая функция, тем сложнее найти для нее оптимальную реализацию в соответствии с принятыми критериями. Поэтому усилия разработчиков ЭВА постоянно направлены на разработку средств автоматизации проектирования логических функций, которые позволяют по описанию функции находить ее реализацию в требуемой элементной базе близкую к оптимальной. Процесс проектирования можно условно разделить на несколько относительно самостоятельных этапов. При этом решения, принятые на каждом этапе, влияют на качество решения последующих этапов. Поэтому желательно на более ранних этапах проектирования учитывать требования, предъявляемые к последующим.

Использование однородной вычислительной среды в качестве элементной базы изменяет процесс проектирования, так как происходит совмещение этапов логического и конструкторского проектирования устройства: конструкторское проектирование сводится к созданию программы настройки участка среды. А это требует разработки средств автоматизации программирования среды с учетом особенностей всех этапов проектирования и самой среды.

Начиная с 60-х годов в нашей стране и за рубежом публикуются работы, в которых обосновываются подходы к выбору конкретных структур однородной среды, функциональных возможностей ячейки среды, способов реализации комбинационных автоматов и автоматов с памятью в таких средах ( [ {1 , ¿37 , [63 ГШ)

Выбор функциональных возможностей ячейки близким к базису широко используемому при логическом синтезе в настоящее время (функция Вебба, штрих Шеффера, сложение по модулю 2) позволяет использовать в процессе логического синтеза в однородной среде хорошо разработанный аппарат. Однако такие методы проектирования логических схем, как представление логических функций нормальными формами с последующей факторизацией оказываются не вполне подходящими для новой элементной базы из-за изменения критериев, налагаемых на проектируемые схемы. Например, для среды, организованной по принципу близкодействия (связь осуществляется только между соседними ячейками среды), передача информации по полю среды осуществляется с помощью таких же элементов среды, что и для операционной обработки. Это не позволяет использовать критерии, ориентированные на минимальное количество операционных элементов (минимальные формы), так как организация связей между операционными элементами требует количества ячеек среды сравнимого с используемым для непосредственной обработки информации.

Все изложенное выше позволило сформулировать следующую цель диссертационной работы: разработать автоматизированный метод синтеза логических функций в однородной вычислительной среде, позволяющий вести процесс проектирования с учетом особенностей среды и размеров участка, выделенного для реализации схемы.

Исход® из поставленной цели в данной работе решены следующие задачи:

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

- разработан способ реализации полученной логической сети в поле среды с учетом размеров участка, выделяемого для реализации, и задержек, вносимых элементами среды при передаче информации по полю среды ;

- предусмотрен интерактивный режим работы программ для возможности разработчика влиять на ход процесса проектирования ;

- осуществлена программная реализация разработанных методов синтеза на языке программирования ПЛ/1.

Решив поставленные задачи, автор защищает:

1. Подход к синтезу в однородной среде, основанный на использовании настраиваемых логических модулей, реализованных из элементов среды.

2. Способ выбора совокупности настраиваемых логических модулей.

3. Методику представления заданной логической функции совокупностью настраиваемых логических модулей.

4. Способ определения настроечных операций модуля, основанный на анализе представления заданной логической функции и порождающей функции модуля в базисе функций Радемахера-Уолша.

5. Метод оценки расстояний между источниками и приемниками информационных сигналов в поле однородной среды.

6. Метод согласования задержек информационных сигналов в поле однородной среды, поступающих на входы настраиваемого модуля.

7. Комплект программ, осуществляющих реализацию указанных методов.

В качестве методов исследования использовался анализ содержательных аспектов проблемы и их интерпретация в терминах булевой алгебры. В качестве формальных методов использовался аппарат функций алгебры логики, методы теории графов, аппарат теории множеств, аппарат спектральных преобразований в базисе Радемахера-Уолша.

Научная новизна работы заключается в следующем:

- предложены шесть типов логических модулей, реализованных в однородной среде, которые за счет настроечных операций позволяют реализовать любую из 256 логических функций, зависящих от трех переменных ;

- предложен эффективный метод определения настроечных операций указанной совокупности модулей, основанный на анализе представлений в базисе Радемахера-Уолша порождающей функции модуля и реализуемой функции ;

- предложен метод представления заданной логической функции совокупностью указанных модулей, основанный на декомпозиционном подходе и направленный на минимизацию площади участка среды для реализации функции ;

- разработан способ оценки расстояний на среде, основанный на коррекции манхеттенового расстояния между узлами прямоугольной сетки координат, в которых расположены элементы среды ;

- разработан метод согласования задержек по входам модуля в зависимости от положения модуля в среде по отношению к координатам входа переменных в поле среды ;

- разработан алгоритм синтеза каналов связи в среде, основанный на предложенном способе оценки расстояний на среде.

Практическая ценность работы заключается в разработке эффективных алгоритмов реализации логических функций в однородной среде, ориентированных на модульный подход к синтезу и освобождающих разработчика от операций перевода полученного решения в настроечную информацию регистров команд ячеек однородной среды. Отдельные алгоритмы могут иметь самостоятельное применение. Так метод выбора совокупности настраиваемых логических модулей может быть использован для среды, имеющей параметры аналогичные используемой в данной работе. Метод определения настроечных операций модуля не зависит от используемой элементной базы и может быть использован для любых настраиваемых модулей с аналогичным набором настроечных операций. Алгоритмы размещения модулей в среде и прокладки каналов связи могут использоваться для любых однородных сред, организованных по принципу близкодействия.

Реализация и внедрение. Разработанные алгоритмы реализованы и представляют собой комплект программ на языке программирования ПЛ/1. Результаты работы внедрены в научно-производственном объединении "Астрофизика" и ИППММ АН УССР. Акты о внедрении прилагаются.

Апробация. Основные результаты работы докладывались:

- на всесоюзной школе-семинаре "Распараллеливание обработки информации", г. Львов, 1981 г. ;

- на X юбилейном совещании-семинаре "Автоматизация проектирования структурных элементов и математического обеспечения ЭВМ и вычислительных систем", г. Симферополь, 1982 г. ;

- на научной конференции Московского энергетического института, посвященной 60-летию образования СССР, г. Москва, 1982 г.

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

Структура и объем работы. Работа состоит из введения, пяти глав, заключения и списка литературы.

Во введении к работе определено место универсальных микроэлектронных однородных сред в структуре современной элементной базы ЭВА, обоснована актуальность разработки средств автоматизации логического синтеза в однородных средах, сформулирована цель работы и защищаемые положения, изложена структура работы.

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

Во второй главе обосновывается возможность использования функциональной декомпозиции для представления заданной логической функции суперпозицией порождающих функций настраиваемых логических модулей. Рассматривается способ простой неразделительной декомпозиции, предложенный в работе [Ь27. Излагается алгоритм использования указанного метода декомпозиции для получения требуемой совокупности модулей, представляющих заданную функцию.

В третьей главе излагается способ определения логических структур настраиваемых логических модулей и их реализация на основе ячеек однородной среды. Рассматривается метод определения настроечных операций с помощью анализа представлений логических функций в базисе Радемахера-Уолша, предложенный в данной работе.

В четвертой главе рассмотрены алгоритмы по оптимизации размещения совокупности модулей, представляющих исходную логическую функцию, в поле однородной среды, организация инвариантных преобразований модуля в поле среды. Обосновывается способ оценки расстояний на среде и алгоритм организации каналов связи в среде.

Пятая глава содержит описание программного обеспечения алгоритмов, реализованных на ЭВМ.

В заключении изложены основные результаты, полученные в данной работе.

I. ОСОБЕННОСТИ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ НА ОДНОРОДНОЙ СРЕДЕ

В настоящее время имеется достаточно большое число работ, которые описывают те или иные способы организации однородных сред, методы реализации в них конечных автоматов, а так же вопросы контроля и диагностики этих сред. В данной главе рассматриваются особенности структуры описанных в литературе однородных сред, наиболее общие принципы их функционирования, подробно рассматриваются возможности однородной среды, используемой для проектирования комбинационных логических схем в данной работе. Излагается подход к реализации логической функции, основанный на использовании настраиваемых логических модулей (НЛМ).

Результаты работы были представлены в виде докладов на всесоюзной школе-семинаре "Распараллеливание обработки информации", г. Львов, 1981 г.; на I юбилейном совещании-семинаре "Автоматизация проектирования структурных элементов и математического обеспечения ЭВМ и вычислительных систем", г. Симферополь, 1982 г.; на научной конференции Московского энергетического института, посвященной 60-летию образования СССР, г. Москва, 1982 г.; а так же в печатных работах ([58],[5д]\.

ЗАКЛЮЧЕНИЕ

В данной работе изложен один из возможных подходов к реализации логических функций в однородной среде. Для сокращения комбинаторного разнообразия вариантов реализации функциии автором предложен метод реализации, основанный на использовании настраиваемых логических модулей, реализуемых из элементов однородной среды. В качестве порождающих функций настраиваемых модулей выбраны представители классов МРМ -классификации логических функций, определенных на трех переменных. Анализ представлений этих функций логическими сетями показал, что вся совокупность логических функций от трех переменных может быть реализована шестью типами настраиваемых модулей, построенных из элементов однородной среды. Для этих шести типов структур были разработаны схемы в однородной среде и выявлены их основные характеристики. Для определения настроечных операций модулей предложено использовать представление реализуемой функции и порождающей функции модуля в базисе ортогональных функций Радемахера-Уолша. Разработан алгоритм выявления настроечных операций на основе сопоставления спектральных представлений указанных логических функций.

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

Процесс реализации исходной логической функции совокупностью настраиваемых логических модулей был разделен на последовательные этапы размещения каждого модуля в поле среды и соединения каналами связи входов модуля с источниками сигналов, представляющих переменные. Очередность размещения модулей при этом определяется полученным разложением логической функции.

С учетом особенностей используемой в данной работе однородной среды были разработаны методы оценки положения модуля в поле среды, позволяющие при выборе места размещения модуля минимизировать площадь участка среды, который займет схема. Это позволяет эффективно использовать элементы однородной среды.

Предложен алгоритм организации каналов связи в однородной среде, ориентированный на эффективное использование элементов среды и достижение характеристик положения модуля в поле среды, выявленных на этапе размещения.

На основании разработанных методов реализации логической функции в однородной среде был подготовлен комплект программ на алгоритмическом языке ПЛ/1. Разработанные методы автоматизации проектирования логических функций с помощью однородной среды внедрены в НПО "Астрофизика" и ИППММ АН УССР.

1. Евреинов Э.В., Прангишвили И.В. Цифровые автоматы с настраиваемой структурой. - М.: Энергия, 1974. - 240 с.

2. Евреинов Э.В., Косарев Ю.Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, 1966. - 308 с.

3. Микроэлектроника и однородные структуры для построения логических и вычислительных устройств/ И.В. Прангишвили, H.A. Абрамова, Е.В. Бабичева, В.В. Игнатущенко. М.: Наука, 1967.- 228 с.

4. Однородные структуры/ В.И. Варшавский, В.Б. Мараховский,

5. В.А. Песчанский, Л.Я. Розенблюм. М.: Энергия, 1973. - 152 с.

6. Hennie F. S. Ite.ra.tiv Arrays of Loy/ca.¿ Ctrcu/ás. -C^mbnJcj: MIT PRESS , 19SÍ.

7. Mzitra. K.K. Сд-scAc/ec/ sw/tch/ng mtworfà of ¿wo-input fLtxibLe ce¿¿s. IRE Tr&ns. EL. Compvi., /9(>4, tf*¿t p. Z5-3Í.

8. SkLà.r?$ky J, f Korenj¿k /f/., Soné H.S, Сз-потсг/ tr/butr&ry networks. /ЕЕЕ Tra.ns. CoMf>utv L9SS,p. GZ-G8.

9. Leyy S.Y.f W/nc/er%.{ Mott Т.Н. A no¿e on tr/¿(/i-ra.ry switching n&tworks. -/ЕЕЕ Trms Comput.,mi, p.

10. Ma.kh&pdJ hya.(j A. Una.te ce. Li и ¿a.r Loç/c. /Е&Е Trun s. Corrjput^ /969, //&г} p. 2 5"- J/

11. Евреинов Э.В. Однородные вычислительные системы, структуры и среды. М.: Радио и связь, 1981. - 208 с.

12. Каляев A.B. Однородные коммутационные регистровые структуры. М.: Советское радио, 1978. - 336 с.

13. Минник Р. Использование матриц с простыми внутренними связями в монолитных цифровых системах. В кн.: Микроэлектроника и большие системы. - М.: Мир, 1967, с.205-225.

14. Минник Р. Матрицы ст сложными внутренними связями. В кн.: Микроэлектроника и большие системы. - М.: Мир, 1967, с. 226 -242.

15. Чачанидзе В.Г. Разработка машинных методов вложения автоматов в однородные вычислительные структуры. Автореферат диссертации на соискание ученой степени кандидата технических наук. М., 1972. - 16 с.

16. Шорт Р. Каскады с матричной структурой из двухканальных элементов. В кн.: Микроэлектроника и большие системы. - М.: Мир, 1967, с. 243-262.

17. Вольвовский Л.А. Разработка и исследование методов синтеза логических устройств в однородных средах. Автореферат диссертации на соискание ученой степени кандидата технических наук. М., 1972. - 18 с.

18. Балашов Е.П., Смолов В.Б., Петров P.A. и др. Многофункциональные регулярные вычислительные структуры. М.: Советское радио, 1978. - 288 с.

19. Певцов Д.В. Исследование методов реализации вычислительных алгоритмов в однородных средах. Автореферат диссертации на соискание ученой степени кандадата технических наук. М., 1975.19 с.

20. Обзоры по корабельной автоматике. Синтез схем в однородных структурах/ Ю.Н. Бутин, В.И. Варшавский и др. Выпуск №686 с.

21. Прангишвили И.В. Однородные микроэлектронные структуры -перспективное средство реализации цифровых вычислительно^уп-равляющих машин будущего поколения. В кн.: Вопросы кибернетики (однородные микроэлектронные структуры). - М., 1973,с. 3-10.

22. Настраиваемые модули для управляющих логических устройств/ Артюхов В.Л., Копейкин Г.А., Шалыто A.A. Л.: Энергоиздат. Ленингр. отд-ние, 1981. - 168 с.

23. Поваров Г.Н. 0 групповой инвариантности булевых функций.-В кн.: Применение логики в науке и технике, -М.: Наука, i960, с. 263-341.

24. Поспелов Д.А. Логические методы анализа и синтеза схем. -М.: Энергия, 1974. 368 с.

25. Миллер Р. Теория переключательных схем. Т. I. М.: Наука, 1970. - 416 с.

26. Фридман А., Менон П. Теория и проектирование переключательных схем. М.; Мир, 1978. 580 с.

27. Мищенко В.А., Козюминский В.Д., Семашко А.Н. Многофункциональные автоматы и элементная база цифровых ЭЗМ/Под ред. В.А. Мищенко. М.: Радио и связь, 1981. - 240 с.

28. Бочков П.Е., Сладков А.Б., Попов Ю.А. Проектирование мног©функциональных модулей с использованием инвариантов булевых функций. Автоматика и вычислительная техника, 1973, ЖЗ, с. 15-20.

29. Сушков Ю.А. Об эффективности многофункционального логического элемента. Автоматика и вычислительная техника, 1975, №5,с. 7-10.

30. Корнейчук В.И., Тарасенко З.П., Тесленко А.К. Исследование сложности реализации функций на одномерном каскаде моделей. -Автоматика и вычислительная техника, 1977, №5, с.5-11.

31. Авсаркисян Г.С. 0 классификации булевых функций. Автоматика и вычислительная техника, 1977, №2, с. 7-14.

32. Прангишвили И.В., Ускач ГЛ.А., Копейкин Г.А. Комплекс логических МДП-интегральных схем для систем автоматики и телемеханики. Приборы и системы управления, 1970, М, с. 15-18.

33. Кондратьева Е.А., Сопруненко Е.П. Об оценке числа входов универсального логического модуля. В кн.: Автоматика и управление сетями связи. - М.: Наука, 1971, с 96-98.

34. Страдзинь И.Э., Страдзиня Д.П. Овозможности укрупненной классификации булевых функций. В кн.: Теория автоматов и ее приложения. Вып. 2. - Рига: Зинатне, 1973, с. 24-30

35. Малев В.А. Применение полилинейных форм для идентификации булевых функций. Автоматика и вычислительная техника, 1975, }£5, с. 11-16.

36. Страдзинь И.Э. Аффинная классификация булевых функций пяти переменных. Автоматика и вычислительная техника, 1975,1. Ж, с. 1-9.

37. Якубайтис Э.А. Субклассы и классы булевых функций. Автоматика и вычислительная техника, 1974, №1 с. 1-8.

38. Малев В.А. Псевдослучайные функции и синтез универсальных логических модулей. Автоматика и вычислительная техника, 1978, Ж, с.1-5.

39. Ващенко В.П. Общий случай простого функционального разделения. ДАН СССР, 1977, т. 234, Ю, с.509-512.

40. Ващенко В.П.О вычислении всех нетривиальных простых декомпозиций функции алгебры логики. ДАН СССР, 1979, т. 247,М, с. 15-18.

41. Ващенко В.П. Исследование простой декомпозиции булевой функции. В кн.: Диалоговые системы в управлении, проектировании и обучении. Труды МЭИ. Выпуск 485. - М.: МЭИ, 1980,с. 3-9.

42. Карп P.M. Единый подход к функциональной декомпозиции.

43. В кн.: Синтез релейных структур. М.: Наука, 1965, с.220-232.

44. Закурдаев Н.В. Разработка декомпозиционных методов синтеза комбинационных схем. Автореферат диссертации на соискание ученой степени кандидата технических наук. Свердловск: 1973. - 22 с.

45. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств. Л.: Энергия, 1973. -144 с.

46. Каммозев Н.Ф., Сычев А.Н. Спектральный метод декомпозиции булевых функций. Автоматика и вычислительная техника, 1979, №2, с.54-58.

47. Каммозев Н.Ф., Сычев А.Н. Спектральная интерпретация настроечных операций многофункциональных логических модулей. -Автоматика и вычислительная техника, 1978, Ж, с. 12-15.

48. Lechner R.J. Harmonic a.natys/s 0/ switching functionS.- In: Recent Developments ¿n Switching theory / В of. by A. M*kha.pa.cfhya.(j. Mew York: hca.cf. Presst 197 p. 1Z/~2S0.

49. Schmidt J>.C. y Metze G. ModuUr Replacement of Cornina.tiona.t Switching Networks. /££■£ Tri/7S. Сотри1.1 /975, Ms p.Z9-47,

50. Прангишвили.'.'И^В., Соколов В.В', .и др. ЭВМ ПС-300. Приборы и системы управления, 1978, № 10.

51. Банников В.Н. Использование однородной вычислительной среды для реализации функций алгебры логики. В кн.: Разработка, исследование и применение устройств вычислительной техники. Труды МЭИ. Выпуск 544. М.: МЭИ, 1981, с.36-40.

52. Потемкин И.О., Банников В.Н. Один из подходов к реализации системы функций алгебры логики с помощью однородной вычислительной среды. В кн. Проектирование вычислительных комплексов, систем и сетей. Труды МЭИ. Выпуск 572. - М.: МЭИ, 1982, с.43-46.

53. Бутин 10.Н., Золотаревская М.Я., Кириллов А.П., Юнг В.Н.

54. О реализации алгоритмов логического управления в специализированных программируемых логических устройствах. Автоматика и телемеханика, 1983, № 6, с.131-140.

55. Chen X. The synthesis of сотb/na.éor/¿С Cogic fun ettons us/ncj ULM5 un/versa. 7 с/roc//1 еве -menés. The Ra.cZ/о â.nc/ Electronic Enjeneert VoL. h/гг pp. 67-74, Febrvàry /983.

56. Теория и методы автоматизации проектирования вычислительных систем/ Под ред. М. Брейера. М.: Мир, 1977. - 283 с.

57. Сигорский В.П. Математический аппарат инженера. Киев: Техника, 1975. - 766 с.

58. Нильсон Н. Исскуственный интеллект. Методы поиска решений. М.: Мир, 1973. - 270 с.

59. Автоматизация проектирования сложных логических структур/ -Горбатов В.А., Демьянов В.Ф., Кулиев Г.Б. и др. М: Энергия, 1978. - 352 с.

60. Лазарев В.Г., Сейфулла И.Д. О потактной реализации автомата. В кн.: Автоматы и управление. - М.: Наука, 1972, с.27-34.

61. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977. - 352 с.

62. Батанов Л.А. Автоматизация проектирования цифровых вычислительных систем. М.: Энергия, 1978. - 80 с.

63. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979. - 415 с.

64. Берисфорд Р. Инженерные рабочие станции последнее звено в комплексе средств автоматизированного проектирования. -Электроника, т. 55 $ 23 с. 25-39.

65. Колин Джонсон Р. Специализированные процессоры для обработки числовых данных, сигналов и речевых данных. Электроника, т. 55,№3, с.36-39.утверждаю

66. В связи со спецификой использования алгоритмов автоматизированного синтеза для специальных целей подсчитать ожидаемый годовой экономический эффект не представляется возможным.

67. Представители НПО Представители1. Астрофизика" И.С.Потемкин

68. Начальник НИ0/^>-НЭ7ГП Сулицкий У ' Н.К.Иванова

69. Нач.отдела^^^^ВО^Геворкян в.Н.Банников^^ '1. УТВЕРрДЮ Директор ИПП№1. УТВЕРЩАЮ й руководительсЛ1. V'//,, /.-Л?и абдстмщ

70. ЖТВНЕДРЕНИЯ в научно-исследовательские разработки алгоритмов и программ автоматического синтеза логических схем на однородной вычислительной среде1. В.П.Морозкин

71. Новые научные результаты, содержащиеся в переданных для внедрения материалах, являются результатами диссертационной работы асп.Банникова В.Н.

72. В связи со спецификой использования переданных материалов в работах по созданию матобеспечения спецпроцессоров определить ожидаемый годовой экономический эффект не представляется возможным.

73. Представители ИППМЕчАН УССР Зав.отделомзаслуженный деятель науки УССР, д. ф-^м. н. ^профессор---<^••'1 В. Я. Скоробогатько1. Шмойло в1. Представители-и. С. Потемкин1. В.Н.Банниковс /б*/-/л-?.