Разработка системы ускоренного моделирования на базе специализированного аппаратного ускорителя тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Кононыхина, Наталья Алексеевна

• Кононыхина, Наталья Алексеевна
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Кононыхина, Наталья Алексеевна

ВВЕДЕНИЕ -

1. ОСОБЕННОСТИ МОДЕЛИРОВАНИЯ СХЕМ ПОВЫШЕННОЙ РАЗМЕРНОСТИ

1.1. Анализ методов ускорения моделирования

1.1.1. Формализация понятий ;

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

1.1.3. Метод параллельного моделирования

1.1.4. Краткий обзор суперкомпьютеров

1.1.5. Устройства моделирования

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

1.2.1. Устройство моделирования YSE фирмы ШМ

1.2.2. Устройство моделирования LSM фирмы Bell Laboratories

1.2.3. Аппаратный ускоритель TEGAS (Comsat Corporation)

1.2.4. Устройства моделирования фирмы Zycad

1.2.5. Комплекс блочного моделирования HALL фирмы NEC

1.2.6. Аппаратные модели

1.2.7. Комплекс моделирования СМ0513 (ИНЭУМ г. Москва)

1.3. Производительность многопроцессорных систем

1.4. Выводы

2 РАЗРАБОТКА СПЕЦИАЛИЗИРОВАННОГО УСТРОЙСТВА МОДЕЛИРОВАНИЯ

2.1. Формализация требований к архитектуре специализированного устройства моделирования

2.2. Модификация алгоритма событийного моделирования

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

2.3.1. Модели элементов УЛМ

2.3.2. Примитив памяти УЛМ

2.3.3. Задержки примитивов УЛМ5б

2.3.4. Конвейер моделирования;

2.4. Логическое проектирование архитектуры процессора обмена

2.4.1. Команды ПРО

2.4.2. Запоминающие устройства ПРО

2.5. Характеристики УЛМ серии "Электроника МС1800"

2.6. Выводы

3. РАЗРАБОТКА ПРОГРАММНОЙ СРЕДЫ УСТРОЙСТВА

3.1. Анализ комплекса проектирования ИЭТ как основы программной среды СУМ

3.1.1. Особенности построения подсистемы моделирования

3.2. Разработка требований к программной среде устройства моделирования

3.3. Разработка информационного и алгоритмического обеспечения СУМ

3.4. Разработка структуры базы данных СУМ и методов доступа к информации

3.5. Анализ процедуры раскрытия иерархии проекта в БД ПРАЦИС

3.5.1. Разработка способов ускорения доступа в БД СУМ

3.5.2. Разработка структуры данных индексных файлов иерархии

3.6. Разработка алгоритмов преобразования структуры проекта

3.6.1. Алгоритм перевода структуры схемы в базис моделей УЛМ

3.6.2. Алгоритм декомпозиции многовходовых элементов

3.6.3. Алгоритм декомпозиции задержек логических элементов

3.6.4. Алгоритм декомпозиции элемента памяти

3.6.5. Алгоритм раскрытия иерархии описания проекта

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

3.8. Оценка проблемы превышения размерностей УЛМ

3 .8.1. Алгоритм модификации исходных тестов проекта

3.8.2. Алгоритм выделения подсхем допустимой размерности

3.9. Выводы

4. КОМПЛЕКС ПРОГРАММ СИСТЕМЫ УСКОРЕННОГО МОДЕЛИРОВАНИЯ И ОСОБЕННОСТИ ЕГО ПРИМЕНЕНИЯ

4.1 Структура пакета программ ПУМА

4.2 Программное обеспечение препроцессорной подготовки проекта

4.3 Программное обеспечение управления моделированиемИЗ

4.4 Программное обеспечение постпроцессорной обработки результатов моделирования

4.5 Оценка результатов опытной эксплуатации пакета ПУМА

4.6 Методика применения пакета ПУМА

4.6.1 Особенности применения пакета ПУМА в архитектуре клиент-сервер

4.7. Выводы

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

В современном понимании автоматизированное проектирование рассматривается как дисциплина, которая дает необходимые знания в областях программного и технического обеспечения ЭВМ, методологии описания, анализа, разработки, реализации, внедрения и использования систем на базе ЭВМ.

Главными компонентами системы автоматизированного проектирования (САПР) являются: человек, оборудование ЭВМ, программное обеспечение, определенный тип задачи. Любая система автоматизированного проектирования сама является изделием, для разработки которой справедлива модель процесса проектирования: синтез - анализ - оценка. Автоматизированное проектирование требует строгой формализации модели объекта проектирования. Для большинства современных САПР этап синтеза рассматривается преимущественно во взаимосвязи с проектировщиком, а компьютер превосходно справляется с задачами анализа на фиксированной модели, что предопределило бурное развитие систем логического, схемотехнического и топологического проектирования изделий электронной техники. Термин "изделие электронной техники" (ИЭТ) в данной работе используется применительно к классу цифровой аппаратуры. Время жизни подобных систем ограничено и определяется в основном двумя факторами: система должна отвечать уровню научно-технического развития и улучшать экономические показатели проектирования. Опыт применения САПР БИС в производстве схем повышенной размерности дал новые знания о подобных системах. Оказалось, что САПР на базе универсальных ЭВМ не способны обеспечивать приемлемое время разработки.

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

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

Таким образом, ядро САПР СБИС - моделирование - превратилось в наиболее узкое место всей системы проектирования, и со всей очевидностью встала задача совершенствования существующих методов и средств моделирования.

Допустимы различные способы преодоления возникающих затруднений. Традиционным можно считать переход на более производительную ЭВМ или поиск более быстродействующих алгоритмов моделирования. Современный подход к решению проблемы характеризуется тенденцией к слиянию программных и аппаратных средств моделирования.

Первые сообщения о промышленном производстве и использовании специализированных систем моделирования за рубежом появились в начале 80-х годов. Инициатором создания специализированной аппаратуры, ориентированной на задачи логического моделирования выступила фирма Boeing Aircraft (США). По мере совершенствования и удешевления производства заказных и полузаказных СБИС идея разработки специализированной аппаратуры моделирования стала все более притягательной и доступной. В настоящее время целый ряд фирм США и Японии заняты коммерческим выпуском специализированных ускорителей моделирования для различных уровней представления схем. В число первых наиболее известных ускорителей входят YSE(IBM), HAL(NEC), LE(ZYCAD), LSM(Bell.Lab.), AAP-1 (NTT) и SP(Fujistu). Характерной особенностью специализированных аппаратных средств моделирования является их привязка к определенным программным системам моделирования.

До настоящего времени отечественная промышленность не развернула серийный выпуск подобной специализированной аппаратуры. Вместе с тем расширение потребностей в средствах вычислительной техники диктует необходимость в сокращении сроков и повышении качества разработок изделий электронной техники (ИЭТ). Первые попытки решения проблемы создания специализированных средств были сделаны Институтом Электронных Управляющих Машин (ИНЭУМ г. Москва), где в 1989 году был создан опытный образец устройства моделирования СМ0513. Устройство было рассчитано на использование его на правах периферийного процессора в составе САПР, разрабатываемых на базе вычислительного комплекса СМ1700.

Актуальность диссертационной темы определяется очевидной потребностью в расширении класса отечественных-машин и систем проектирования, снабженных специализированными средствами моделирования ИЭТ. Диссертационные исследования проводились в соответствии с межвузовской научно -технической программой И.Т.601 «Перспективные направления технологии в высшей школе» в рамках основного научного направления ВГТУ «САПР и системы автоматизации производства».

Цель работы и задачи исследования. Целью диссертационной работы является решение актуальной проблемы - повышению эффективности подсистемы моделирования на основе разработки и интеграции в САПР ИЭТ Системы Ускоренного Моделирования (СУМ) на базе специализированного устройства моделирования. СУМ должна повысить на несколько порядков скорость логической верификации схем повышенной размерности. Для достижения поставленной цели необходимо решить следующие задачи:

• осуществить выбор архитектуры специализированного устройства моделирования на основе анализа возможных вариантов аппаратных решений;

• модифицировать алгоритм моделирования с учетом особенностей аппаратной реализации;

• формализовать задачи программных средств СУМ и разработать структуру программной среды, обеспечивающей совместимость использования как программного, так и аппаратного логических вычислителей;

• разработать модель информационных потоков и способы хранения и обработки данных, сокращающие время доступа к информации в СУМ;

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

• осуществить программную реализацию средств СУМ, разработать методику применения и оценить эффективность применения СУМ в САПР ИЭТ.

Объектом исследования диссертационной работы является подсистема ускоренного логического моделирования в САПР ИЭТ.

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

Научная новизна. В диссертации получены следующие результаты, характеризующиеся научной новизной:

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

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

• Алгоритмы преобразования модели структуры схемы в базис элементов специализированного устройства моделирования, не накладывающие ограничений на глубину иерархии описания и характер взаимных соединений элементов схемы.

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

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

• Методика применения СУМ совместно с пакетом поведенческого моделирования ПРИАМ и алгоритм оптимального деления для схем, превышающих размерностные характеристики устройства моделирования

Практическая ценность. Результаты диссертационной работы использованы при создании программно - аппаратного комплекса ускоренного моделирования на базе головной ЭВМ семейства Электроника и специализированного устройства моделирования "Электроника MCI801(1802)". Применение СУМ в САПР ИЭТ позволило на несколько порядков сократить время проектирования СБИС. Разработанный на основе предложенных методик и алгоритмов пакет Программ Ускоренного Моделирования цифровой Аппаратуры (ПУМА) согласован с традиционными программными средствами моделирования и последующими этапами проектирования ИЭТ. Анализируемый средствами СУМ проект может содержать до 500000 вентилей типа 4 входа/1 выход, до 16 Мбит памяти и до 1024 внешних контактов. Средняя производительность системы варьируется от 1 до 16 млн. событий/сек в зависимости от конфигурации аппаратуры устройства моделирования. По своим количественным и качественным характеристикам система не уступает аналогичным зарубежным системам.

Первая версия пакета программ ПУМА реализована на ЭВМ типа "Элек-троника-82" в рамках операционной системы МВС. Программная среда СУМ абсолютно переносима микро-ЭВМ "Электроника МС0107" с ОС МОС-32М и на компьютеры семейства VAX (фирма DEC.) с ОС VAX/VMS. Возможна постановка пакета программ в ОС UNIX. С целью расширения возможностей применения СУМ был выполнен перевод комплекса на ПЭВМ типа IBM PC (серия Pentium, 32-разрядная ОС Windows NT). Переход на ОС Windows NT предоставляет возможность сетевого использования комплекса ускоренного моделирования. На жестком диске пакет программ ПУМА занимает объем памяти порядка 2 Мб. Для работы СУМ требуется наличие в ОС средств виртуальной адресации, не менее 4 Мб оперативной памяти и свободного пространства на жестком диске от 10 до 60 Мб.

Результаты внедрения работы. Научные результаты, изложенные в диссертации, получены автором в ходе выполнения.в ОКБ при заводе «Процессор» ряда госбюджетных НИР (шифр «ТРОПИК») и ОКР (шифр «ТРОПИК-1», «КРЕН-2»), Данная система внедрена на ряде предприятий электронной промышленности, в частности, в ОКБ завода «Процессор» (г. Воронеж) и НИИРП (г. Москва), где используется при проектировании СБИС и блоков ЭВМ. Программно - аппаратная система нашла практическое применение при разработке процессора цифровой обработки сигналов и ряда матричных БИС в ОКБ. Годовой экономический эффект от внедрения системы ускоренного моделирования составил 243.7 млн. рублей (в ценах 1995 г.).

Апробация работы. Результаты работы обсуждались на следующих конференциях и семинарах: Всесоюзное совещание-семинар молодых ученых и специалистов "Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини и микро ЭВМ" (Воронеж, 1989 г.); Всесоюзная школа-семинар молодых ученых "Методы искусственного интеллекта в САПР" (Гурзуф, 1990 г.); IX симпозиум "Эффективность, качество, надежность систем человек-машина" (Воронеж, 1990 г.); Международная конференция и школа молодых ученых и специалистов "САПР- 92 Новые информационные технологии в науке, образовании и бизнесе" (Гурзуф, 1992 г.); Научно-техническая конференция "Автоматизация проектирования РЭА и ЭВА" (Пенза, 1992г.); Межгосударственная научная конференция "Экстремальные задачи и их приложения" (Н. Новгород, 1992 г.); Всероссийское совещание-семинар "Математическое обеспечение высоких технологий в технике, образовании, медицине" (Воронеж, 1994 г.); Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения наглядности и качества приборов, устройств и систем» (Пенза, 1996 г.).

Публикации. По материалам диссертации опубликовано 16 работ, включая учебное пособие, и 2 научно-технических отчета

Структура и объем работыдиссертация состоит из введения, четырех глав, заключения и списка литературы, включающего 102 наименования. Основной текст изложен на 135 страницах машинописного текста. Работа содержит 33 рисунка и 7 таблиц.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Кононыхина, Наталья Алексеевна

4.7 Выводы

1. Разработан пакет ускоренного моделирования БИС и СБИС на функционально-логическом уровне представления, который включает в себя 8 программных подсистем, работающих под управлением монитора. Программные модули написаны на языках FORTRAN 77 и С.

2. Пакет программ функционирует на графических станциях и в многопользовательской среде на универсальной ЭВМ с операционной средой, поддерживающей механизм виртуальной адресации страниц памяти. Первая версия пакета программ была реализована на ЭВМ VAX 11/780 в ОС VAX/VMS.

3. Пакет ПУМА позволяет анализировать проекты размерностью до 500000 вентилей типа 4 входа/1 выход, до 16 Мбит памяти и имеющий до 1024 внешних контактов. Обеспечивается средняя производительность системы от 1 до 16 млн. событий/сек. Пакет ПУМА обеспечивает увеличение скорости моделирования на несколько порядков, по сравнению с программным вариантом.

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

5. Проведен анализ эффективности пакета ПУМА и рассмотрены особенности его применения. Предложен вариант использования пакета в сетевой архитектуре «клиент-сервер».

Разработанный пакет программ внедрен в ОКБ «Процессор», в НИИЭТ г. Воронеж) и в НИИРП (г. Москва). С его применением разрабатывались

СБИС на основе базовых матричных кристаллов.

ЗАКЛЮЧЕНИЕ

Результатом работы является создание и внедрение в производство программно-аппаратной системы ускоренного моделирования на базе устройства моделирования серии "Электроника МС1800", которая обеспечивает сокращение сроков логической верификации проектов на несколько порядков. В процессе разработки СУМ выполнено следующее:

1. Проведен анализ известных специализированных средств моделирования, на основании которого сформулированы требования к архитектуре устройства. Выбран метод и алфавит моделирования для аппаратной реализации.

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

3. Сформулированы требования к ПО СУМ исходя из особенностей архитектуры устройства моделирования. Определены функции ПО СУМ по препро-цессорной подготовке информации, по управлению моделированием, по приему и обработке результатов моделирования.

4. Выделены задачи структурного преобразования проекта и разработаны алгоритмы программного перехода от БД базовой подсистемы моделирования "ПРАЦИС" к БД СУМ. Алгоритмы не накладывают ограничений на глубину иерархии описания проекта и на характер взаимных соединений элементов.

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

6. Проанализированы возможные варианты решения проблем моделирования схем, размерности которых превышают допустимые значения УЛМ как по числу элементов, так и по числу внешних контактов. Предложены алгоритмы выделения подсхем и проработана методика использования пакета поведенческого моделирования "ПРИАМ" для эквивалентной модификации входных тестовых наборов.

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

8. Создано информационное обеспечение СУМ. Разработана система представления данных, оптимизирующая затраты памяти и обеспечивающая быстроту доступа к информации. Задан и реализован необходимый набор процедур управления базой данных СУМ.

9. Разработан вариант использования пакета программ в архитектуре "клиент-сервер" в локальной сети Windows NT. Использование пакета программ ПУМА в распределенной архитектуре значительно расширяет его возможности и повышает эффективность. Скорость передачи сообщений в локальной сети типа Ethernet в среде Windows NT Workstation достигает 10 Мбайт/сек и практически не ухудшает скоростные характеристики системы.

Разработанный на основе предложенных методик и алгоритмов пакет программ ускоренного моделирования цифровой аппаратуры (ПУМА) согласован с традиционными программными средствами моделирования и последующими этапами проектирования ИЭТ. Анализируемый средствами СУМ проект может содержать до 500000 вентилей типа 4 входа/1 выход, до 16 Мбит памяти и до 1024 внешних контактов. Средняя производительность системы варьируется от 1 до 16 млн. событий/сек в зависимости от конфигурации аппаратуры устройства моделирования. По своим количественным и качественным характеристикам система не уступает аналогичным зарубежным системам.

Результаты опытной эксплуатации и внедрения СУМ показали, что использование подсистемы ускоренного моделирования снижает суммарные затраты на проектирование более чем в 100 раз от ранее запланированных. Данная система внедрена на ряде предприятий электронной промышленности, в частности, в ОКБ завода «Процессор» (г. Воронеж) и НИИРП (г. Москва), где используется при проектировании СБИС и блоков ЭВМ. Программно - аппаратная система нашла практическое применение при разработке процессора цифровой обработки сигналов и ряда матричных БИС в ОКБ

Список литературы диссертационного исследования кандидат технических наук Кононыхина, Наталья Алексеевна, 1999 год

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

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

3. Ильин В.Н., Фролкин В.Т., Бутко А.И. Автоматизация схемотехнического проектирования: Учебное пособие для вузов. М.: Радио и связь, 1987. -364 с.

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

5. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных / Под ред. М. Брейера: Перевод с англ М. : Мир, 1979. -463 с.

6. Автоматизация и проектирование цифровых устройств / Под. ред. Бадули-на С.С. -М.: Радио и связь, 1981. -240 с.

7. Айнспрук Н. Электроника СБИС. Проектирование микроструктур / Перевод с англ. под ред. И.П. Норенкова. -М.: Мир, 1989. -256 с.

8. Норенков И.П. Введение а автоматизированное проектирование технических устройств и систем. М.: Высш. шк., 1986.-304 с.

9. Т.Матоока, С. Момата, X. Танака и др. Компьютеры на СБИС: Перевод с яп. под ред. В.М. Кисельникова. -М.: Мир, 1988.-723 с.

10. Киносита, К. Асада, О. Карацу. Логическое проектирование СБИС: Пер. с яп. -М.: Мир, 1988.-310 с.

11. Маклауд Д. Деятельность фирма Ikos в области средств многоуровневого смешанного моделирования//Электроника. -1989. -N11. -С. 35-38.

12. Дыбой В.А., Межов В.Е., Питолин В.М., Проценко И.Г. Техническое обеспечение САПР. Учебное пособие. -В.: ВПИ, 1990. 120 с.

13. Унифицированные интерактивные средства проектирования изделий электронной техники /Толстых Б.Л., Талов И.Л., Харин В.Н., Межов В.Е., Черняев Ю.Н. -М.: Радио и связь, 1984. -136 с.

14. Жук Д.М., Мартынюк В.А., П.А. Сомов П.А. Технические средства и операционные системы. М: Высшая школа, 1986,- 106 с.

15. Мини- и микроЭВМ семейства "Электроника" / Толстых Б.Л., Талов И.Л., Цивинский В.Г., Межов В.Е и др.-М.:Радио и связь, 1987. -296 с.

16. Савета H.H. Переферийные устройства ЭВМ: Учеб. пособие для вузов. -М.: Машиностроение, 1987.-96 с.

17. Шульц С. Развенчивание мифов// Электроника.-1992.-т. 1-2. -С. 66-72.

18. КоутсР., ВлейминкИ. Интерфейс "человек-компьютер". М.: Мир, 1990. -501 с.

19. Д.Кнут. Искусство программирования для ЭВМ. Основные алгоритмы. Пер. с англ. М.: Мир, 1977. -Т. 1. -730 с.

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

21. Высокоскоростные вычисления. Архитектура, производительность, прикладные агоритмы и программы суперЭВМ: Пер. с англ. /Под ред. Я. Кова-лика . -М.: Радио и связь, 1988, 430 с.

22. Бэбб Р., Мак-Гроу Дж., Акселрод Т. Программирование на параллельных вычислительных системах: Пер. с англ. -М.: Мир, 1991, 372 с.

23. Валях Е. Последовательно параллельные вычисления. - М.: Мир, 1985. -390 с.

24. Хокни Р., Джессхоуп К. Параллельные ЭВМ /Пер. с англ. под ред. Е.П. Курочкина. -М.: Радио и связь, 1986. -400 с.

25. Сибуя М., Ямамото Т. Алгоритмы обработки данных: Перевод с яп. -М.: Мир, 1986, -224 с.

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

27. Ope О. Теория графов: Перевод с англ. -М.: Наука, 1980. -336 с.

28. Фридман А., Менон П. Теория и проектирование переключательных схем: Перевод с англ. -М.: Мир, 1978. -380 с.

29. Лэнгсам И., Огенстайн М., Тененбаум А. Структуры данных для персональных ЭВМ: Пер. с англ. -М.: Мир, 1989. -568 с.

30. Б.В.Керниган, Р.Пайк. UNIX-универсальная среда программирования: Пер. с англ. -М.: Финансы и статистика, 1992. 316 с.

31. Дейтел Г. Введение в операционные системы: Пер. с англ.: В 2 т. -М.: Мир, 1987.-2т.

32. Т.Тиори, Дж.Фрай. Проектирование структур баз данных. М.: Мир, 1985. -320с.

33. Маклеод Д. Состояние и перспективы систем автоматизации инженерного труда в электронике// Электроника. -1986. -№ 12. -т.59,- С. 31-44.

34. Харин В.Н. Базовое программное обеспечение типовых САПР изделий микроэлектроники. Электронная промышленность, 1987, № 5. - С. 58-60.

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

36. Межов В.Е., Медведкова И.Е. Некоторые особенности реализации пакета программ иерархического моделированияю // Методы искусственного интеллекта в САПР : Тез. докл. Всесоюз. шк.-семинар молодых ученых / Симферопольск. гос. ун-т. -Гурзуф, 1990. С. 74.

37. Межов В.Е., Медведкова И.Е. Алгоритм иерархического моделирования пакета ПРИАМ // Новые информационные технологии в проектировании: Тез. докл. Междунар. шк.-семин. молодых ученых и спец. / Симферопольск. гос. ун-т. -Гурзуф, 1992. -С. 167-169.

38. Горохов A.B., Харин В.Н. Системный подход к задачам топологического проектирования БИС // Эффективность, качество, надежность систем "человек техника": Тез. докл. IX Симпоз. / Воронеж, политех, ин-т. - Воронеж, 1990.-С. 112-113.

39. Горохов A.B., Кирсанова Ю.И., Харин В.Н. Структурная декомпозиция топологии МАБИС// Методы искусственного интеллекта в САПР : Тез. докл. Всесоюз. шк.-семинар молодых ученых / Симферопольск. гос. ун-т. -Гурзуф, 1990. С. 68-69.

40. Кононыхина H.A., Чевычелов Ю.А. Графические средства системы ускоренного моделирования //Оптимизация и моделирование в автоматизированных системах: Межвуз. сб. науч. Тр. / Воронеж, политех, ин-т. Воронеж, 1994. С. 39-44.

41. Интерактивные графические средства поддержки проектирования МЭА: Учебное пособие / Межов В.Е.,. Питолин В.М,. Чевычелов Ю.А,. Кононыхи-на. Н.А. / ВГТУ,- Воронеж, 1994,- 105 с.

42. Исследование и разработка алгоритмов и экспериментальных программ для специализированного процессора моделирования // Научно-техн. отчет по НИР, per. № У42917 / Особое констр. бюро при з-де «Процессор». Воронеж, 1989. - 136 с.

43. Кононыхина Н.А., Межов В.Е., Чевычелов Ю.А. Разработка и внедрение программного обеспечения ускорителя логического моделирования // Науч-но-тех. отчет по ОКР, per. № ГУ8411092 / Особое констр. бюро при з-де «Процессор». Воронеж, 1990. - 152 с.

44. Разработка программно-аппаратных средств ускоренного моделирования БИС на базе ПЭВМ типа IBM PC // Научно-тех. отчет по ОКР, 589.7545471.00208 / Особое констр. бюро при з-де «Процессор». Воронеж, 1992. - 140 с.

45. Пакет программ системы логического моделирования и генерации тестов ПРАЦИС-100. Руководство оператора. 589.7545471.00217-01 34 01.

46. ИНЭУМ "Исследование и разработка принципов построения сокопроиз-водительных комплексов моделирования на основе спецпроцессоров" // Заключит. отчет, рег.№ 08894411610. УДК 681.324:681.332/333. Москва.

47. Обобщенная теория переключательных схем и ее применение для проектирования СБИС // ТИИЭР. -1982. -т. 70. -№10. С. 5-19.

48. Власов A.M., Дыбой В.А., Межов В.Е. Интерактивная система логического моделирования цифровых схем /. Автометрия 5. Новосибирск: Наука, 1986. -С. 40-43.

49. Лобов И.Е., Межов В.Е., Чевычелов Ю.А. Подготовка исходных данных в подсистеме функционально логического моделирования // Автометрия 1. -Новосибирск: Наука, 1990. - С. 33-37.

50. Межов В.Е., Чевычелов Ю.А., Марцинковский Е.В. // Працис-ТМ. Пакет программ: Аннотированный каталог алгоритмов и программ. Направление САПР ИМС. ЦИФ САПР ПЭТ / Организация п/я Г-4515,- Москва, 1989. -Вып. 13.

51. Пристоф Ф. Йорктаунская моделирущая машина фирмы IBM // ТИИЭР.-1986,-т.74.-С. 95-109.

52. Иверсен У. Аппаратурное моделирование логики // Электроника. 1982.-№15.-С.78-79.

53. Сергеев Б.Г., Чучман В.Г. Устройство для моделирования цифровых объектов: Описание изобретений. А/С №7754427.

54. Кононыхина H.A., Межов В.Е, Чевычелов Ю.А. Подсистема "ИГРА" -графическая поддержка человеко-машинной системы проектирования аппаратуры. // Эффективность, качество, надежность систем "человек техника": Тез. докл. IX симпоз. -Воронеж, 1989. -С. 108-109.

55. Кононыхина H.A., Межов В.Е. Программная среда событийного ускорителя логического моделирования // Методы искусственного интеллекта в САПР: Тез. Докл. Всесоюзн. шк.-семинар молодых ученых./ Симферопольск. гос. ун-т-Гурзуф, 1990.-С.64-67.

56. Межов В.Е., Левов Ю.А., Барсуков Ю.М. Событийный ускоритель логического моделирования // Методы искусственного интеллекта в САПР: Тез. докл. всесоюзн. шк.-семинар молодых ученых / Симферопольск. гос. ун-т -Гурзуф, 1990.-С.70-73.

57. Кононыхина H.A., Межов A.B., Питолин В.М. Графический интерфейс системы ускоренного моделирования // Автоматизация проектирования РЭА и ЭВТ: Тез. доклада региональной конференция. Пенза, 1992. -С. 40-41.

58. Кононыхина H.A., Межов В.Е, Алгоритм разбиения на подсхемы для многопроцессорного аппаратного моделирования // "САПР-92" Новые информационные технологии в науке, образовании и бизнесе: Тез. докл. межд. конференции. Воронеж, 1992. - С. 165-166.

59. Кононыхина H.A., Межов В.Е., Чевычелов Ю.А. Особенности формирования базы данных системы ускоренного моделирования // Оптимизация и моделирование в автоматизированных системах: Межвуз. сб. научных тр. -Воронеж. -1992. С. 144-148.

60. Кононыхина H.A., Чевычелов Ю.А. Графические средства системы ускоренного моделирования // Оптимизация и моделирование в автоматизированных системах: Межвуз. сб. научных тр./ Гос. технич. ун-т. -Воронеж, 1994.-С.39-44

61. Кононыхина H.A., Чевычелов Ю.А., Межов A.B. Методология применения аппаратных средств моделирования // Математическое обеспечение высоких технологий в технике, образовании и медицине: Тез. докл. Всерос. совещания-семинара. -Воронеж, -1994. -С. 139-140.

62. Кононыхина H.A., Левов Ю.А., Межов В.Е., Чевычелов Ю.А. Система ускоренного проектирования БИС // Электронная промышленность. 1994. -т. 4-5. -С. 96-98.

63. Лопатин B.C., Чевычелов Ю.А., Межов В.Е., Левов Ю.А. Развитие системы ускоренного проектирования БИС// Оптимизация и моделирование в автоматизированных системах: Межвуз. Сб. научных тр./ Гос. технический ун-т. -Воронеж, 1994.-С.156-160.

64. L.N.Dunn. BM's engineering design system support for VLSI Design and Verification // IEEE Design and Test of computers, vol.1, 1984, №1, pp.30-40.

65. M.M.Deimeau. The Yorktown Simulation Engine // in Proc. 19th ACM/IEEE Design Automation Conference, 1982 (June 14-16), pp.55-59.

66. Abramobiach A. Logic simulation machine // in Proc. 19th ACM/IEEE Design Automation Conf., (June 1982), pp.65-73.

67. N.Koike, K. Ohmori. HAL: A high-speed Logic simulation machine // IEEE Design Test of Computers, 1985, №5, pp. 61-73.

68. S.TakasaJki, T.Sasaki et al. Block-level hardware logic simulation // IEEE-Trans. on Computer-Aided Design, vol.CAD-6, №1, 1987, pp. 46-54.

69. R.Goering. Fault simulation becomes design verification tool // Computer Design, vol.24, 1985, №3, pp. 71-80.

70. N. Van Brunt. The ZYCAD logic evaluator and its application in modern system design. // in Proc. IEEE Comf. Computer Design. Oct. 1983, pp. 232-233.

71. S.Goto (editor). Design methodologies // Elsevier Science Publishers B.V. (North Holland), 1986, pp. 465-499.

72. K.Y.Tham. Is there a "best" machine? // IEEE Design & TEST of Computers, 1987, №5, pp.14-17. .

73. Herbst E. Logic Design and Simulation // Elsevier Science Publishers B.V. (North-Holland), 1986. 282 p.

74. Agrawal P. Concurrency and Communication in Hardware Simulators // IEEE Transactions On Computer-Aided Design. Vol. CAD-5, N 4, October 1986, pp. 617-622.

75. Kemighan and S. lin, An efficient heuristic procedure for partitioning graphs // Bell Syst. Tech. J., Feb. 1970, pp. 291-307.

76. Levendal, P.R. Menon, S.H. Patel, Special-Purpose Computer for Logic Simulation Using Distributed Processing // The Bell System Techical Journal, Vol. 61, N 10, pp 2873-2909.

77. Blank. A Survey of Hardware Accelerators Used in Compute-Aided Design // IEEE. Design and Test of Computers. Vol.1, Aug. 1984, pp 22-39.

78. Agrawal, W J. Dally, ed. MARS: A. Multiprocessor-Based Programmable Accelerator // IEEE. Design Test of Computers Oct. 1987, pp 28-36.

79. Hayes J.P. Digital simulation with multiple logic values //IEEE Transaction on computer-aided design, vol. CAD-5, N0.2, APRIL 1986, pp. 274-283.

80. Ishiura N., Yasuura H., YAJIMA S. High-speed logic simulation on vector processors // IEEE Transaction on computer-aided design, vol. CAD-6, N0.3, MAY 1987, pp. 305-321.

81. Ambler А.Р., Coleman R.L., Manning N.M. The application of hardware accelerators in VLSI design // IEEE Transactions On Computer-Aided Design. Vol. CAD-6, 1987, pp. 407-414.

82. Jesshope C. A global model of parallel processing and its implementation // IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN. Vol. CAD-6, 1987, pp.113-116.

83. Hansen S.R. Integration of simulation accelerator for design and test // IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN. Vol. CAD-6,1987, pp.415-421.

84. McMahon M. Accelerator for faster logic simulation: the Zycad approach // IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN. Vol. CAD-6, 1987, pp.981-982.

85. Curtis D.B. Architectural design considerations for simulation accelerators // IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN. Vol CAD-6,1987, pp.983-984.

86. Рули Дж., Хендерсон Т., Хеллер M. Сети WINDOWS NT 4.0: Пер. с англ. -Киев: BHV, 1997.-798 с.

87. Quinn В., Shute D. Windows Sockets Network Programming. ADDISON -WESLEY PUBLISHING COMPANY, 1995. 637 p.1. УТВЕРЖДАЮ"

88. ДжреморЛЖБ при эав£2^"цттессор'г'1. Л h ß: \ Аг.1. АКТ ВНЕДРЕНИЯ

89. ПРОГРАММНО-АППАРАТНОЙ СИСТЕМЫ УСКОРЕННОГО1. МОДЕЛИРОВАНИЯ СБИС

90. Специализированное устройство логического моделирования (УЛМ) реализовано в 2-х модификациях:• "ЭЛЕКТРОНИКА MC 1801" 4 процессора моделирования;"ЭЛЕКТРОНИКА МС1802" 16 процессоров моделирования.

91. Устройство моделирования "ЭЛЕКТРОНИКА МС1801(1802)" функционирует под управлением универсальной ЭВМ типа "ЭЛЕКТРОНИКА 82" или "ЭЛЕКТРОНИКА МС0107".

92. В состав устройства моделирования входят три типа процессоров:• процессор обмена (ПРО);• процессор логического моделирования (ПЛМ);• процессор моделирования памяти(ПМП).

93. Процессор обмена органжоует параллельную работу процессоров моделирования, свяоь с управляющей ЭВМ, загрузку информации и прием результатов моделирования. Свяоь с управляющей ЭВМ выполняет быстродействующий интерфейс прямого доступа СК-19.

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

95. ПЛМ и ДМП аппаратно реализуют событийный двухпроходовый метод моделирования в 12-тизначной логике, обеспечивая синхронное и асинхронное моделирование. Сигналы характеризуются логическими и силовыми величинами.

96. Программная среда устройства моделирования обеспечивает преемственность программного пакета логического моделирования "ПРА-ЦИС" с Системой Ускоренного моделирования.

97. Программно-аппаратная система по своим качественным показателям и функциональным возможностям находится на уровне лучших мировых образцов. В частности, она сравнима с высокопроизводительными ускорителями типа ЬЕ-1002 . ЬЕ-1032 фирмы гУСАБ (США).

98. Годовой экономический эффект от внедрения системы составляет 243.7 млн. рублей.1. Зам. начальника отделения1. В.Е. Мехов1. Начальник ПФ01. Е.А. Недоступ