Разработка численного метода решения систем нелинейных обыкновенных дифференциальных уравнений, описывающих временное поведение цифровых УБИС с учетом латентности
ОДУ, а также разработка алгоритмического и программного обеспечения, реализующего данные методы. Разработка указанного обеспечения проводилась с использованием теории электрических цепей, теории множеств и линейной алгебры, теории графов, численных методов решения систем линейных, трансцендентных и дифференциальных уравнений, теории структурной организации хранения и управления данными, методов… Читать ещё >
Содержание
- 1. МЕТОДЫ СХЕМОТЕХНИЧЕСКОГО МОДЕЛИРОВАНИЯ УБИС
- 1. 1. Введение
- 1. 2. Основные этапы схемотехнического моделирования
- 1. 2. 1. Составление математической модели
- 1. 2. 2. Численные методы решения математической модели
- 1. 3. Современные методы сокращения временных затрат при схемотехническом моделировании УБИС
- 1. 3. 1. Метод временного анализа ADAPTS
- 1. 3. 2. Учет латентности при моделировании цифровых УБИС
- 1. 4. Использование декомпозиции при схемотехническом моделировании
- 1. 5. Выводы. Постановка задачи
- 2. РАЗРАБОТКА СПЕЦИАЛИЗИРОВАННОГО ЧИСЛЕННОГО МЕТОДА РЕШЕНИЯ СИСТЕМ НЕЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
- 2. 1. Формирование независимых подсистем ЛАУ при моделировании цифровых УБИС
- 2. 1. 1. Терминология
- 2. 1. Формирование независимых подсистем ЛАУ при моделировании цифровых УБИС
- 2. 1. 3. Формирование независимых подсистем ЛАУ
- 2. 2. Особенности формирования независимых подсистем ЛАУ в реальных электрических схемах
- 2. 3. Критерии применимости разрабатываемого метода
- 2. 4. Решение независимых подсистем ЛАУ
- 2. 4. 1. Методы решения независимых подсистем ЛАУ
- 2. 4. 2. Методы решения плохо обусловленных систем ЛАУ
- 2. 5. Особенности построения баз данных в современных программах схемотехнического моделирования
- 2. 5. 1. Обобщенный подход к представлению структурного описания электрической схемы
- 2. 5. 2. Трансляция входных языков на этапе схемотехнического проектирования
- 2. 6. Выводы
- 3. 1. Алгоритмы формирования независимых подсистем ЛАУ при моделировании цифровых УБИС
3.1.1.Модификация алгоритмов учета латентности для реализации разбиения на независимые подсистемы ЛАУ. 106 3 .1. 2. Алгоритмы формирования независимых подсистем ЛАУ109 3.1.3.Алгоритмы динамического формирования независимых подсистем ЛАУ.
3.2. Результаты моделирования электрических схем с применением разбиения на независимые подсистемы ЛАУ
3.3. Алгоритмы для работы с обобщенным структурным описанием электрической схемы.
3.4. Выводы.
4. РАЗРАБОТКА ПРОГРАММНЫХ МОДУЛЕЙ.
4.1. Особенности программирования современных пакетов прикладных программ.
4.2. Программные модули, реализующие метод разбиения на независимые подсистемы ЛАУ.
4.3. Реализация обобщенного структурного описания входных проектов в
САПР КИПАРИС.
4.4. Тестирование разработанных программных модулей
4.5. Выводы.
Список литературы
- Казеннов Г. Г., Соколов А. Г. Принципы и методология построения САПР БИС. Москва: Высшая школа, 1990.
- Казеннов Г. Г., Соколов А. Г. Основы построения САПР и АСТПП. Москва: Высшая школа, 1989.
- Ермак В.В., Перминов В. Н., Соколов А. Г. Рабочие станции в проектировании БИС. Москва: Высшая школа, 1990.
- Петренко А.И., Власов А. И., Тимченко А. П. Табличные методы моделирования электронных схем на ЭЦВМ. Киев: Вища школа, 1977.
- Чуа Л.О., Лин П. М. Машинный анализ электронных схем (алгоритмы и вычислительные методы). Москва: Энергия, 1980.
- Chua L.O., Lin P.M. Computer-aided analysis of electronic circuits- algorithms and computational techniques. Prentice Hall, 1975.
- Влах И., Сингхал К. Машинные методы анализа и проектирования электронных схем. Москва: Радио и связь, 1988.
- Глориозов Е.Л., Ссорин В. Г., Сыпчук П. П. Введение в автоматизацию схемотехнического проектирования. Москва: Наука, 1976.
- Писсанецки С. Технология разреженных матриц. Москва: Мир, 1988.
- Форсайт Дж., Малькольм М., Моулер К. Машинные методы математических вычислений. Москва: Мир, 1980.
- Каханер Д., Моулер К., Нэш С. Численные методы и программное обеспечение. Москва: Мир, 1998.
- Голуб Дж., Ван Лоун Ч. Матричные вычисления. Москва: Мир, 1999.
- Воеводин В.В., Кузнецов Ю. А. Матрицы и вычисления. Москва: Наука, 1984 г.
- Мудров А.Е. Численные методы для ПЭВМ. Томск: МП Раско, 1992.
- Stein A.D., Nguyen T.V., George B.J., Rohrer R.A. ADAPTS: A Digital Transient Simulation Strategy for Integrated Circuits// 28th ACM/IEEE Design Automation Conference, Paper 2.2, 1991. pages 26−31.
- Chawla B.R., Gummel H.K., Kozak P. MOTIS An MOS timing simulator// IEEE Trans, on Circuits and Systems. CAS-22(12):901−910, December 1975.
- Kim Y.H., Kleckner J.E., Saleh R.A., Newton A.R. Electrical-logic simulation// IEEE Int. Conf. on CAD, 1984. pages 7−10.
- Ruan G., Vlach J. Current limited switch-level timing simulator for MOS logic networks// Proc. IEEE International Conference on Computer Design, 1985. pages 597−601.
- Vidigal L.M., Nassif S.R., Director S.W. CINNAMON: coupled integration and nodal analysis of MOS networks// Proc. 1986 Design Automation Conference, June 1986. pages 179−185.
- Visweswariah C., Rohrer R.A. SPECS2: An integrated circuit timing simulator// In IEEE Int. Conf. on CAD, November 1987. pages 94−97.
- Nagel L.W. SPICE2: A Computer Program to Simulate Semiconductor Circuits// Electronics Research Laboratory Rep. No ERLM520, University of California, Berkley, May 1975.
- Vladimirescu A., Liu S. The simulation of MOS integrated circuits using SPICE2 // Berkeley Research Laboratory University California, 1980, Memo M80/7.
- Баталов Б.В., Егоров Ю. Б., Русаков С. Г. Основы математического моделирования больших интегральных схем на ЭВМ. Москва: Радио и связь, 1982 г.
- Кокин С.А., Макаров C.B., Перминов В. Н. Использование табличных представлений моделей активных элементов при схемотехническом моделировании БИС// Известия ВУЗов, Электроника, № 5. Москва: МИЭТ, 1997. стр. 71−78.
- Ильин В.Н., Фролкин В. Т., Будко А. И., Камнева Н. Ю., Тихомирова Е. М. Автоматизация схемотехнического проектирования. Учеб. Пособие для вузов. Под ред. В. Н. Ильина. Москва: Радио и связь, 1987.
- Перминов В.Н. Особенности схемотехнического моделирования цифровых СБИС// Известия высших учебных заведений, Электроника, № 1−2. Москва, 1996 г.
- Перминов B.H., Соколов А. Г., Казеннов Г. Г., Кокин С. А. Моделирование ультра больших интегральных схем// Труды Всероссийской научно-технической конференции «Электроника и информатика-95», Тезисы докладов. Москва, 1995. с.79−81.
- Казеннов Г. Г., Перминов В. Н., Соколов А. Г. Численные методы моделирования ультра больших интегральных схем//
- Электронная промышленность, № 4−5. Москва, 1995. с.121−125.
- Макаров C.B., Куликов O.A., Гаврилов М. С., Кокин С. А., Перминов В. Н. Моделирование динамических систем большой размерности// Межвузовская научно-техническая конференция. «Микроэлектроника и информатика 96″, Тезисы докладов. Москва: МИЭТ, 1996. стр. 40.
- Dorr F.W. An example of ill-conditioning in the numerical solution of singular perturbation problems// Math. Сотр., 25 (1971), pp. 271−283.
- Бахвалов H.С., Жидков H.П., Кобельков Г. M. Численные методы. Москва: Наука, 1987.
- Казеннов Г. Г., Ермак В. В., Кремлев В. Я., Макаров C.B. и др. Разработка основ теории и функциональных подсистем САПР УЛЬТРА БИС// Отчет о НИР шифр „610-ГБ-53-Б-ПКИМС“, Г. Р. № 1 970 000 156, инв. № 2 990 000 739. Москва: МИЭТ, 1998. 96стр.
- Марчук Г. И., Шайдуров В. В. Повышение точности решений разностных схем. Москва: Наука, 197 9. с. 320.
- Гилл Ф., Мюррей У., Райт М. Практическая оптимизация. Москва: Мир, 1985. с. 509.
- Комлев Н.Г. Словарь новых иностранных слов. Москва: МГУ, 1995 г.
- Куликов O.A., Макаров C.B., Перминов В. Н. Процедура сингулярного разложения матриц специального вида в системах схемотехнического моделирования СБИС// Известия ВУЗов, Электроника, № 4. Москва: МИЭТ, 1999. стр. 45−51.
- Валях Е. Последовательно-параллельные вычисления. Москва: Мир, 1985 г.
- Стемпковский A. J1., Шепелев В. А., Власов A.B. Системная среда САПР СБИС. Москва: Наука, 19 94 г.
- Макаров C.B., Кокин С. А., Перминов В. Н., Соколов А. Г., Внутреннее представление развернутого описания схемы в САПР КИПАРИС// Труды Межвузовской научно-технической конференции „Микроэлектроника и информатика“. Москва, 1995. с.44−46.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. Москва: Мир, 1975 г.
- Хантер Р. Проектирование и конструирование компиляторов. Москва: Финансы и статистика, 1984 г.
- Вирт Н. Алгоритмы и структуры данных. Москва: Мир, 1989 г.
- Кнут Д. Искусство программирования для ЭВМ. Основные алгоритмы. Том 1. Москва: Мир, 197 6 г.
- Кнут Д. Искусство программирования для ЭВМ. Сортировка и поиск. Том 3. Москва: Мир, 197 8 г.
- Страуструп Б. Язык программирования С++. СПб: Невский диалект. Москва: Издательство БИНОМ, 1999 г.
- Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. Москва: Мир, 1980 г.
- Макаров C.B., Куликов O.A., Гаврилов М. С., Кокин С. А., Перминов В. Н. Агрегативный подход к проектированию постпроцессоров// Межвузовская научно-техническая конференция „Микроэлектроника и информатика 96″, Тезисы докладов. Москва: МИЭТ, 1996 г. стр. 41.
- Кокин С.А., Макаров C.B., Перминов В. Н. Комплект программ схемотехнического моделирования КИПАРИС// Третья международная научно-техническая конференция „Микроэлектроника и информатика“, Тезисы докладов. Москва, Зеленоград: МФИ-97. стр. 33.
- Проректор по учебной работеI1,-М.Н., проф. /Поспелов А.С./ 1999 г.
- АКТ О ВНЕДРЕНИИ РЕЗУЛЬТАТОВ ДИССЕРТАЦИОННОЙ РАБОТЫ В УЧЕБНЫЙ ПРОЦЕСС
- Зав. кафедрой ПКИМС, д.т.н.1. УТВЕРЖДАЮ"1. Гос. НИИФП, 1. УТВЕРЖДАЮ“
- Проректор пп няумнпй работе1. Бархоткин В.А./ 1999 г.1. АКТ О ВНЕДРЕНИИ
- Комплекс инженерных программ анализа электронных схем используется в составе САПР предприятия для проектирования интегральных схем.
- От Гос. НИИФП: Гл. инжене? Ло?1-НИИФП, 1. Зент /Тишин Ю.И./наялаб.^!-^, к.ф.-м.н.1. Кокин СЛ./
- От МГИЭТ: Зав. кафедрой ПКИМС, д.т.н., проф.1. Казенное’Г. Г./доц. кафедры ПКИМС /Перминов В.Н./т кафедры ПКИМС /Макаров C.B. /1. УТВЕРЖДАЮ"эственного яерных он -Телеком проф.1. УТВЕРЖДАЮ»
- Про^§ 1сюр-пи><�ь1учней работе-—--- /Kanvi1. Бархоткин В.А./1999г.feoifL/ОКОЛОв А. Г./ 1999 г.1. J ^7/ '1. АКТ О ВНЕДРЕНИИ
- Комплекс инженерных программ анализа электронных схем используется в составе САПР предприятия для проектирования интегральных схем.
- От Государственного От МГИЭТ: центра компьютерных «' ~ ~.технологий „Силикон -, Телеком Софт“: Зам. директора, к.т.н., Л/У/ .-^^/АрхипкинВ.Я./— ¦¦. у11″» •1. РОССИЙСКАЯ ФЕДЕРАЦИЯ
- РОССИЙСКОЕ АГЕНТСТВО ПО ПАТЕНТАМ И ТОВАРНЫМ ЗНАКАМ (РОСПАТЕНТ)
- Об официальной регистрации программы для ЭВМ990 247
- Analog Simulator 50 000 («AnSim 50 000»)1. Правообладатель (ли):
- Государственное ylpeojcdenue Государственник уентр компьютерных технологий «(ЖМКОН ЯЩИКОМ СОФЯТГ (RU)1. Автор (ы):
- Соколов с Александр ГеоргиеШ, ЯТермннов Владимир Николаева, Кокни Серий с/1лександрови1, Макаров Сергей Зднкморовн1, Горюнов 90pud сДлекоандровн1, ЩуЗш c/bekced Шжровп1,Терминов Юенис Владимиром (RU)
- Страна: Российская Федерация -по заявке № 990 107, дата поступления: 02 марта 1999 г.
- Зарегистрировано в Реестре программ для ЭВМг. Москва, 30 апреля 1999 г.