Исследование и разработка программных средств обеспечения автоматизированного проектирования микропрограммируемых структур тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Левишаускене, Ирена Стяповна

• Левишаускене, Ирена Стяповна
• кандидат технических наук
• 1984

Оглавление диссертации кандидат технических наук Левишаускене, Ирена Стяповна

ВВЕДЕНИЕ.

ГЛАВА 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 тыс. рублей.

Список литературы диссертационного исследования кандидат технических наук Левишаускене, Ирена Стяповна, 1984 год

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.