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

• Пышкин, Евгений Валерьевич
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Пышкин, Евгений Валерьевич

Введение

1. Проблема автоматизации синтеза на задаваемом избыточном наборе элементов

1.1. Развитие систем автоматизации проектирования

1.2. Анализ возможности интеграции существующих систем синтеза и моделирования. Актуальность и оценка сложности задачи синтеза многоуровневых схем на избыточном и изменяемом базисе

1.3. Иерархия проблем проектирования системы ("дерево проблем ")

2. Модели дискретных преобразователей, оценки сложности реализаций, организация процесса синтеза схем преобразователей на задаваемом наборе элементов

2.1. Система алгоритмических алгебр и модель дискретного преобразователя

2.2. Декомпозиция конечных автоматов при синтезе последователъностных цепей

2.3. Формальная декомпозиция автомата, заданного в виде графа переходов

2.3.1. Общая постановка задачи

2.3.2. Критерии декомпозиции

2.3.3. Возможность декомпозиции в заданных условиях и правила «уступок»

2.3.4. Оптимизация результатов

2.4. Функциональная декомпозиция схемных решений

2.4.1. Параметризуемое композиционное ядро как основа функциональной декомпозиции

2.4.2. Разработка системы параметров абстрактного автомата

2.4.3. Оценки сложности вариантов параметризуемого ядра

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

2.5. Функциональная декомпозиция при синтезе

2.5.1. Использование формализма арифметических полиномов при функциональной декомпозиции

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

2.5.3. Подходы к автоматизации составления таблицы настроек с использованием оценок сложности реализаций

3. Анализ организации данных, вычислительного процесса и управления процессом при автоматизации синтеза

3.1. Формализация задачи функциональной декомпозиции для проектирования программного обеспечения

3.2. Проблемы разработки программных систем

3.2.1. Логическая природа сложности задач и преодоление сложности

3.2.2. Иерархическая декомпозиция и иерархическая организация. Визуализация ПО. Визуальный формализм разработки ПО на базе сетевой модели (Z-сеть)

3.2.3. Элементы методики проектирования сложного ПО

3.3. Формы представления данных в процессе синтеза и связанные с этим частные задачи проектирования ПО

3.3.1. Формы записи логических выражений. Задача синтаксического анализа и формальные грамматики

3.3.2. Функциональная декомпозиция с использованием формализмов теории графов

3.3.3. Представление и использование элементного базиса

3.4. Решение типовых проблем проектирования ПО в форме визуального формализма на базе L-cemu

3.4.1. Обработка параметров управления программой

3.4.2. Обработка ошибок

3.4.3. Организация работы с файлами в кодовых форматах

4. Система автоматизации синтеза и анализ эффективности средств ее проектирования

4.1. Проблемы построения интерфейса

4.1.1. Интерфейсы данных в концепции визуального формализма разработки программного обеспечения (Ь-сеть)

4.1.2. Организация взаимодействия между подсистемами. Связь с другими системами

4.1.3. Взаимодействие с проектировщиком. Участие человека в процессе проектирования

4.2. Методика, использованная при тестировании системы

4.3. Оценка эффективности использованных средств проектирования

Введение диссертации (часть автореферата) на тему «Автоматизация синтеза многоуровневых схем дискретных преобразователей информации на задаваемом избыточном элементном базисе»

Актуальность темы

В настоящее время при разработке компонентов электронно-цифровой аппаратуры используют технологию больших (БИС) и сверхбольших интегральных схем (СБИС).

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

В последнее время по проблеме автоматизации проектирования цифровых устройств и, в частности, автоматизации синтеза ведутся интенсивные исследования [1 - 3, 11, 29, 34, 35, 37, 44, 57]. Возрастание значения систем автоматизации синтеза связано, в частности, с отчетливо выраженной тенденцией к быстрому расширению рынка специализированных заказных интегральных схем [11, 29]. Создание полузаказных СБИС стало компромиссным подходом, позволяющим снизить стоимость и сложность проектирования СБИС. При этом возникли и параллельно развиваются два направления полузаказных СБИС: на основе базовых матричных кристаллов (БМК) и на основе программируемой логики.

Основанием для данной работы стало рассмотрение проблем и проектных решений по разработке и развитию системы автоматизации синтеза цифровых устройств на задаваемом избыточном элементном базисе применительно к использованию базовых матричных кристаллов (БМК).

По статистическим данным, в настоящее время до 30% СБИС создаются на основе БМК (Gate Arrays). На большинстве крупных отечественных предприятий, связанных с разработкой и производством радиоэлектронной аппаратуры, существуют системы автоматизированного проектирования и изготовления полузаказных БИС на основе БМК. В большинстве случаев такие БИС удовлетворяют жестким требованиям по климатике и другим условиям эксплуатации, характерным для аппаратуры специального назначения. При этом САПР не поддерживают синтез, а поддерживают только анализ (моделирование и отработка тестов), а также этап конструкторского проектирования.

Развитие технологии проектирования матричных СБИС на основе БМК было обусловлено следующими факторами: сокращение трудоемкости изготовления БИС и СБИС на БМК, которые служат в качестве полуфабрикатов, как на стадиях опытного производства, так и при промышленном выпуске; возможность эффективной автоматизации благодаря регулярности структуры БМК с выделенными трассами для соединения макроэлементов в требуемую функциональную схему; возможность широкого применения готовых проектных решений, оформленных в виде библиотек, на этапах функционально-логического, схемотехнического и топологического проектирования, что обеспечивает существенное сокращение сроков и повышения качества разработки широкой номенклатуры специализированных БИС и СБИС, делает экономически выгодным их выпуск малыми партиями [13, 41, 58, 63].

В цикле создания БИС на БМК время синтеза составляет до 20%. Учитывая сложность формализации синтеза и актуальность наиболее полного использования ресурсов БМК, выполненных по микронной, а не субмикронной технологии, задача автоматизации синтеза не считалась насущно необходимой. Интерес к этой проблеме возник при разработке проекта «Интегрированная проектно-производственная система полупроводниковых структур» (ИППС ПС), выполняемого ЦНИ СПбГТУ и НПО «Светлана» по государственному заказу. В основу создания этой системы был положен подход проф. Й. Берга к «одночиповому» производству СБИС, позволяющему исключить потребность в больших «чистых» специализированных помещениях и организовать производство СБИС с высоким уровнем интеграции. В рамках этого проекта необходима сквозная автоматизация, включая автоматизацию синтеза. Эта задача решалась группой разработчиков СПбГТУ под руководством проф. В.Ф. Мелехина [37, 46, 54, 55]. Для теоретического обоснования проектных решений при разработке ИППС ПС были в значительной мере использованы положения теории проектирования цифровых устройств, которая была в наиболее общем (абстрактном) виде разработана В.М. Глушковым и развита его последователями: Ю.В. Капитоновой и А.Т. Мищенко в части логического проектирования дискретных устройств, П.М. Ивановым (Иуаном) в части построения теории дискретных преобразователей информации [16 - 18, 28].

В настоящее время интенсивно развивается подход, связанный с построением систем автоматизации проектирования БИС на базе устройств программируемой логики (ПЛ). Приоритетность данного направления обусловлена, главным образом, предоставляемыми возможностями сокращения цикла «проектирование-изготовление», обеспечения стопроцентной тестируемости проектируемой системы, внесения изменений в систему, что обеспечивает экономическую эффективность создания новых систем [4, 27]. Следует заметить также, что при синтезе ПЛ пространство решений значительно меньше, чем при синтезе многоуровневых структур, что определяет меньшую трудоемкость поиска логического решения задачи.

Однако направление синтеза многоуровневой логики на основе БМК также нельзя считать исчерпанным. В связи с появлением и развитием средств программируемой логики актуальность автоматизации синтеза для БМК связана со следующим. Фирмы, производящие СБИС ПЛ, ориентируются, главным образом, на коммерческий и отчасти на промышленный стандарт, что затрудняет использование средств программируемой логики в производстве систем специального назначения (например, системах, требующих военной приемки, робототехнических системах). При этом, однако, остается возможность и целесообразность их использования для ускорения создания и отладки опытных образцов. Применение существующих технологий позволяет использовать имеющиеся средства анализа и тестирования прототипа, уменьшая тем самым средства, которые необходимо было бы затратить на реализацию аналогичных этапов при использовании БМК.

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

Актуальность работы определяется также сформулированными и прошедшими практическую апробацию предложениями по методологии проектирования программного обеспечения (ПО), отличающегося существенной логической сложностью. В основу анализируемого подхода к проектированию ПО положено использование визуального формализма проектирования ПО (¿-сеть), предложенного и развитого проф. М.Ф.Пекаревым [19, 33, 76].

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

Цель работы

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

Предмет исследования

Математические модели дискретных преобразователей.

Процедура функциональной декомпозиции при синтезе с учетом заданного элементного базиса.

Сравнительные оценки сложности реализации структурных решений.

Организация процесса обработки информации и управление вычислительным процессом при синтезе. Методика построения программного обеспечения.

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

Методы исследования

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

Научная новизна и практические результаты

1. Разработана система параметров, характеризующая особенности реализуемого алгоритма, существенные для сложности вариантов структур с различными типами ядер и разработана система оценок сложности, использующих выделенные параметры и учитывающих особенности реализации типовых (библиотечных) узлов и нестандартных блоков структуры, для выбора варианта структурной организации проектируемого устройства. [34, 35, 54]

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

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

4. Разработано программное обеспечение для системы автоматизации синтеза на задаваемом избыточном элементном базисе, реализующее процедуру функциональной декомпозиции преобразователя и покрытия выделенных фрагментов элементами из заданного набора (синтез схемы в виде многоуровневой сети) и вошедшее в состав системы автоматизации синтеза цифровых устройств. [34, 36, 37, 52, 53, 55]

5. Обоснована организация данных, организация процесса обработки информации и организация управления вычислительным процессом в программной системе автоматизации синтеза с использованием визуального формализма на базе L-сети. [33, 36, 53, 55]

6. Проведена оценка использованных средств проектирования программного обеспечения на основе существующих подходов к оценке трудоемкости и качества программных средств.

Апробация работы

Основные результаты работы докладывались на Российской научной конференции "Инновационные наукоемкие технологии для России" 25-27апреля 1995г., , на Третьей Санкт-Петербургской Ассамблее молодых ученых и специалистов (СПбГТУ, 1998г.), на Десятой научно-технической конференции "Экстремальная робототехника" (СПб, ЦНИИ РТК, 1999г.), приводились в отчетах по научно-исследовательской работе "Система автоматизации синтеза при структурно-логическом проектировании" (Санкт-Петербург, АЦИА, 1992 и 1993гг.), а также были использованы в ходе научной работы по программе DAAD «Стипендия имени Леонарда Эйлера» в техническом университете Hamburg-Harburg (Санкт-Петербург, Россия - Гамбург, Германия, 1998-99г.) [8].

В конкурсе 1997г. участниками проекта, в котором используются результаты диссертационной работы, был выигран грант на 1998-1999г. по теме «Разработка теории и средств создания среды для автоматизированного проектирования управляющих систем».

По рассмотренным темам имеются публикации, подготовленные при участии автора. [36, 37, 46, 47, 52]

Заключение диссертации по теме «Телекоммуникационные системы и компьютерные сети», Пышкин, Евгений Валерьевич

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

1. Рассмотрена и развита система моделей, используемых при формализации синтеза многоуровневых структур и увеличивающих число рассматриваемых вариантов структур.

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

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

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

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

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

Заключение

Список литературы диссертационного исследования кандидат технических наук Пышкин, Евгений Валерьевич, 1999 год

1. Автоматизация проектирования БИС: Практ. пособие: В 6 кн. / Под. ред. Г.Г.Казенкова.- М.: Высшая школа, 1990.- Кн.2: Функционально-логическое проектирование БИС / П.В.Савельев, В.В.Коняхин,- 1990,- 165с.

2. Автоматизированное проектирование СБИС на базовых кристаллах. / А.И.Петренко, В.Н.Лешаков, А.Я.Тетельбаум, В.А.Бердышев и др.; Под ред. С.С.Бадулина.- М.: Радио и связь, 1988,- 160с.

3. Аллен Дж. Параметрический синтез СБИС-систем // ТИИЭР, том 78, № 2, 1990.- с.124-143.

4. Антонов А.П., Мелехин В.Ф., Филиппов A.C. Проектирование электронных систем. Современные средства и технологии. Проблемы освоения и развития (в печати).

5. Артюхов В.Л. Логические методы синтеза дискретных систем. Конспект лекций.- Л.: Институт повышения квалификации работников судостроительной промышленности, 1974,- 98с.

6. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.1 / Пер. с англ.- М.: Мир, 1978.- 612с.

7. Бар Р. Язык Ада в проектировании систем / Пер. с англ.- М.: Мир, 1988.-320с.

8. Воронин В.Н., Кораблев В.В., Селезнев К.В. Опыт совместной работы с вузами и фирмами Германии // Научно-технические ведомости СПбГТУ, № 1 (11).- СПб.: 1998,- с.109-114.

9. Боэм Б., Браун Дж., Каспар X. и др. Характеристики качества программного обеспечения / Пер. с англ.- М.: Мир, 1981.-206с.

10. Боэм Б.У. Инженерное проектирование программного обеспечения / Пер. с англ.- М.: Радио и связь, 1985.- 511с.

11. Брейтон Р.К., Хэтчел Г.Д., Санджованни-Винцетелли А.Л. Синтез многоуровневых комбинационных логических схем // ТИИЭР, том 78, № 2, 1990,-с.38-83.

12. Брукс Ф.П. Как проектируются и создаются программные комплексы: Мифический человеко-месяц. Очерки по системному программированию / Пер. с англ.- М.: Наука, 1979,- 151с.

13. Быстродействующие матричные БИС и СБИС. Теория и проектирование / Файзулаев Б.Н. и др.- М.: Радио и связь, 1989.- 304 с.

14. Вентцель Е.С., Овчаров Л.А. Теория вероятностей и ее инженерные применения. М.: Наука, Гл. ред физ-мат. лит., 1988,- 480с.

15. Вирт Н. Долой «жирные» программы: Пер. с англ. // Открытые системы, № 6 (20).-М.: 1996.- с.27-31.

16. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Автоматизация проектирования вычислительных машин. Киев: Наукова думка, 1975.- 232с.

17. Глушков В.М., Капитонова Ю.В., Мищенко А.Т. Логическое проектирование дискретных устройств,- Киев: Наукова думка, 1987.- 262с.

18. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, программирование.- Киев: Наукова думка, 1989.- 376 с.

19. Горячев Е.В., Лекарев М.Ф., Петренко А.А Организация аппаратного и программного обеспечения ЭВМ на базе сетевой модели. // Вычислительные, измерительные и управляющие системы: Сб.научных трудов,- Л.: ЛГТУ, 1990.-с.31-34.

20. Грис Д. Проектирование компиляторов для цифровых вычислительных машин / Пер. с англ.- М.:Мир,1975,- 544с.

21. Грушин С.И., Душутин И.Д., Мелехин В.Ф. Проектирования аппаратных средств микропроцессорных систем.- Л.: ЛПИ, 1990.- 84с.

22. Гуденаф Дж.Б., Макгоуэн К.Л. Обеспечение качества программных средств: Испытания и оценка// ТИИЭР,- Пер.с англ.- т.68, № 9, 1980.- с.66-73.

23. Джонстон Г. Учитесь программировать / Пер. с англ.- М.: Финансы и статистика, 1989,- 368с.

24. Дистасо Дж.Р. Обзор методов управления разработкой программного обеспечения (по состоянию на 1980 г.) // ТИИЭР.- Пер.с англ.- т.68, № 9, 1980.-с.80-99.

25. Дубова Н. Знак качества программному продукту // Открытые системы, № 6(20).- М.: 1996.- с.55-59.

26. Дьяков Ю.Н., Попов A.A., Яковлев А.Т. Основные направления и проблемы развития микроэлектроники в России // Информационные технологии и вычислительные системы, №1.- М.: 1995.- с.64-73.

27. Ефремов В.Д., Колесников Д.Н., Мелехин В.Ф. Информационные технологии создания сложных радиоэлектронных комплексов // Научно-технические ведомости СПбГТУ, №1,- СПб.: 1996.- с.49-53.

28. Иванов (Иуан) П.М. Алгебраическое моделирование сложных систем,- М.: Наука, Физматлит, 1996,- 272 с.

29. Кейвин III P.K. Проектирование интегральных схем: Направления и проблемы // ТИИЭР, том 78, № 2, 1990,- с.213-235.

30. Кертис Б. Измерения и эксперименты в проектировании программных средств // ТИИЭР,- Пер.с англ.- т.68, № 9, 1980,- с.129-145.

31. Колмогоров А.Н. Теория информации и теория алгоритмов.- М.:Наука, 1987,- 304с.

32. Колосов В.Г., Мелехин В.Ф. Проектирование узлов и систем автоматики и вычислительной техники,- Л.: Энергоатомиздат, 1983.- 255с.

33. Лекарев М.Ф. Визуальный формализм для разработки программного обеспечения.- СПб.: Санкт-Петербургский гос. техн. ун-т., 1997.- 95с.

34. Лекарев М.Ф., Мелехин В.Ф. Автоматизация проектирования дискретных устройств,- Л.: ЛПИ, 1978,- 80с.

35. Лекарев М.Ф., Мелехин В.Ф. Автоматизированное проектирование структур цифровых устройств,- Л.: ЛПИ, 1984,- 76с.

36. Лекарев М.Ф., Мелехин В.Ф., Пышкин Е.В. Автоматизация синтеза цифровых устройств на основе базовых матричных кристаллов // Научно-техническая конференция "Экстремальная робототехника". Сборник докладов.-СПб: ЦНИИ РТК, 1999 (в печати).

37. Лекарев М.Ф., Мелехин В.Ф., Пышкин Е.В. Автоматизированный синтез комбинационных схем на задаваемом наборе логических элементов //

38. Вычислительные, измерительные и управляющие системы: Сб. научных трудов (Труды СПбГТУ №452).- СПб.: 1995,- с.93-206.

39. Липаев В.В. Тестирование программ,- М.: Радио и связь, 1986,- 296с.

40. Липаев В.В., Потапов А.И. Оценка затрат на разработку программных средств,- М.: Финансы и статистика, 1988.- 224с.

41. Лихачев Д.С. О филологии,- М.: Высшая школа, 1989,- 208с.

42. Логическое проектирование БИС / Под ред. В.А.Мищенко.- М.: Радио и связь, 1984,- 352 с.

43. Майерс Г. Искусство тестирования программ / Пер. с англ.- М.: Финансы и статистика, 1982,- 182с.

44. Майерс Г. Надежность программного обеспечения / Пер. с англ.- М.: Мир, 1980,- 360с.

45. Макфарланд М.С., Паркер Э.С., Кампосано Р. Высокоуровневый синтез цифровых систем // ТИИЭР, том 78, № 2, 1990.- с.84-103.

46. Мелехин В.Ф. Микро-ЭВМ с преобразованием информации отображением множеств на основе структур данных, размещаемых в едином запоминающем устройстве. Диссертация на соискание степени доктора технических наук.- Л.: ЛПИ, 1984,-421с.

47. Мелехин В.Ф., Лекарев М.Ф., Давыдов В.Г., Пышкин Е.В. Системы автоматизации синтеза цифровых устройств // Российская научно-техническая конференция "Инновационные наукоемкие технологии для России",- Тез. докл., ч.8.- СПб: СПбГТУ, 1995,- с.23.

48. Мелехин В.Ф., Сидоров С.В. Задача функционально-структурной организации систем управления // Вычислительные, измерительные и управляющие системы. Труды СПбГТУ №449,- СПб.: 1994, с.3-15.

49. Новый Большой англо-русский словарь: в 3-х т. Т.2 / Апресян Ю.Д., Медникова Э.М., Петрова А.В. и др.; Под общ. рук. Ю.Д.Апресяна.- М.: Рус. яз., 1993 832с.

50. Поттосин И.В. Добротность программ и информационных потоков // Открытые системы, №6 (32).- М.: 1998,- с.41-45.

51. Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1: Учебное пособие для вузов / И.А.Кудряшов, В.Д.Жилеев, Н.Х.Кушнер и др.; Под ред. И.А.Кудряшова.- Л.: Энергоатомиздат. Ленингр. отд-ние, 1989.-280с.

52. Пышкин Е.В. Автоматизация синтеза многоуровневых схем на задаваемом избыточном элементном базисе // Третья Санкт-Петербургская Ассамблея молодых ученых и специалистов. Тезисы докладов. СПб.: 1998.- с.46.

53. Пышкин Е.В. Программа автоматического синтеза логических схем по бесповторным функциям. Дипломный проект. СПб.: ЛГТУ, 1992 - 163с.

54. Система автоматизации синтеза при структурно-логическом проектировании. Отчет по научно-исследовательской работе / Мелехин В.Ф. и др.- СПб.: АЦИА, 1992,- 356 с.

55. Система автоматизации синтеза при структурно-логическом проектировании. Отчет по научно-исследовательской работе / Мелехин В.Ф. и др.- СПб.: АЦИА, 1993,- 140 с.

56. Степанов В.А. Метод минимизации логических функций в избыточных базисах с операцией сложения по модулю два // Вычислительные, измерительные и управляющие системы: Сб. научных трудов (Труды СПбГТУ №449).- СПб.: 1994,- с.90-95.

57. Степанов В.А. Синтез информационных систем алгебраическими методами //Научно-технические ведомости СПбГТУ, № 1 (11).- СПб.: 1998,- с.103-105.

58. Томас Д.Э. Автоматизированный синтез цифровых систем.//ТИИЭР.- 1981.-Т.69, N 10,- с.20-35.

59. Фридман А.Д., Менон П.Р. Теория и проектирование переключательных схем / Пер. с англ.; Под ред. В.А.Тафта.- М.: Мир, 1978.- 580с.

60. Харрисон Д.С., Ньютон А.Р., Спикелмайер P.J1., Варне Т.Дж. Среда САПР для проектирования интегральных схем и электронных систем // ТИИЭР, том 78, №2, 1990,- с.185-212.

61. Холстед М.Х. Начала науки о программах / Пер. с англ.- М.: Финансы и статистика, 1981.- 128с.

62. Черноножкин С. Меры сложности программ (обзор) // Системная информатика, №5.- Новосиборск: Наука, 1996, Вып.5.- с.88-227.

63. Шива С.Г. Автоматизированный синтез аппаратных средств // ТИИЭР.-1983.-Т.71, N 1.- с.95-100.

64. Шило B.JI. Популярные цифровые микросхемы: Справочник. 2-е изд., испр.- Челябинск: Металлургия, Челябинское отд.,1989.- 352с.

65. Altera Application Handbook. Altera Corp., April 1992.

66. Altera. MAX + PLUS II. Programmable Logic Development System. Getting started. Altera Corporation. Version 6.0. November 1995.

67. Boolean Function Complexity ./Edited by M.S.Peterson. London Mathematical Society Lecture Note Series. 169. Cambridge University Press, 1992.

68. Chow T.S. Testing software design modeled by finite-state machines // IEEE Trans. Software Eng., vol.4, pp.278-286, May, 1978.

69. FPGA Data Book and Design Guide. Actel Corp., 1996.

70. Glass, Robert L. Software Conflict. Essays on the Art and Science of Software Engineering. Yourdon Press. Prentice-Hall Inc., 1991.

71. Harel D. On visual formalisms // Communication of the ACM. May 1988. Vol.31. N5, pp.514-530.

72. Hoare, Charles A. Unifying Theories of Programming. Prentice-Hall Inc., 1998.

73. Intel 82288 Bus Controller for iAPX 286 Processor // Intel 286 Microprocessors. Intel Corp., June 1982.

74. 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.

75. Le Petit Larousse. Dictionnaire encyclopédique. Larousse, 1993, Paris.152

76. Lekarev M.F. Das graphische Verfahren der Software-Entwicklung für logisch komplizierte Anwendungen // Technische Berichte der Fachhochschule Hamburg, N25 (Aug. 1993), s.36-38.

77. Mesarovic M.D., Takahara Y. Abstract Systems Theory. Springer Verlag, 1989.

78. Ming Li., Paul Vitanyi. An Introduction to Kolmogorov Complexity and Its Applications. Springer-Verlag, 1993.

79. 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.

80. Sommerville I. Software Engineering. Addison Wesley Publishers Co., 1996.

81. Straker, David. C-style: standards and guidelines. Prentice Hall, International (UK) Ltd., 1992,- 23 lp.

82. Weinberg, Gerald M. Quality Software Management: Volume 1. Systems Thinking. Dorset House Publishing, New York, 1992.