Автоматизация синтеза многоуровневых схем дискретных преобразователей информации на задаваемом избыточном элементном базисе
Диссертация
В цикле создания БИС на БМК время синтеза составляет до 20%. Учитывая сложность формализации синтеза и актуальность наиболее полного использования ресурсов БМК, выполненных по микронной, а не субмикронной технологии, задача автоматизации синтеза не считалась насущно необходимой. Интерес к этой проблеме возник при разработке проекта «Интегрированная проектно-производственная система… Читать ещё >
Список литературы
- Автоматизация проектирования БИС: Практ. пособие: В 6 кн. / Под. ред. Г. Г. Казенкова.- М.: Высшая школа, 1990.- Кн.2: Функционально-логическое проектирование БИС / П. В. Савельев, В. В. Коняхин, — 1990, — 165с.
- Автоматизированное проектирование СБИС на базовых кристаллах. / А. И. Петренко, В. Н. Лешаков, А. Я. Тетельбаум, В. А. Бердышев и др.- Под ред. С. С. Бадулина.- М.: Радио и связь, 1988, — 160с.
- Аллен Дж. Параметрический синтез СБИС-систем // ТИИЭР, том 78, № 2, 1990.- с.124−143.
- Антонов А.П., Мелехин В. Ф., Филиппов A.C. Проектирование электронных систем. Современные средства и технологии. Проблемы освоения и развития (в печати).
- Артюхов В.Л. Логические методы синтеза дискретных систем. Конспект лекций.- Л.: Институт повышения квалификации работников судостроительной промышленности, 1974, — 98с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.1 / Пер. с англ.- М.: Мир, 1978.- 612с.
- Бар Р. Язык Ада в проектировании систем / Пер. с англ.- М.: Мир, 1988.-320с.
- Воронин В.Н., Кораблев В. В., Селезнев К. В. Опыт совместной работы с вузами и фирмами Германии // Научно-технические ведомости СПбГТУ, № 1 (11).- СПб.: 1998, — с.109−114.
- Боэм Б., Браун Дж., Каспар X. и др. Характеристики качества программного обеспечения / Пер. с англ.- М.: Мир, 1981.-206с.
- Боэм Б.У. Инженерное проектирование программного обеспечения / Пер. с англ.- М.: Радио и связь, 1985.- 511с.
- Брейтон Р.К., Хэтчел Г. Д., Санджованни-Винцетелли А.Л. Синтез многоуровневых комбинационных логических схем // ТИИЭР, том 78, № 2, 1990,-с.38−83.
- Брукс Ф.П. Как проектируются и создаются программные комплексы: Мифический человеко-месяц. Очерки по системному программированию / Пер. с англ.- М.: Наука, 1979, — 151с.
- Быстродействующие матричные БИС и СБИС. Теория и проектирование / Файзулаев Б. Н. и др.- М.: Радио и связь, 1989.- 304 с.
- Вентцель Е.С., Овчаров Л. А. Теория вероятностей и ее инженерные применения. М.: Наука, Гл. ред физ-мат. лит., 1988, — 480с.
- Вирт Н. Долой «жирные» программы: Пер. с англ. // Открытые системы, № 6 (20).-М.: 1996.- с.27−31.
- Глушков В.М., Капитонова Ю. В., Летичевский A.A. Автоматизация проектирования вычислительных машин. Киев: Наукова думка, 1975.- 232с.
- Глушков В.М., Капитонова Ю. В., Мищенко А. Т. Логическое проектирование дискретных устройств, — Киев: Наукова думка, 1987.- 262с.
- Глушков В.М., Цейтлин Г. Е., Ющенко Е. Л. Алгебра, языки, программирование.- Киев: Наукова думка, 1989.- 376 с.
- Горячев Е.В., Лекарев М. Ф., Петренко А.А Организация аппаратного и программного обеспечения ЭВМ на базе сетевой модели. // Вычислительные, измерительные и управляющие системы: Сб. научных трудов, — Л.: ЛГТУ, 1990.-с.31−34.
- Грис Д. Проектирование компиляторов для цифровых вычислительных машин / Пер. с англ.- М.:Мир, 1975, — 544с.
- Грушин С.И., Душутин И. Д., Мелехин В. Ф. Проектирования аппаратных средств микропроцессорных систем.- Л.: ЛПИ, 1990.- 84с.
- Гуденаф Дж.Б., Макгоуэн К. Л. Обеспечение качества программных средств: Испытания и оценка// ТИИЭР, — Пер. с англ.- т.68, № 9, 1980.- с.66−73.
- Джонстон Г. Учитесь программировать / Пер. с англ.- М.: Финансы и статистика, 1989, — 368с.
- Дистасо Дж.Р. Обзор методов управления разработкой программного обеспечения (по состоянию на 1980 г.) // ТИИЭР.- Пер. с англ.- т.68, № 9, 1980.-с.80−99.
- Дубова Н. Знак качества программному продукту // Открытые системы, № 6(20).- М.: 1996.- с.55−59.
- Дьяков Ю.Н., Попов A.A., Яковлев А. Т. Основные направления и проблемы развития микроэлектроники в России // Информационные технологии и вычислительные системы, № 1.- М.: 1995.- с.64−73.
- Ефремов В.Д., Колесников Д. Н., Мелехин В. Ф. Информационные технологии создания сложных радиоэлектронных комплексов // Научно-технические ведомости СПбГТУ, № 1, — СПб.: 1996.- с.49−53.
- Иванов (Иуан) П. М. Алгебраическое моделирование сложных систем, — М.: Наука, Физматлит, 1996, — 272 с.
- Кейвин III P.K. Проектирование интегральных схем: Направления и проблемы // ТИИЭР, том 78, № 2, 1990, — с.213−235.
- Кертис Б. Измерения и эксперименты в проектировании программных средств // ТИИЭР, — Пер. с англ.- т.68, № 9, 1980, — с.129−145.
- Колмогоров А.Н. Теория информации и теория алгоритмов.- М.:Наука, 1987, — 304с.
- Колосов В.Г., Мелехин В. Ф. Проектирование узлов и систем автоматики и вычислительной техники,— Л.: Энергоатомиздат, 1983.- 255с.
- Лекарев М.Ф. Визуальный формализм для разработки программного обеспечения.- СПб.: Санкт-Петербургский гос. техн. ун-т., 1997.- 95с.
- Лекарев М.Ф., Мелехин В. Ф. Автоматизация проектирования дискретных устройств,— Л.: ЛПИ, 1978, — 80с.
- Лекарев М.Ф., Мелехин В. Ф. Автоматизированное проектирование структур цифровых устройств,— Л.: ЛПИ, 1984, — 76с.
- Лекарев М.Ф., Мелехин В. Ф., Пышкин Е. В. Автоматизация синтеза цифровых устройств на основе базовых матричных кристаллов // Научно-техническая конференция «Экстремальная робототехника». Сборник докладов.-СПб: ЦНИИ РТК, 1999 (в печати).
- Лекарев М.Ф., Мелехин В. Ф., Пышкин Е. В. Автоматизированный синтез комбинационных схем на задаваемом наборе логических элементов //
- Вычислительные, измерительные и управляющие системы: Сб. научных трудов (Труды СПбГТУ № 452).- СПб.: 1995, — с.93−206.
- Липаев В.В. Тестирование программ,— М.: Радио и связь, 1986, — 296с.
- Липаев В.В., Потапов А. И. Оценка затрат на разработку программных средств,— М.: Финансы и статистика, 1988.- 224с.
- Лихачев Д.С. О филологии,— М.: Высшая школа, 1989, — 208с.
- Логическое проектирование БИС / Под ред. В. А. Мищенко.- М.: Радио и связь, 1984, — 352 с.
- Майерс Г. Искусство тестирования программ / Пер. с англ.- М.: Финансы и статистика, 1982, — 182с.
- Майерс Г. Надежность программного обеспечения / Пер. с англ.- М.: Мир, 1980, — 360с.
- Макфарланд М.С., Паркер Э. С., Кампосано Р. Высокоуровневый синтез цифровых систем // ТИИЭР, том 78, № 2, 1990.- с.84−103.
- Мелехин В.Ф. Микро-ЭВМ с преобразованием информации отображением множеств на основе структур данных, размещаемых в едином запоминающем устройстве. Диссертация на соискание степени доктора технических наук.- Л.: ЛПИ, 1984,-421с.
- Мелехин В.Ф., Лекарев М. Ф., Давыдов В. Г., Пышкин Е. В. Системы автоматизации синтеза цифровых устройств // Российская научно-техническая конференция «Инновационные наукоемкие технологии для России», — Тез. докл., ч.8.- СПб: СПбГТУ, 1995, — с. 23.
- Мелехин В.Ф., Сидоров С. В. Задача функционально-структурной организации систем управления // Вычислительные, измерительные и управляющие системы. Труды СПбГТУ № 449, — СПб.: 1994, с.3−15.
- Новый Большой англо-русский словарь: в 3-х т. Т.2 / Апресян Ю. Д., Медникова Э. М., Петрова А. В. и др.- Под общ. рук. Ю. Д. Апресяна.- М.: Рус. яз., 1993 832с.
- Поттосин И.В. Добротность программ и информационных потоков // Открытые системы, № 6 (32).- М.: 1998, — с.41−45.
- Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1: Учебное пособие для вузов / И. А. Кудряшов, В. Д. Жилеев, Н. Х. Кушнер и др.- Под ред. И. А. Кудряшова.- Л.: Энергоатомиздат. Ленингр. отд-ние, 1989.-280с.
- Пышкин Е.В. Автоматизация синтеза многоуровневых схем на задаваемом избыточном элементном базисе // Третья Санкт-Петербургская Ассамблея молодых ученых и специалистов. Тезисы докладов. СПб.: 1998.- с. 46.
- Пышкин Е.В. Программа автоматического синтеза логических схем по бесповторным функциям. Дипломный проект. СПб.: ЛГТУ, 1992 — 163с.
- Система автоматизации синтеза при структурно-логическом проектировании. Отчет по научно-исследовательской работе / Мелехин В. Ф. и др.- СПб.: АЦИА, 1992, — 356 с.
- Система автоматизации синтеза при структурно-логическом проектировании. Отчет по научно-исследовательской работе / Мелехин В. Ф. и др.- СПб.: АЦИА, 1993, — 140 с.
- Степанов В.А. Метод минимизации логических функций в избыточных базисах с операцией сложения по модулю два // Вычислительные, измерительные и управляющие системы: Сб. научных трудов (Труды СПбГТУ № 449).- СПб.: 1994, — с.90−95.
- Степанов В.А. Синтез информационных систем алгебраическими методами //Научно-технические ведомости СПбГТУ, № 1 (11).- СПб.: 1998, — с.103−105.
- Томас Д.Э. Автоматизированный синтез цифровых систем.//ТИИЭР.- 1981.-Т.69, N 10, — с.20−35.
- Фридман А.Д., Менон П. Р. Теория и проектирование переключательных схем / Пер. с англ.- Под ред. В. А. Тафта.- М.: Мир, 1978.- 580с.
- Харрисон Д.С., Ньютон А. Р., Спикелмайер P.J1., Варне Т.Дж. Среда САПР для проектирования интегральных схем и электронных систем // ТИИЭР, том 78, № 2, 1990, — с.185−212.
- Холстед М.Х. Начала науки о программах / Пер. с англ.- М.: Финансы и статистика, 1981.- 128с.
- Черноножкин С. Меры сложности программ (обзор) // Системная информатика, № 5.- Новосиборск: Наука, 1996, Вып.5.- с.88−227.
- Шива С.Г. Автоматизированный синтез аппаратных средств // ТИИЭР.-1983.-Т.71, N 1.- с.95−100.
- Шило B.JI. Популярные цифровые микросхемы: Справочник. 2-е изд., испр.- Челябинск: Металлургия, Челябинское отд., 1989.- 352с.
- Altera Application Handbook. Altera Corp., April 1992.
- Altera. MAX + PLUS II. Programmable Logic Development System. Getting started. Altera Corporation. Version 6.0. November 1995.
- Boolean Function Complexity ./Edited by M.S.Peterson. London Mathematical Society Lecture Note Series. 169. Cambridge University Press, 1992.
- Chow T.S. Testing software design modeled by finite-state machines // IEEE Trans. Software Eng., vol.4, pp.278−286, May, 1978.
- FPGA Data Book and Design Guide. Actel Corp., 1996.
- Glass, Robert L. Software Conflict. Essays on the Art and Science of Software Engineering. Yourdon Press. Prentice-Hall Inc., 1991.
- Harel D. On visual formalisms // Communication of the ACM. May 1988. Vol.31. N5, pp.514−530.
- Hoare, Charles A. Unifying Theories of Programming. Prentice-Hall Inc., 1998.
- Intel 82 288 Bus Controller for iAPX 286 Processor // Intel 286 Microprocessors. Intel Corp., June 1982.
- International Standard ISO 9000−3. Quality management and quality assurance standards. Part 3: Guidelines for the application of ISO 9001:1994 to the development, supply, installation and maintenance of computer software.
- Le Petit Larousse. Dictionnaire encyclopedique. Larousse, 1993, Paris.152
- Lekarev M.F. Das graphische Verfahren der Software-Entwicklung fur logisch komplizierte Anwendungen // Technische Berichte der Fachhochschule Hamburg, N25 (Aug. 1993), s.36−38.
- Mesarovic M.D., Takahara Y. Abstract Systems Theory. Springer Verlag, 1989.
- Ming Li., Paul Vitanyi. An Introduction to Kolmogorov Complexity and Its Applications. Springer-Verlag, 1993.
- Pottosin I.V. A «Good Program»: An Attempt at an Exact Definition of the Term // Programming and Computer Software. Vol.23, № 2, 1997, — p.59−69.
- Sommerville I. Software Engineering. Addison Wesley Publishers Co., 1996.
- Straker, David. C-style: standards and guidelines. Prentice Hall, International (UK) Ltd., 1992, — 23 lp.
- Weinberg, Gerald M. Quality Software Management: Volume 1. Systems Thinking. Dorset House Publishing, New York, 1992.