Управление сложными проектами в интегрированных САПР - часть 32

124

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

Энкарначчо Ж., Шлехтендаль Э. Автоматизированное проектирование. Ос-
новные понятия и архитектура систем: Пер. c англ. – М.: Радио и связь,

1986. – 288 с.

Липп Х.М. Методические аспекты логического синтеза: Пер. с англ. //
ТИИЭР, т. 71, №1, 1981. – С. 110-121.

Ниссен К. Методология и средства иерархического проектирования СБИС:
Пер. с англ. // ТИИЭР, т. 71, №1, 1981. – С. 81-94.

Харин В.Н., Стариков А.В. Информационные аспекты проектирования вы-
соконадежных функциональных систем // Оптимизация и моделирование в
автоматизированных системах: Межвуз. сб. научн. тр., Воронеж: ВГТУ,

1995.

−

C. 68-70.

Харин В.Н., Стариков А.В. Обобщенная информационная модель проекта
высоконадежных систем особой сложности // Методы и средства оценки и
повышения надежности приборов, устройств и систем: Тез. докл. между-
нар. науч.-технич. конф., Пенза, 1996.

−

C. 132-134.

Автоматизация схемотехнического проектирования: Учебн. пособие для
вузов / Ильин В.Н., Фролкин В.Т., Бутко А.И., Камнева Н.Ю., Тихомирова
Е.М.; Под ред. Ильина В.Н. – М.: Радио и связь, 1987. – 368 с.

Интеграция данных в САПР БИС. Направления практической реализации /
Беляков Ю.Н., Руденко А.А., Топузов И.Г., Егоров Ю.Б.

−

М.: Радио и

связь, 1990.

−

160 с.

Гантер Р. Методы управления проектированием программного обеспече-
ния: Пер. с англ. – М.: Мир, 1981. – 392 с.

Коллинз Г., Блей Дж. Структурные методы разработки систем: от страте-
гического планирования до тестирования. Пер. с англ. – М.: Финансы и
статистика, 1986. – 264 с.

10. Малиньяк Л. Дальнейшее расширение функциональных возможностей

САПР // Электроника, 1991, № 11-12. – С. 15-23.

11. Ганн Л. Какой критерий станет главным при оценке САИТ в 1990-е годы?

// Электроника, 1990, № 2. – С. 9-19.

125

12. Бунза Дж., Хоффман Г., Томпсон Э. Основные направления развития авто-

матизации проектирования в 1990-х годах // Электроника, 1990, № 2. – С.

39-47.

13. Маклауд Дж. Новая методология проектирования требует создания более

эффективных средств САПР // Электроника, 1990, № 8. – С. 14-20.

14. Уэбер С. Пакет программ синтеза схем на основе описаний на языке VHDL

// Электроника, 1990, № 8. – С. 23-26.

15. Малиньяк Л. Начало широкомасштабного внедрения средств синтеза схем

в системы автоматизированного проектирования // Электроника, 1992, №

1-2. – С. 98-106.

16. LOGIC DESIGN AND SIMULATION / E. Horbst (Editor).

−

Elsevier Science

Publishers B.V. (North-Holland), 1986.

−

256 с.

17. Клейнрок М. Теория массового обслуживания: Пер. с англ.

−

М.: Машино-

строение, 1979.

−

432 с.

18. Фуксман А.Л. Технологические аспекты создания программных систем.

−

М.: Статистика, 1979.

−

184 с.

19. Системы автоматизированного проектирования в радиоэлектронике: Спра-

вочник / Авдеев Е.В., Еремин А.Т., Норенков И.П., Песков М.И.; Под ред.
Норенкова И.П.

−

М.: Радио и связь, 1986.

−

368 с.

20. Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы

САПР: Учеб. для вузов.

−

М.: Энергоатомиздат, 1987.

−

400 с.

21. Норенков И.П., Маничев В.Б. Основы теории и проектирования САПР:

Учеб. для втузов по спец. “Вычислительные маш., компл., сист. и сети”.

−

М.: Высш. шк., 1990.

−

335 с.

22. Харин В.Н. Базовое программное обеспечение типовых САПР изделий

микроэлектроники.

−

Электронная промышленность, 1987, № 5.

−

С. 58-

60.

23. Ганн Л. Инструментальные средства автоматизации проектирования, обес-

печивающие параллельную работу над проектами // Электроника, 1990,
№ 7. – С. 58-61.

24. Belkhale K., Brouwer R., Banerjee P. Task scheduling for exploiting parallel-

ism and hierarchy in VLSI CAD algorithms // IEEE Trans. Comput.

−

Aid. Des.

Integr. Circuits and Syst., 1993, № 5.

−

С. 557-567.

126

25. Обеспечение параллельного выполнения проектных работ в интегри-

рованной САПР сквозного проектирования СБИС / Харин В.Н., Стари-
ков А.В., Удовик А.П., Горохов А.В.

−

Электронная промышленность,

1994, № 4-5.

−

С. 94-96.

26. Харин В.Н., Стариков А.В. Инструментальные средства распараллеливания

работ при проектировании СБИС // Оптимизация и моделирование в авто-
матизированных системах: Межвуз. сб. научн. тр., Воронеж: ВГТУ, 1994.

−

С. 52-54.

27. Олбрайт Д. Подготовка к внедрению стандартов на инфраструктуры в об-

ласти САПР-электроники // Электроника, 1990, № 2. – С. 47-53.

28. Electronic CAD Frameworks / D.S. Harrison, A.R. Newton, R.L. Spickelmier,

T.J. Barnes // Proceedings of the IEEE, 1990, Vol. 78, № 2.

−

С. 393-417.

29. Системная среда САПР СБИС / А.Л. Стемпковский, В.А. Шепелев, А.В.

Власов.

−

М.: Наука, 1994.

−

251 с.

30. Малиньяк Л. Управление данными проектирования средствами инфра-

структуры САПР // Электроника, 1991, № 11-12. – С. 23-31.

31. Ван Тайл Ш. Современные консорциумы

−

что это такое? // Электроника,

1995, № 2. – С. 75-81.

32. Месарович М., Такахара Я. Общая теория систем: математические основы /

Пер. с англ.

−

М.: Мир, 1978.

−

311 с.

33. Острейковский В.А. Теория систем: Учеб. для вузов по спец. “Автом. сист.

обр. информ. и упр.”. – М.: Высш. шк., 1997. – 240 с.

34. ГОСТ 22487

−

77 ПРОЕКТИРОВАНИЕ АВТОМАТИЗИРОВАННОЕ. Тер-

мины и определения

−

М.: Изд-во стандартов, 1978.

−

11 с.

35. ГОСТ 23501.13

−

81 САПР. Мониторная система. Общие требования

−

М.:

Изд-во стандартов, 1981.

−

6 с.

36. Блохин В.Н., Демин А.В., Немолочнов О.Ф. Формализация процесса про-

ектирования в ИСАПР // Автоматизированное проектирование в радио-
электронике и приборостроении: Сб. научн. тр.

−

Санкт-Перебург. гос.

электротехн. ун-т, СПб, 1994.

−

С. 11-14.

37. Хомский Н. Формальные свойства грамматик: Пер. с англ. / Кибернетиче-

ский сборник, новая серия, вып. 2.

−

М.: Мир, 1966.

−

С. 121-280.

127

38. Рейуорд-Смит В. Дж. Теория формальных языков. Вводный курс: Пер. c

англ. – М.: Радио и связь, 1988. – 128 с.

39. Алгоритмический язык Алгол-60 / Под ред. П. Наура: Пер. с англ.

−

М.:

Мир, 1965. – 71 с.

40. Вирт Н. Программирование на языке Модула-2: Пер. с англ. – М.: Мир,

1987. – 224 с.

41. Вирт Н. Алгоритмы и структуры данных: Пер. с англ. – М.: Мир, 1989. –

360 с.

42. Йенсен К., Вирт Н. Паскаль. Инструкция для пользователя: Пер. с англ. –

М.: Финансы и статистика, 1989. – 255 с.

43. Харин В.Н., Стариков А.В. Язык описания технологического маршрута

проектирования в интегрированной САПР СБИС // Оптимизация и модели-
рование в автоматизированных системах: Межвуз. сб. научн. тр., Воронеж:
ВГТУ, 1994.

−

С. 45-51.

44. Семантика языков программирования: Сб. статей / Пер. с англ. под ред.

В.М. Курочкина. – М.: Мир, 1980. – 394 с.

45. Тетельбаум А.Я. Иерархический подход к проектированию сверхбольших

интегральных схем // Электронная техника.

−

Сер. 10, Микроэлектронные

устройства.

−

1981.

−

Вып. 6 (30).

−

C. 29-32.

46. Автоматизированное проектирование СБИС на базовых кристаллах // Пет-

ренко А.И., Лошаков В.Н., Тетельбаум А.Я., Шрамченко Б.Л.

−

М.: Радио и

связь, 1988.

−

160 c.

47. Харин В.Н., Стариков А.В. Язык описания информационной модели про-

екта в интегрированной САПР СБИС // Оптимизация и моделирование в
автоматизированных системах: Сб. научн. тр., Воронеж, ВГТУ, 1994.

−

С.

112-115.

48. Пратт Т. Языки программирования: разработка и реализация / Пер. с

англ. – М.: Мир, 1979. – 574 с.

49. Грис Д. Конструирование компиляторов для цифровых вычислительных

машин: Пер. с англ. – М.: Мир, 1975. – 544 с.

50. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования

компиляторов: Пер. с англ. – М.: Мир, 1979. – 654 с.

содержание .. 30 31 32 33 ..