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

ВВЕДЕНИЕ.

ГЛАВА I. АНАЛИЗ ОРГАНИЗАЦИИ ПРОГРАММНЫХ СРЕДСТВ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ.

1.1. Состав и организация САПР шнсропрограммиру-емых структур. Ю

1.2. Анализ основных режимов процесса автоматизированного проектирования.

1.3. Анализ организации информационного обеспечения САПР.

1.4. Выводы.

ГЛАВА 2. МАТЕМАТИЧЕСКИЕ МОДЕЛИ ПРОЦЕССА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ И МЕТОДИКА ИХ АНАЛИЗА.

2.1. Формализация цроцесса автоматизированного проектирования с применением САПР.

2.2. Математическая модель-функционирования САПР

2.3. Алгоритмы анализа модели функционирования

САПР.

2.4. Метод определения потенциальных класс модификации при автоматизированном проектировании.

2.5. Анализ процесса автоматизированного проектирования в режиме модификаций.

2.6. Выводы.

ГЛАВА 3. АНАЛИЗ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ САПР МИКРО

ПРОГРАММИРУЕМА СТРУКТУР.

3.1. Специфика информационного обеспечения САПР

3.2. Анализ состава и организации БДАП.

3.3. Структура и функционирование МАПР.

3.4. Анализ информационного обеспечения проекта

3.5. Выводы.

ШВА 4. РЕАЛИЗАЦИЯ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ САПР

МИКРОПРОГРАММИРУЕМЫХ СТРУКТУР.

4.1. Вопросы реализации БДАП микропрограммируемых структур.

4.2. Программная реализация МАЛР микропрограмми-руемых структур.

4.3. Реализация математической модели функционирования САПР микропрограммируемых структур

4.4. Экспериментальное исследование режима модификаций и внедрение методики организации процесса автоматизированного проектирования И5

4.5. Выводы.И

Актуальность проблемы. Научно-технический потенциал страны во многом определяется имеющимися средствами вычислительной техники. В решениях ХХУТ съезда КПСС среди основных современных задач науки и техники отмечена необходимость повышения качества вычислительной техники, расширение ее внедрения в разных отраслях народного хозяйства.

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

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

БД), учитывая что в САПР тоже необходимо использование БД автоматизированного проектирования (БДАП).

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

Цель работы. Целью диссертационной работы является разработка и исследование процесса автоматизированного проектирования, программного и информационного обеспечения САПР микропрограммиру-емых структур. Это достигается путем решения следующих задач:

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

- исследования и разработки математической модели структуры и функционирования САПР и алгоритмов анализа модели (для разработчиков САПР и ее пользователей);

- исследования и разработки структуры и функционирования информационного обеспечения САПР микропрограммируемых структур в виде БДАП и системы ее управления.

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

Научная новизна. В диссертационной работе получены следующие основные научные результаты.

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

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

Проведено исследование информационного обеспечения САПР мик-ропрограммируемых структур, в результате которого обоснована и разработана структур БДАП и системы ее управления.

Практическая пенность. Разработанные модели процесса автоматизированного проектирования и алгоритмы их анализа в совокупности с разработанной на их основе программной реализацией являются инструментом для разработчиков САПР, способствующим построению их рациональных структур, разрешающих увеличить быстродействие и уменьшить занимаемый объем памяти САПР. Предложенная структура БДАП и ее система управления разрешает учитывать опыт проектирования и рационально организовать процесс автоматизированного проектирования в разных режимах (базового проектирования и вычислений модифицированных вариантов проекта) и для разных категорий пользователей.

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

Внедрение работы в промшцгвттпр.тт,.

Результаты диссертационной работы внедрены в следующих организациях:

- в СКВ ВМ Вильнюсского ПО "СИГМА" при автоматизированном проектировании вычислительных комплексов M5I00 и CMI600, что разрешило повысить рациональность процесса их автоматизированного проектирования и отладки и получить годовой экономический эффект 30 тыс. рублей;

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

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

- республиканских конференциях "Развитие технических наук в республике и использование их результатов" (г. Каунас, 1978-1984 г.г. ежегодно);

- II научной конференции "Автоматизация проектирования" (г. Белосток, 1978 г.);

- III научной конференции "Автоматизация проектирования" (г. Белосток, 1980 г.);

- 1У всесоюзном симпозиуме "Логическое управление в промышленности" (г. Орджоникидзе, 1981 г.).

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

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения и списка литературы из 116 наименований (133 машинописных страниц, в том числе 14 рисунков и 10 таблиц), а также шести приложений (41 страница).

4.5. Выводы

I. Разработаны ППМ монитора автоматизированного проектирования реализованы в среде ОС ЕС ЭВМ и обеспечивают выполнение: информационно-справочной службы, процесса автоматизированного проектирования как в базовом, так и в режиме модификаций, при использовании информации из БДАП, и составляют порядка 20 % от общего объема ППМ проектирования САПР микропрограммируемых структур "Нямунас-91".

2. Экспериментальное исследование теоретических результатов подтвердило практическую эффективность выбора рациональной организации САПР и выполнения процесса автоматизированного проектирования при обслуживании директив из разных класс модификаций, а время вычисления отдельных альтернатив проекта составляет 0,02-0,2 от времени базового проектирования.

3. Разработанная методика организации процесса автоматизированного проектирования применялась при разработке микропрограммного обеспечения ряда радиоизмерительных устройств, ПЕК M5I00 и ВК СМ 1600. Ее применение позволило повысить качество и уменьшить сроки процесса автоматизированного проектирования и получить общий годовой экономический эффект 47 тыс. рублей.

ЗАКЛЮЧЕНИЕ

1. На основе анализа литературы и опыта автоматизированного проектнрования установлено: а) процесс автоматизированного проектирования характеризуется базовым режимом работы и режимом модификаций; б) для формализации процесса автоматизированного проектирования необходимо разрабатывать согласованные модели этого процесса и САПР на основе ее информационного обеспечения; в) целесообразна разработка специализированной базы данных автоматизированного проектирования совместно с системой ее управления.

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

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

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

5. Разработаны информационное обеспечение проекта в САПР и методика информационных векторов, применяемая для: а) хранения информационного обеспечения проекта и получения технической документации из САПР; б) обработки директив проектирования в режиме модификаций.

6. Реализация монитора автоматизированного проектирования выполнена в среде ОС ЕС ЭВМ и составляет порядка 20 % от общего объема реализации САПР микропрограммируемых и микропроцессорных структур "Нямунас-91".

7. Проведенный экспериментальный анализ подтвердил рациональность предложенной организации и применения САПР в разных режимах проектирования. При обслуживании директив из разных класс модификаций время вычисления альтернатив проекта составляло 0,02-0,2 от времени базового проектирования.

8. Разработанная методика организации процесса автоматизированного проектирования применялась при разработке микропрограммного обеспечения ряда радиоизмерительных устройств, ПВК M5I00 и ВК CMI600. Ее применение позволило повысить качество и уменьшить сроки процесса автоматизированного проектирования и получить общий годовой экономический эффект 47 тыс. рублей.

1. Глушков В.М., Капитонова Ю.В., Летичевский А. А. Автоматизация проектирования вычислительных машин. - Киев: Наукова душа, 1975.

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

3. Абрайтис Л.Б., Шейнаускас Р.И., Жилявичюс В.А. Автоматизация проектирования ЭВМ. М.: Сов. радио, 1978. - 268 с.

4. Брейер М. Автоматизация проектирования вычислительных систем. Языки, моделирование, базы данных / пер. с англ. Маховой и др. М.: Мир, 1979. - 463 с.

5. Баранов С.И., Журавина Л.Н., Скляров В.А. Автоматизация проектирования ЦВМ. Минск: Вышэйш. школа, 1981. - 206 с.

6. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983. - 272 с.

7. Проектирование автоматизированное. Термины и определения. ГОСТ 22487-77.

8. Секен К.Х. Управление сложностью СБИС: Современное состояние и перспективы. ТИИЭР, 1983, т.71, № I, с. I84-2II.

9. Жинтелис Г.Б., Карчяускас Э.К. Некоторые вопросы организации системы автоматизированного синтеза ЦВМ. В кн.: Вопросы синтеза логики ЦВМ, ч.2, Вильнюс, 1974, с. 91-94.

10. Жинтелис Г.Б. Организация процесса проектирования в системе "цроектировщик-система автоматизированного проектирования". Тр. конф. "Автоматизация проектирования", Белосток (ПНР), 1978, с. 351-358.

11. Жинтелис Г.Б., Хомскис P.P. Автоматизация проектирования: общие аспекты и трудности. Тр.конф. "Автоматизация проектирования", Белосток (ПНР), 1980, с. 32-40.

12. Шива С.Г. Автоматизированный синтез аппаратных средств.- ТИИЭР, 1983, т.71, А I, с. 95-110.

13. Глушков В.М., Капитонова Ю.В., Летичевский А.А. Об автоматизации проектирования вычислительных машин. Кибернетика, 1967, & 5, с. 2-14.

14. Ларионов A.M., Лазарев А.И. Некоторые вопросы организации систем автоматизированного проектирования ЦВМ. В кн.: Вопросы радиоэлектроники, сер. ЭВТ, вып.З, 1972, с. 3-9.

15. Пупырев Е.И., Свиридов О.Н., Лебедев А.Т. Организация банка данных для системы проектирования дискретных управляющих устройств. В кн.: Автоматизация проектирования цифровых уст -ройств, ЧПИ, Челябинск, 1973, с. 78-86.

16. Бреуэр А. Последние достижения в области автоматизации проектирования и анализа цифровых систем. В кн.: Автоматизация в проектировании, М.: Мир, 1972, с. 19-48.

17. Hoffmann Wilfried. An Integrated system for computer design. Proc. 12th Design Automation Conf., 1975, p. 8-14*

18. Biehl G., Grass W., Hall S. Optimization of the influence of problem modification on given microprogrammed controllers. -Proc. 17th ACM-IEEE Design Automation Conf., 1980, p. 309-317.

19. Darringer J., Joyner W., Berman C. Logic synthesis through local transformation* IBM J.Res.Dave lop. ,1981, vol.4, p.272-280.

20. Липп X.M. Методологические аспекты логического синтеза.- ТИИЭР, 1983, т.71, № I, с. II0-I22.

21. Мильнер А.Д., Ковалевская Е.В., Яковлев В.В. Принципы построения проблемно-ориентированого комплекса для программирования микропроцессорных устройств и система отладки-на его базе. В кн.: Машинное моделирование, М.: МДНТП, 1980, с. 83-91.

22. Жинтелис Г.Б., Карчяускас Э.К. К вопросу разработки структуры программного обеспечения автоматизированного проектирования с многократными модификациями. Программирование,1979, £ 4, с.79-85.

23. Дьяченко В.Ф. и др. Основы построения автоматизированной системы проектирования микропрограммных автоматов (АСПУМА). В кн.: Дискретные системы, Рига: Зинатне, 1974, т.З, с. 84-92.

24. Willen D. An Intel 3000 Gross Assembler. SIGMICEO Newsletter, 1976, vol. 7, No 4, p. 87-94.

25. Жокин Ю.Н., Наумов И.А. и др. Система автоматизации разработки микропрограммного обеспечения. Ордена Ленина институт прикладной математики АН СССР. Препринт Jfc 21 за 1975 г., М.,1975.- 134 с.

26. Бекасов А.А., Никулевича О.А., Шейнин Ю.Е. МИКРАС система микропрограммирования микро-ЭВМ, построенных на базе серии К589. - Алгоритмы (Ташкент), 1980, if 40, с. 9-18.

27. Забара С.С., Мильнер А.Д. и др. Автоматизированная система микропрограммирования АСПРОМ. УСиМ, 1977, Jfe 6, с. 36-41.

28. Арлазарова А.В., Еветифеева Т.Н., Ландау Й.Я., Погосянц Г.М. Система функционально-структурного моделирования ЦВМ. Теория релейных устройств, вып. 186, Челябинск, 1976, с. 30-32.

29. Skordalakis Б. DGCAS as a microprogram development tool.- SIGMICEO Newsletter, 1980, vol. 11, No 1, p. 10-16.

30. Жинтелис Г.Б. Язык автоматизированного синтеза ЦВМ (МАКРООПЕРАТОР). В кн.: Вопросы синтеза логики ЦВМ, Вильнюс, 1974, ч.1, с. I03-II2.

31. Заботкин Н.М., Загубил Ю.В. и др. Система автоматизации программирования и отладки программ и микропрограмм для микро-ЭВМ. В кн.: Программное обеспечение СМ ЭВМ, Секция III, Калинин,1980, с. 122-125.

32. Bartlett by I.F.MICROTAL A machine-dependent, high-Level microprogramming language. - Proc. of the 14 th Annual Workshop on Microprogramming, 1981, p. 109-114.

33. Zimmermann G. The MIMOLA design system: A computer aided digital processor design method. Proc. 15 th Design Automation Conference. 1979, p. 53-58.

34. Corcoran P. The SUMA Microprogramming System. North-Holland Publishing Company. Microprocessing and Microprogramming, 1981, 7, p. 37-45.

35. Baba T., Hagiwara H. The MPG. system: a machine -independent efficient microprogram generator. IEEE Trans»Comput., 1981, vol.30, No 6, p. 373-395.

36. Tamura E., Tokoro M. Hierarchical microprogram generating system. "SIGMICHO Newslett.", 1979, vol.10, No 4, p. 7-£l.

37. Липаев В.В., Казанов Ф.А. Система автоматизации разработки комплексов управляющих программ для микропроцессоров и микроэвм (ТЕМП). Управляющие системы и машины, 1980, № I, с. 32-36.

38. Рауд Р.К. СЕРП система разработки программ, управляющих микро-ЭВМ класса CMI800. - В кн.: Программное обеспечение АСУ, секция III, Калинин, 1980, с. 130-133.

39. Кирсанов В.О., Романовский А.Б., Юрченко В.М. Анализ и обобщение опыта сопровождения автоматизированной системы производства программ (СИНТЕРМ). УСиМ, 1980, Л I, с. 21-23.

40. Айзенберг Я.Е., Вильбицкий И.В., Конорев Б.М., Стогний А. А. Автоматизированная система производства программ СИНТЕРМ. УСиМ, 1980, Jt I, с. 16-20.

41. EipmoB А.П., Ляпунов А.А. О формализации понятия программы. Кибернетика, 1967, £ 5, с. 40-57.

42. Криницкий Н.А. Равносильные преобразования логических схем и программирования. М.: Сов. радио, 1970.

43. Манна 3. Правильность программ. В кн.: Кибернетический сборник, вып.7, 1970, с. 85-93.

44. Калужин Л. А. Об алгоритмизации математических задач. В кн.: Проблемы кибернетики, М.; вып.4, 1959, с. 51-67.

45. Карп Р. Заметка о приложении теории графов к программированию для ЦВМ. В кн.: Кибернетический сборник, М., вып.4, 1962, с. 123-134.

46. Beizer B. Analytic Techniques for the Statistical Evaluation of Program Running Time. Proc. AFIPS Fait Joint Computer Conference. 1970, v. 37, p. 519-524.

47. Graham R.M. Perfomance Prediction, Advanced Course on Software Engineering. F.L.Bauer (ed), Spring-Verlag, Inc., 1973, p. 395-463.

48. Байцер Б. Архитектура вычислительных комплексов. М.: Мир, т.1, 1974. - 497 с.

49. Отладка систем управляющих алгоритмов / Под ред. Липаева В.В. М.: Сов.радио, 1974. - 319 с.

50. White J.R., Booth T.L. Towards an engineering approach tojsoftware design. Proc. of 2 Int.Gonf. on Software Engineering, San Fransisco, Calif., 1976, Oct. 13-14, p. 214-222.

51. Russell E.C., Estгin G. Measurement Based Automatic Analysis of FOROIRAN Programs. Proc. AFIPS Spring Joint Computer Conf., v. 34, 1969, p. 7^3-732.

52. Информационные системы общего назначения. Аналитический обзор систем управления базами данных / Пер. с англ. под ред. Е.Л. Пценко. М.: Статистика, 1975. - с. 472.

53. Дейт К. Введение в системы управления базами данных / Пер. с англ. М., 1976. - 464 с.

54. Дж.Мартин. Организация в вычислительных системах / Пер. с англ. под ред. Щерса. М.: Мир, 1980. - с. 662.

55. William Н. Inmon. Effective data base design. Prentice -Hall inc., 1981. - 228 p.

56. M.Vetter, R.N.Maddison. Data base design methodology. -Prentice-Hall inc., 1981. 306 p.

57. Дж.Ульман. Основы систем баз данных / Пер. с англ. М.Р. Когаловского и В.В.Когутовского. М.: Финансы и статистика,1983. - 333 с.

58. Ш.Атре. Структурный подход к организации баз данных / под ред. В.Й.Будзко. М.: Финансы и статистика, 1983. - 319 с.

59. Овчаров Л.А., Селетков С.Н. Автоматизированные банки данных. М.: Финансы и статистика, 1982. - 262 с.

60. Система управления базами данных на основе операционной системы МИНИОС и СУБД ОКА. Таллин: Валгус, I960, с. 90-108.

61. Какунин Л. А. Некоторые вопросы баз данных. Зарубежная радиоэлектроника, 1975, Л 12, с. 3-27.

62. Kim W., Siewiorek D. Issues in 1С implementation of high level, abstract design. Proc. 17 th Design Automation Conf., 1980, p. 85-91.

63. Bandurski A.E., Jefferson D. Enhancements to the DBTG model for computer-aided ship design. Proc. ACM Workshop on Databases for Interactive Design, 1975»

64. Eastman Ch.M. System facilities for CAD database. Proc. 17 th Design Automation Conf., 1980, p. 50-56.73» Eastman Ch.M. Data base facilities for engineering design. Proc. of the IEEE, vol. 69, No 10, 1981, p. 1249-1263.

65. Додонов С.Б. Принципы построения проблемно-ориентированных САПР в машиностроении. Кибернетика, 1981, * I, с. 55-59.

66. Thompson T.I. A utilitarion approach to CAD. Proc.19 th Design Automation Conf., Las Vegas, Newada, 1982, p. 23-30.

67. Фойер M. Автоматизация проектирования СБИС: Введение. -ТИИЭР, 1983, т. 71, Я I, с. 8-14.79» Breuer М.А., Friedman A.D., Josupovicz A. A survey of the state of the art of design automation. Computer, 1981, October, p. 58-75.

68. Основные характеристики отечественных СУБД и ИПС / Под ред. А.А.Стогния. Киев: ИК АН УССР, 1980. - 72 с.

69. Sidle T.W. Weaknesses of commercial data base management systems in engineering applications. ACM, 1980, No 6, p. 57-61.

70. Довнар H.A., Ярмош H.A. Архитектура банка данных технологического назначения. Управлявшие системы и машины, 1984, Л 3,с. 99-104.

71. Masakazu, Soga, et al. Engineering Data Management system (EDMS) for Computer Aided Design of Digital Computers. Proc. 11th Design Automation Conf., 1974, p. 372-379»

72. Korenjak A.J., Teger A.R. An integrated CAD data base system. Proc. 12 th Design Automation Conf., 1975» p. 399-406.

73. S.Wong, W.A.Bristol. A computer aided design data base. Proc. 16-th Design Automation Conf., 1979, p. 398-402.

74. Roberts K.A., Baker Т.Е., Jerome D.R. A vertically organized computer aided design data base. Proc. 18 th Design Automation Conf., 1981, p. 595-601.

75. Zintl G. A CODASIL CAD data base system. Proc. 18 th Design Automation Conf., 1981, p. 589-593*

76. Kawano I. The design of a data base organization for an elektronic equipment DA system. Proc. 15 th Design Automation Conf., 1978, p. 167-175.

77. Benett J. A data base management system for design engineers. Proc. 19 th Design Automation Conf., Las Vegas, Newada, 1982, p. 268-274.

78. Бершадская Е.Г. Исследование и разработка унифицированных методов размещения и поиска информации в системах автоматизации конструкторского проектирования: Автореферат Дис. канд. техн.наук. Таганрог, 1984, - 16 с.

79. Джин Чао, Чжон Ли, Терри Смит. Автономная система автоматизированного проектирования СБИС, охватывающая все этапы разработки. Электроника, 1982, т.55, J* 22(652), с. 47-55.

80. Lacroix М., Pirotte A. Data structures for GAD object description. Proc. 18 th Design Automation Conf., 1981, p. 653-659.

81. Башмаков И.А., Губарев А.В. Семантические базы данных в САПР. Проблемы построения и использования. В сб.: Системы автоматизированного проектирования, Москва, вып.555, 1981, с. 59-67.

82. Akihiko Tamada. Design automation Status in Japan. Proc. of 18 th Design Automation Conference, 1981, p. 43-49.

83. Джохтаберидзе Г.Г., Торхов В.Л. САПР баз данных САПР. -В кн.: Интелектуальные банки данных; Тез. докл. конф. Тбилиси, 1982, с. 68-69.

84. Sucher D.I., Wann D.F. A design aids data base for digital components. Proc. 16 th Design Automation Conf. ,1979,p. 414-420.

85. Kuo-Yen Nieng, D.A.Beckley. Component library for an integrated DA System, Proc. 16 th Design Automation Conf., 1979,p. 437-444.

86. Жинтелис Г.Б. Система автоматизированного микропрограммирования. В кн.: Проектирование микропрограммируемых и микропроцессорных структур, Вильнюс, 1981, с. 5-9.

87. Валантинас И.И., Канапяцкас П.Н., Шепетис П.М. Построение транслятора микропрограмм с языка высокого уровня. В кн.: Проектирование микропрограммируемых и микропроцессорных структур, Вильнюс, 1981, с. 10-21.

88. Гринис В. А. Автоматизация отладки микропрограммируемых структур. В кн.: Проектирование микропрограммируемых и микропроцессорных структур, Вильнюс, 1981, с. 35-41.

89. Карчяускас Э.К. Макроассемблер автоматизации микропрограммирования. В кн.: Проектирование микропрограммируемых и микропроцессорных структур, Вильнюс, 1981, с. 22-33.

90. Валантинас И.И., Жинтелис Г.Б., Канапяцкас П.Н. и др. Язык микропрограммирования высокого уровня МИКАЛУ. Управляющие системы и машины, 1980, Jfc 5, с. 82-89.

91. Марцинкявичюс Р.В.Разработка и исследование методики физической адресации микрогфограммируемых структур: Автореф.Дис. . канд.техн. наук. Каунас, 1983. - 18 с.

92. Линкуте И.С. База данных для систем автоматизированного проектирования. В кн.: Вычислительная техника, Каунас, 1978, т.XI, с. 21-24.

93. Сяклюцкис В., Линкуте И. Структура и база данных систем автоматизированного проектирования с использованием каталогов типовых фрагментов. В кн.: Труды конференции:Автоматизация проектирования, Белосток, 1978, с. 359-367.

94. Линкуте И. К вопросу построения баз данных систем автоматизированного проектирования. В кн.: Вычислительная техника, Вильнюс, 1979, т. XIII, с. 41-44.

95. Амбразас Р., Дирвялис В., Линкуте И., Сяклюцкис В. Формализация задачи автоматизированного проектирования структур с выделенными типовыми фрагментами. В кн.: Труды конференции: Автоматизация проектирования, Белосток, 1980, с. 41-51.

96. Линкуте И. Анализ модели базы данных систем автоматизированного проектирования. В кн.: Вычислительная техника, Вильнюс, 1982, т.ХУ, с. 58-61.

97. Линкуте И.О. Автоматизированный архив проектирования микропрограммируемых структур. В кн.: Вычислительная техника, Вильнюс, 1982, т. ХУ1, с. 73-75.

98. Линкуте И. Графовая модель процесса автоматизации проектирования микропрограммируемых структур. В кн.: Вычислительная техника, Вильнюс, 1983, т. ХУП, с. 51-55.

99. Основы операционной системы ЕС ЭВМ / Под ред. А.А.Зем-лянского, М.Г.Персиц. М.: Советское радио, 1984. - 144 с.

100. Диалоговая система коллективного пользования "ПРИМУС" (техническая документация). М.: МИФИ, 1980.

101. Григас Г.К. Методика построения типовых процедур для работы над графами в языке программирования ПЛ/1. В кн.: Методы и программы решения оптимизационных задач на графах и сетях, Новосибирск, 1982, ч.I, с. 50-52.