Подсистема схемотехнического проектирования для диалоговой САПР радиоэлектронных схем на ЕС ЭВМ тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Мазур, Виталий Владимирович

• Мазур, Виталий Владимирович
• кандидат технических наук
• 1984

Оглавление диссертации кандидат технических наук Мазур, Виталий Владимирович

Введение.

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

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

1.2. Анализ особенностей модельного представления объекта при реализации методов и алгоритмов схемотехнического проектирования.

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

1.4. Структура и организация подсистемы схемотехнического проектирования.

Выводы.

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

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

2.2. Разработка логической и физической организации оперативной базы данных подсистемы схемотехнического проектирования.

2.3. Разработка средств для формирования программной среды на основе программных моделей.

2.4. Средства планирования вычислительного цроцесса и интерпретация его формализованного описания . 56 Выводы.

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

3.1. Топологическое описание при многоуровневом иерархическом представлении схемы.

3.2. Алгоритм анализа топологических моделей.

3.3. Структура подсистемы анализа топологических моделей.ЮЗ

3.4. Модификация алгоритмов схемотехнического анализа с учетом структурных особенностей проектируемых схем. 108 Быводы.

4. Разработка методов и алгоритмов анализа при многомодельном иерархическом представлении радиоэлектронных схем.

4.1. Особенности рекурсивных алгоритмов схемотехнического анализа радиоэлектронных схем с иерархической структурой.

4.2. Рекурсивный алгоритм для анализа по постоянному току радиоэлектронных схем с иерархической структурой.

4.3. Логическое моделирование цифровых схем при их многоуровневом представлении.

Выводы.

5. Использование подсистемы схемотехнического проектирования в составе диалоговой учебно-проектной САПР.

5.1. Методические особенности применения подсистемы проектирования в процеосе обучения.

5.2. Средства администратора для сопровождения подсистемы схемотехнического проектирования и ее модернизации.

Выводы.

Введение диссертации (часть автореферата) на тему «Подсистема схемотехнического проектирования для диалоговой САПР радиоэлектронных схем на ЕС ЭВМ»

Выполнение решений ХХУ1 съезда КПСС [ Д , Постановления ЦК КПСС и СМ СССР и0 мерах по ускорению научно-технического прогресса в народном хозяйстве" [2^ , а также реализация ряда национальных и региональных программ [з! предусматривают интенсификацию проектно-конструкторских и научно-исследовательских работ на базе широкого использования вычислительной техники. Повышение качества проектирования, сокращение сроков разработки и освоения цроизводства новой техники оцределяется внедрением в инженерную практику систем автоматизированного проектирования (САПР). Применение таких систем особенно перспективно в динамически развивающейся области проектирования и производства радиоэлектронной аппаратуры, в частности для решения задач схемотехнического проектирования.

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

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

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

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

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

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

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

Достижение указанной цели предполагает решение следующих задач:

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

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

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

4) разработка рекурсивных методов и алгоритмов схемотехнического анализа, ориентированных на многомодальное иерархическое представление объекта проектирования с учетом структурных и динамических свойств его моделей;

5) разработка методики использования подсистемы для автоматизированного проектирования радиоэлектронных схем и ее сопровождения в процессе эксплуатации.

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

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

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

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

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

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

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

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

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Мазур, Виталий Владимирович

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

1. Разработана архитектура программного обеспечения подсистемы схемотехнического цроектирования для диалоговой САПР радиоэлектронных схем "ЭМЦ-ЕС", отличавдаяся от известных ориентацией на многомодельное иерархическое представление объекта проектирования с учетом его специфических особенностей, а также реализацией динамически-управляемого вычислительного цроцесса на основе генерации объектно-ориентированного программного обеспечения САПР.

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

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

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

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

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

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

8. На основе полученных результатов разработана подсистема схемотехнического проектирования, которая в составе учебно-цроектной САПР ИЭМЦ-ЕСП внедрена в инженерную практику и в учебном процессе.

Полученные теоретические и практические результаты использовались в научно-исследовательской работе, проводимой ЛЭТИ в 1981 - 1984 гг. Результаты диссертационной работы и разработанная подсистема использованы в базовой диалоговой учебно-проектной САПР Минвуза РСФСР "ЭМЦ-ЕС".

Основные положения диссертационной работы докладывались на следующих семинарах и конференциях:

Международной конференции "Применение ЭВМ в вузах", Ленинград, 1984;

Всесоюзном совещании-семинаре "Теоретические и прикладные вопросы разработки, внедрения и эксплуатации систем автоматизированного проектирования радиоэлектронной аппаратуры", Москва - Одесса, 1984;

Ш-й Всесоюзной конференции "Автоматизация поискового конструирования и подготовка инженерных кадров" АПК-83, Иваново, 1983;

7-й республиканской школе-семинаре по теоретической электротехнике и электронике, Львов - Шацк, 1982; республиканской школе-семинаре "Современные тенденции в автоматизации конструирования радиоэлектронной и электронно-вычислительной аппаратуры", Славское, 1978; республиканской научно-технической конференции "Машинные методы технического проектирования электронно-вычислительной аппаратуры", Каунас, 1983; третьем республиканском совещании-семинаре по машинному проектированию электронных схем, Львов, 1983; областной научно-технической конференции "Применение систем автоматизированного проектирования в машиностроении", Свердловск, 1982; областной научно-технической конференции "Проблемы автоматизации проектирования", Свердловск, 1983; научно-технических конференциях профессорско-преподавательского состава ЛЭТИ им.В.И.Ульянова (Ленина), 1982-1983 гг. По материалам диссертации опубликовано 12 работ.

161

158 ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат технических наук Мазур, Виталий Владимирович, 1984 год

1. Материалы ХХУ1 съезда КПСС. М.: Политиздат, 1981. -223 с.

2. Правда: Орган ЦК КПСС. М.: 28 августа 1983 г.

3. Зайков Л. По программе интенсификации. Правда, 13 августа 1984 г.

4. Комплекс общеотраслевых руководящих методических материалов по созданию АСУ и САПР /Государственный комитет СССР по науке и технике. М.: Статистика, 1980. - 119 с.

5. ГОСТ 23070-78. Анализ и оптимизация на ЭВМ радиоэлектронных схем. Термины и определения. Введ. с 01.01.79.

6. Калахан Д. Методы машинного расчета электронных схем: Пер. с англ. М.: Мир, 1970. - 344 с.

7. Чуа Л.О., Лин Пен-Мин. Машинный анализ электронных схем: Алгоритмы и вычислительные методы: Пер. с англ. М.: Энергия, 1980. - 640 с.

8. Фролкин В.Т., Тихомирова Е.М., Мошняга В.Г. Моделирование электронных схем с высокой степенью интеграции компонентов. Изв. вузов MB и ССО СССР. Радиоэлектроника, 1984, т.27, £ 6, с.17-31.

9. Ниссен К. Методология и средства иерархического проектирования СБИС. ТИИЭР, 1983, т.71, I, с.81-94.

10. Хэчтел Г.Д., Санджованни-Винчентелли А. Обзор методов моделирования третьего поколения. ТИИЭР, 1981, т.69, № 10, с.ЮО-119.

11. Анисимов В.И., Дмитревич Г.Д., Перков Н.К. Состояние работ по созданию базовой учебно-цроектной САПР "ЭМЦ-2". Изв. ЛЭТИ. Науч. тр. /Ленингр. электротехн. ин-т им.В.И.Ульянова (Ленина), вып.310, 1982, с.3-5.

12. Вышкинд И.Е. Реализация транслятора в системе схемотехнического проектирования "ЭМЦ-2". Изв. ЛЭТИ. Науч. тр. /Ленингр. электротехн. ин-т им.В.И.Ульянова (Ленина), вып.310, 1982, с.27-31.

13. Общая характеристика пакета прикладных программ для решения задач схемотехнического проектирования /Петренко А.И.и др. Электронное моделирование, 1979, т.1, № 2, с.68-79.

14. Норенков И.П., Мартынюк В.А., Трудоношин В.А., Федорчук

15. В.Г. Алгоритмы и организация программного комплекса схемотехнического проектирования. Изв. вузов MB и ССО СССР.

16. Радиоэлектроника, 1984, т.27, № 6, с.71-77.

17. UiwtoN АЛ. Techniques for simnLatioN on Large-scale integratedcircuits- IEEE Trans., 1Щ v. CAS-26, p. 7И- 7kQ.

18. ScLhigLOvam- ViticeNtellL IL.} Rabbat yV& TeihtJi^m for the time-dome'ut analysis of I/Ш circuits h: hoc. IEEE Ш0, v. 127, part С,9.292-301

19. SakaLLah ft J., Director S.W. An Evewt Driven/ Approach for Mixed Cate ал/d Circuit Level SlmuLatloN. -In: Proc.M. Symp. Circ. and Syst., Ш2. pp. H9k dig?.

20. Комплекс программ электрического анализа электронных схем ЭЛАИС /А.Я.Архангельский, Н.Г.Левшин, С.В.Светцов, В.Ю. Сергиенко. В сб. тр. МИФИ, М., 1982. - 91 с.

21. Uymrt Ph., De Мам Н., kvnout Q.^Corvelissetf j. OlflNfl : A mixed-mode simulator wilh a hardware description Шдиаде -for hierarchical design of VLSI.- I/if- Proc.lEEF M. Conf. Circuits aNd Computers, Ш0, p 356-360.

22. Диалоговая подсистема схемотехнического проектирования цифровых ИС (САМРИС-3) /Ю.Н.Беляев и др. Микроэлектроника и полупроводниковые приборы. Вып. 9. - М.: Радио и связь, 1984, с.145-157.

23. Моделирование и оптимизация на ЭВМ радиоэлектронных устройств /З.М.Бененсон, М.Р.Елистратов, Л.К.Ильин и др.; Под ред.З.М.Бененсона. М.: Радио и связь, 1981. - 272 с.

24. Ильин В.Н., Коган В.Л., Камнева Н.Ю., Попов В.З., Фролкин В.Т. Расчет оптимальных параметров электронных схем с помощью комплекса программ АРОПС. Изв. MB и ССО СССР. Радиоэлектроника, 1976, № 6, с.99-107.

25. Арайс Е.А., Дмитриев В.М. Моделирование неоднородных цепей и систем на ЭВМ. М.: Радио и связь, 1982. - 160 с.

26. Ильин В.Н., Бахов В.А., Камнева Н.Ю., Коган В.Л., Котульс-кий М.А. Комплекс программ СПРОС для расчета и оптимизации схем. Изв. вузов MB и ССО СССР. Радиоэлектроника, 1982, т.25, № 6, с.65-99.

27. Глориозов Е.Л., Сеорин В.Г., Сыпчук П.П. Введение в автоматизацию схемотехнического проектирования. М.: Сов.радио, 1976. - 224 с.

28. Баталов Б.В., Норенков И.П. Системы автоматизированного проектирования СверхБЙС. Микроэлектроника, 1980, т.9, вып.5, с.401-412.

29. Ильин В.Н. Состояние и проблемы развития автоматизированных систем схемотехнического проектирования электронных схем. Изв. вузов MB ССО СССР. Радиоэлектроника, 1984, т.27, « 6, с.7-17.

30. Концепции построения и архитектуры САПР СБИС /Б.В.Баталови др. Микроэлектроника и полупроводниковые приборы. Вып.9. - М.: Радио и связь, 1984, с.16-25.

31. Анисимов В.И. Топологический расчет электронных схем. -Л.: Энергия, 1977.

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

33. Елажкевич Б.И. Физические основы алгоритмов анализа электронных цепей. Киев: Наукова думка, 1979. - 296 с.

34. Секен К.Х. Управление сложностью СБИС: Современное состояние и перспективы. ТИИЭР, 1983, т.71, Jfc I, с.184-211.

35. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем: Пер. с англ. М.: Мир, 1973. -344 с.

36. Гурарий М.М., Б^эмак В.В., Зарудный Д.И., русаков С.Г. Применение метода многополюсных подсхем в программах анализа электрических характеристик больших интегральных схем. -УСиМ, 1973, Л 5, с.55-58.

37. Ильин В.Н., Коган В.Л. Разработка и применение программ автоматизации схемотехнического проектирования. М.: Радио и связь, 1984. - 368 с.

38. Фатеев А.Е., Ройтман А.И., Фатеева Т.П. Прикладные программы в системе математического обеспечения ЕС ЭВМ. М.: Статистика, 1976. - 183 с.

39. Кахро М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). М.: Финансы и статистика, 1981. - 158 с.

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

41. Варшавский В.И., Поспелов Д.А. Оркестр играет без дирижера: Размышления об эволюции некоторых технических систем и управления ими. М.: Наука, 1984. - 207 с.

42. Языки программирования: Пер. с англ.; Под ред. Женьюи Ф. -М.: Мир, 1972. 408 с.

43. Тамм Б.Г., Тыугу Э.Х. 0 создании проблемно-ориентированного программного обеспечения. Кибернетика, № 4, 1975. -с.76-85.

44. Тыугу Э.Х. Решение задач на вычислительных моделях. ЖВМ и МФ, т.10, 1970, № 3, с.716-733.

45. Хаббард Дж. Автоматизированное проектирование баз данных: Пер. с англ. М.: Мщ>, 1984. - 296 с.

46. Ульман Дж. Основы систем баз данных: Пер. с англ. М.: Финансы и статистика, 1983. - 234 с.

47. Дейт К. Введение в системы баз данных: Пер. с англ. М.: Наука, 1980. - 464 с.

48. Кокорева Л.В., Малашинин И.И. Проектирование банков данных. М.: Наука, 1984. - 256 с.

49. Дрибас В.П. Реляционные модели баз данных. Минск: Изд. ЕГУ, 1982. - 192 с.

50. Средства баз данных для инженерного цроектирования /Ч.М. Истмен. ТИИЭР: Пер. с англ., 1981, т.69, № 10, с.79-100.

51. Организация банка данных САПР СБИС /В.А.Шепелев и др. -Микроэлектроника и полупроводниковые приборы. Вып.9. М.: Радио и связь, 1984. - с.53-68.

52. Тамм Б.Г., Тыугу Э.Х. Пакеты программ. Изв. АН СССР.

53. Техническая кибернетика, 1977, № 5, c.III-124.

54. Гринштейн В.А., Черкасов Ю.М., Яловецкий В.И. Интерпретирующие программные средства обработки информации. М.: Радио и связь, 1984. - 191 с.

55. Тнугу Э.Х. Генератор программ в модульной системе программирования. Кибернетика, J6 6, 1974. - с.74-78.

56. Глушков В.П., Капитонова Ю.В., Летичевский А.В. Математическое обеспечение автоматизированной системы проектирования вычислительных машин и систем (ПРОЕКТ). Кибернетика, № 4. - К., 1970.

57. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоиздат, 1981. - 232 с.

58. ГОСТ 2.710-81. Обозначения буквенно-цифровые в электрических схемах. Введ. с 01.07.81.

59. Операционная система ОС ЕС: Сцравочное пособие /В.П.Дани-лочкин, В.В.Митрофанов, Б.В.Одинцов, Г.В.Пеледов; Под ред. Л.Д.Райкова. М.: Статистика, 1980. - 480 с.

60. Белов С.Б. Организация динамической загрузки программ в

61. ОС ЕС. Препринт. Владивосток: ИАПУ ДВНЦ АН СССР, 1978. -17 с.

62. Донован Дж. Системное программирование: Пер. с англ. М.: Мир, 1975. - 540 с.

63. Баррон Д. Ассемблеры и загрузчики: Пер. с англ. М.: Мир, 1974. - 78 с.

64. JKoyv\^sov\ E.W. too(U\\vi<j JnjdaL bwviulaiion \oy cWmcjh Wl d»agv\o.iis

65. Гурова Л.И., Сахаров С.С. Прикладные программы. М.: Статистика, 1980. - 280 с.

66. Котов В.Е. Сети Петри. М.: Наука, 1984. - 160 с.

67. Noe I Л). Neis m modeLm^ Хи •. Lecture WoHs Computer Sd\€v\ce. bevlm:1. WO, SA p.ЪК1~368 .

68. Кнут Д. Искусство программирования для ЭВМ. Т.З. Сортировка и поиск: Пер. с англ. М.: Мир, 1978. - 844 с.

69. Кнут Д. Искусство программирования для ЭВМ. T.I. Основные алгоритмы: Пер. с англ. М.: Мир, 1976. - 735 с.

70. Флорес И. Структуры и управление данными: Пер. с англ. -М.: Финансы и статистика, 1982. 819 с.

71. Баталов Б.В., Егоров Ю.Б., Русаков С.Г. Основы математического моделирования больших интегральных схем на ЭВМ.

72. М.: Радио и связь, 1982. 168 с.

73. Sah^iovavww- \1плс«лл\е1\-\ l\.L, CVvem XXk ChuaL.D.,

74. At Y\ew approach-Veawwcj tv\octaLаъъ

75. Xv\ ?rot. XKV . ^wvp. ov\C\re.71. CW L.O., CWL.K. *vut

76. Av\*Lysis.-XEEH Tirahs.cm Слгс. WSys-V.1. VOL.С, NHl72. bmgK^vw x.k.c. к M^Kod o^- l\vo\<*iv\<g LoSS N^c-urac.^ \y\ irv ocJal ^^Lvjms -Proc. o^W XEEE vol.S5, f- W-MO

77. Сигорский В.П., Петренко А.И. Основы теории электронных схем. К.: Вшца шкапа, 1971. - 568 с.

78. Дафф И.С. Обзор исследований по разреженным матрицам. -ТИИЭР, т.65, № 4, 1977. с.5-47.

79. Тьюарсон Р. Разреженные матрицы: Пер. с англ. М.: Мир, 1977. - 189 с.

80. Bermv^ R.D. h\ op^wwaL orjenv^ oj eUcbrovuc circu\t есцлг+ю* a sparse, m^v-ix. ioLuhoVi.-XEEE T^M.mi V.CM&,N«A p.AO'50

81. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика: Пер. с англ. М.: Мир, 1980. -476 с.

82. Методы разбиения /К.К.Морозов, А.Н.Мелихов, Л.С.Бернштейн, В.Г.Одиноков, В.М.Курейчик; Под ред. К.К.Морозова. М.: Сов. радио, 1978. - 136 с.

83. Харари Ф. Теория графов: Пер. с англ. М.: Мир, 1973. -300 с.

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

85. Уилкинсон Дж.Х. Алгебраическая проблема собственных значений. М.: Наука, 1970. - 564 с.

86. Молер К., Форсайт Дж. Численное решение систем линейных алгебраических уравнений: Пер. с англ. М.: Мир, 1969. -167 с.

87. Парлетт Б. Симметричная проблема собственных значений. Численные методы: Пер. с англ. М.: Мир, 1983. - 382 с.

88. Глушков В.М., Молчанов И.Н., Николенко Л.Д. 0 выборе длины машинного слова при решении систем линейных алгебраических уравнений на ЭВМ. УС и М, 1981, № 3, с.12-15.

89. Стренг Г. Линейная алгебра и ее применения: Пер. с англ. -М.: Мир, 1980. 454 с.

90. Ушгкинсон, Райнш. Справочник алгоритмов на языке Алгол.

91. Линейная алгебра: Пер. с англ. М.: Машиностроение, 1976. - 390 с.

92. Воеводин В.В. Ошибки округления и устойчивость в прямых методах линейной алгебры. М.: МГУ, 1969. - 154 с.

93. Воеводин В.В. Вычислительные основы линейной алгебры. -М.: Наука, 1977. 300 с.

94. Xn.Proc. XBEE Xhf .Svjwif.Circuit a»o| S^si.

95. Форсайт Дж., Малкольм М., Моулер К. Машинные методы математических вычислений: Пер. с англ. М.: Мир, 1980.- 279с.

96. Вычислительная система IBM/360. Принципы работы. М., 1969. - 440 с.

97. Демидович Б.П., Марон И.А. Основы вычислительной математики. М.: ГИФМЛ, 1963. - 658 с.

98. Брадис В.М. Устный и письменный счет. Вспомогательные средства вычислений. Энциклопедия элементарной математики. -М.: Учпедгиз, 1951.

99. Сигорский В.П. Моделирование электронный цепей в обобщенном узловом координатном базисе. Изв. вузов MB и CC0 СССР. Радиоэлектроника, т.24, № 6, 1981, с.37-46.

100. Сигорский В.П. Проблемная адаптация формирования математических моделей электронных цепей. Изв. вузов MB и CC0 СССР. Радиоэлектроника, т.26, № I, 1983, с.7-19.

101. Бахов В.А., Ильин В.Н., Фролкин В.Т. Алгоритм расчета нелинейных схем методом подсхем с использованием итераций по Ньютону. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.17, № 6, 1974, с.5-15.

102. Годлевский B.C. Один вариант метода подсхем расчета характеристик нелинейных электронных схем. Электронное моделирование, Jfc I, 1981, с.74-77.

103. Ильин В.Н. Метод многополюсных подсхем на основе алгоритма Гаусса. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.20, № 6, 1977, с.123-125.

104. WuF.F SoUdvoVo о^ Ьаигде-ScaLe Ц lewng.

105. Traws. оул CircuitsawJ S^ems.VoL.C^-23 , №

106. Rsabbst N.B. ,HsieV\ Н.У. A L^Ve^ ap^voach "ta

107. Tv-av,s.ie76,v.CACT25 Mie p^>745-752

108. Пуйда С.К. Метод анализа электронных схем с многополюсными компонентами. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.22, № II, 1979, c.I0I-I03.

109. Елизаренко Г.Н., Слипченко В.Г. Иерархические способы организации итераций в сложных нелинейных цепях. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.20, № 6, 1977, c.I07-III.

110. Гурарий М.М., Русаков С.Г. Метод оптимального расчета параметров больших интегральных схем при иерархическом представлении их математических моделей. УС и М, № 4, 1976, с.115-119.

111. Петренко А.И., Власов А.И., Тимченко А.П. Методы анализа сложных электронных схем на ЭЦВМ. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.21, № 6, 1978, с.42-48.

112. Петренко А.И., Елизаренко Г.Н., Власов А.И. Анализ сложных схем методом разбиения с использованием принциповтабличного представления уравнений. Изв. вузов MB и ССО СССР. Радиоэлектроника, т.18, № 6, 1975, с.41-49.

113. НО. Sabbat Q.H.5.,SoLN(.iovam-\/iNCwtellL A.L.,HsLeh И./. A mulULevel MzwtoN Algorithm with tfacrotvodeLLug and Latensy for the Am lysis of Large-Scale tfai/Linear Circuits ш the Time DotnBLN. IEEE TraNS.> 4979, v.CAS-26, №9, p. 733-740.

114. Бердж В. Методы рекурсивного программирования: Пер. с англ. М.: Машиностроение, 1983. - 248 с.

115. Баррон Д. Рекурсивные методы в программировании: Пер. с англ. М.: Мир, 1974. - 79 с.

116. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов: Пер. с англ. М.: Мир, 1981. - 366 с.

117. Петренко А.И., Семенков О.И. Основы построения систем автоматизированного проектирования. К.: Вшца школа, 1984. - 294 с.

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

119. Сигорский В.П., Петренко А.И. Алгоритмы анализа электронных схем. Изд. 2-е, перераб. и дополн. - М.: Сов.радио, 1976. - 608 с.

120. Образцов И.Ф. Подготовка инженеров нового типа, удовлетворяющих требованиям 1900 2000 годов. - В кн.: Тезисы докл. Ш-й Всесоюзн. конф. "Автоматизация поискового конструирования и подготовка инженерных кадров", Иваново, 1983, с.3-4.

121. Денинг В., Эссиг Г., Маас С. Диалоговые системы "человек -ЭВМ". Адаптация к требованиям пользователя: Пер. с англ. -М.: Мир, 1984. 112 с.

122. Диалоговая система автоматизированного проектирования

123. В.И.Анисимов и др. Л.: ЛЭТИ, 1982.

124. Мазур В.В., Смирнов С.И., Соколов Ю.М. Опыт применения в учебном процессе САПР "ЭМЦ-2". В кн.: Методология обучения применению ЭВМ в вузе. Материалы конф. "Применение ЭВМ в вузе". Л., 1984, с.95-97.

125. Машинное проектирование электронных схем на ЭВМ "Мир"

126. Анисимов В.И., Дмитревич Г.Д., Ларистов А.И., Скобельцын К.Б. Л.: ЛЭТИ, 1979.

127. Автоматизация расчета электронных схем на инженерных ЭВМ / Анисимов В.И., Дмитревич Г.Д., Ежов С.Н. и др. Л.: ЛЭТИ, 1980.

128. Алексеев О.В., Анисимов В.И., Мироненко И.Г. Подготовка инженерных кадров по САПР в ЛЭТИ. В кн.: Методология обучения применению ЭВМ в вузе. Материалы конф. "Применение ЭВМ в вузе". Л., 1984, с.38-43.

129. Перков Н.К. Программное обеспечение САПР. Л.: ЛЭТИ, 1982. - 45 с.

130. Перков Н.К., Стрельников Ю.Н. Организация систем автоматизации схемотехнического проектирования РЭА на ЕС ЭВМ. -Л.: ЛЭТИ, 1983. 47 с.

131. ГОСТ 23501.0-79. Системы автоматизированного проектирования. Основные положения. Введ. с 01.01.80.

132. ГОСТ 23501.4-79. Системы автоматизированного проектирования. Общие требования к программному обеспечению.1. Введ. с 01.01.80.

133. ГОСТ 23501.1-79. Системы автоматизированного проектирования. Стадии создания. Введ. с 01.01.80.

134. Белоцерковский А.С., Коган B.JT., Котульский М.А. Принципы унификации входного языка программ схемотехнического проектирования. В сб.: Автоматизация цроектирования в радиоэлектронике и вычислительной технике. - М., 1984.

135. Довгяло A.M. Диалог пользователя и ЭВМ. Основы цроектирования и реализации. Киев: Наукова думка, 1981.

136. ГОСТ 23501.16-81. Системы автоматизированного цроектирования. Диалоговые средства. Введ. с 01.01.83.

137. Анисимов В.И., Дмитревич Г.Д., Мазур В.В. Организация модулей схемотехнического проектирования САПР "ЭМЦ-2". В кн.: Третье респ. совещание-семинар по машинному проектированию электронных схем. Тезисы докл., Львов, 1983,с.6-7.