Разработка системы многоуровневого моделирования семейств биполярных матричных БИС высокой сложности тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Чевычелов, Юрий Акимович

• Чевычелов, Юрий Акимович
• доктор технических наук
• 1997

Оглавление диссертации доктор технических наук Чевычелов, Юрий Акимович

Введение.

1. ВЫБОР И ОБОСНОВАНИЕ МЕТОДОВ И СРЕДСТВ

ПРОЕКТИРОВАНИЯ СЕМЕЙСТВ БИС.

1.1 Состояние развития и возможности СБИС.

1.2 Верификация объектов проектирования.

1.2.1 Пути решения проблем верификации объекта проектирования.

1.2.2 Аппаратные средства моделирования.

1.3 Анализ алгоритмов моделирования.

1.3.1 Алгоритмы логической верификации.

1.3.2 Моделирование неисправностей.

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

1.4 Тестируемость цифровых схем и генерация тестов.

1.5 Параллельная обработка вычислений.

1.6 Разработка концепции логического проектирования полузаказных

СБИС на биполярных БМК.

ВЫВОДЫ.

2. СИСТЕМА УСКОРЕННОГО МОДЕЛИРОВАНИЯ.

2.1 Архитектура ускорителя логического моделирования.

2.1.1 Алгоритм моделирования.

2.1.2 Значность моделирования.

2.1.3 Обоснование и выбор состава базовых элементов УЛМ.

2.1.4 Задержки базовых логических элементов.

2.1.5 Процессор моделирования памяти.

2.1.6 Процессор обмена УЛМ.

2.2 Базовое программное обеспечение УЛМ.

2.2.1 Структура программного обеспечения УЛМ.

2.2.2 Монитор системы ускоренного моделирования.

2.2.3 Препроцессор системы ускоренного моделирования.

2.2.4 База данных УЛМ "Электроника МС90" и Электроника МС 91".

2.2.5 Диспетчер связи ЭВМ УЛМ.

2.2.6 Постпроцессор УЛМ.

2.3 Особенности построения ускорителей "Электроника МС90" и "Электроника МС91".

2.4 Основные характеристики ускорителей "Электроника ".

2.5 Блок физической библиотеки.

ВЫВОДЫ.

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

3.1 Требования к входным языкам моделирования.

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

3.2.1 Язык описания процессов - АЛОС.

3.2.2 Лингвистическое обеспечение функционально - логи -ческого моделирования.

3.2.3 Язык БИМОД (Библиотека МОДулей).

3.2.4 Язык задание на проектирование.

3.2.5 Графический язык формирования сигналов.

3.3 Информационное обеспечение подсистемы

3.3.1 Формирование базы данных.

3 .3 .2 Внутренняя организация и структура данных.

ВЫВОДЫ.

4. ПРОГРАММНО-АЛГОРИТМИЧЕСКИЕ СРЕДСТВА СММ

4.1 Требования к алгоритмическому обеспечению.

4.2 Алгоритмы преобразования структуры данных объекта проектирования.

4.2.1 Построение ФЛ модели объекта проектирования

4.2.2 Построение модели объекта проектирования для УЛМ.

4.2.3 Алгоритм фрагментирования.

4.2.4 Алгоритм автоматизации загрузки многопроцессорного ускорителя логического моделирования.

4.3 Алгоритмы моделирования.

4.3.1 Алгоритм поведенческого моделирования.

4.3.2 Моделирование неисправностей.

4.3.3 Алгоритмы ускоренного моделирования неисправ -вностей.

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

4.4.1 Тестируемость как функция наблюдаемости и управляемости.

4.4.2 Расчет параметров тестопригодности

4.5 Алгоритмы генерации тестовых последовательностей

4.5.1 СФ - алгоритм направленной генерации тестовых векторов.

4.5.2 Алгоритм случайной генерации.

ВЫВОДЫ.

5. АНАЛИЗ ЭФФЕКТИВНОСТИ ПРОГРАММНО -МЕТОДИЧЕСКОГО КОМПЛЕКСА СИСТЕМЫ МНОГО-УРОВНЕВОГО МОДЕЛИРОВАНИЯ.

5.1 Структура интегрированного комплекса системы логического проектирования.

5.2 Программный комплекс "ПРИАМ" структурно - алгоритмической верификации проектов СВТ и их компанентов.

5.2.1 Основные характеристики и структура пакета.

5.2.2 Принципы построения пакета моделирования

ПРИАМ.

5.3 Практическая реализация средств ФЛМ.

5.3.1 ПРАЦИС -ТМ - программный пакет логического моделирования

5.3.2 Особенности реализации программных средств моделирования цифровых схем.

5.3.3 Особенности подготвки данных для моделирования.

5.3.4 Моделирование неисправностей.

5.3.5 Ускоренный метод моделирования неисправностей.

5.4 Расчет параметров тестируемости , Библиотека примитивов.

5.4.1 Проектирование тестопригодных схем.

5.4.2 Методические указания по приведению схем к тестопригодному виду.

5.5 Методика генерации тестов.

5.5.1 Подсистема направленной генерации "ТЕСТ".

5.6 Интерактивная графика в системе проектирования.

5.7 Управление процессом проектирования.

5.8 Документирование.

5.9 Практические результаты работы СММ.

5.10 Внедрение интегрированой системы логического проектирования

ВЫВОДЫ

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

Современные микроэлектронные технологии обеспечивают создание супер-БИС сложностью порядка 107 элементов на кристалл. Рост сложности схем заставляет разработчиков концентрировать внимание не только на отдельных аспектах проектирования, но и на процессе в целом и вести проект одновременно на нескольких уровнях абстракции. Это определяет высокие требования к производительности аппаратных и программных средств автоматизации проектных работ.

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

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

Проведенный анализ систем автоматического проектирования ЙЭТ и ВТ показал, что существует ряд противоречий в развитии САПР, сказывающихся в конечном счете на таких основных характеристиках процесса проектирования, как качество проекта и время его завершения:

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

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

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

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

• недостаточно высокая ориентация на специализированные аппаратные средства проектирования;

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

• игнорирование возможностей творческого сотрудничества разработчиков цифровых объектов и САПР.

Разрешение противоречий и решение задач проектирования цифровых объектов, связано с широким применением высокопроизводительных вычислительных машин и проблемно-ориентированных систем, новых методов и стратегий проектирования, способных обеспечить преодоление трудностей многоэтапного иерархического процесса разработки изделий электронной и вычислительной техники. Чем большее число процессов и процедур проектирования автоматизируется, чем шире они внедряются в процесс разработки, тем яснее становится, что решением основной задачи САПР (ускорение процессов проектирования в целом) , является системный подход по созданию концепции аппаратно - программного комплекса проектирования на единой информационной основе многочисленных по своему составу проектных, конструкторских и технологических задач.

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

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

Диссертационная работа является частью комплексной работы, проводимой в рамках важнейших работ департамента электронной промышленности Миноборопрома РФ и плана создания новой техники НПО "Электроника."

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

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

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

Научная новиона. Получены следующие научные результаты:

- Концепция построения интегрированного программно - аппаратного комплекса многоуровневого моделирования, отличающегося сочетанием мини-и микроЭВМ со специализированными ускорителями при моделировании комплекта биполярных матричных БИС нового поколения в составе цифровой системы.

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

- Алгоритмические основы системы многоуровневого моделирования с использованием аппаратных ускорителей, увеличивающих производительности в несколько раз на программном уровне и на 3 - 4 порядка на аппаратном.

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

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

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

Практическая ценность. Результаты диссертационной работы положены в основу создания интегрированной системы многоуровнего моделирования семейств биполярных БИС на базе отечественных и (зарубежных мини- и микроЭВМ и специализированных процессоров логического моделирования "Электроника МС90" и "Электроника МС91". Программно - аппаратный комплекс поддерживается разработанными лингвистическими средствами и соответствующим информационным и программным обеспечением. Созданные программные и аппаратные средства (целевые подсистемы и система в целом) переданы и внедрены на ряде предприятий Главного управления электронной промышленности в гг. Москвы» Воронежа» Орла» Н.Новгорода, Уфы» Ульяновска» Челябинска. Программные пакеты логического моделирования переданы в ОФАП отрасли. Интегрированная система многоуровневого моделирования в полном объеме внедрена в ОКБ "Процессор" г. Воронеж (в настоящее время АООТ "ОКБ ПРОЦЕССОР") и научно - исследовательском институте электронной техники НПО "Электроника". Система проектирования использовалась при разработке полузаказных семейств БИС на базовых матричных кристаллах на предприятиях г.г. Воронежа, Екатеринбурга, Ульяновска. Годовой экономический эффект от внедрения системы и целевых подсистем оценивается в 421 млн. рублей (в ценах 1993 г.).

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на научно - технических, семинарах и конференциях: на семинаре "Передача и обработка данных в системах управления и ЭВМ" (февраль 1989 г.); всесоюзной школе - семинаре молодых ученых и специалистов "Актуальные проблемы создания интелектуальных САПР РЭА и СБИС" (Академия наук СССР, НИИ САПР АН Крымская обл. май 1989 г.); всесоюзном совещании - семинаре молодых ученых " Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини- и микроЭВМ" (сентябрь 1989 г. г. Воронеж); научно - технической конференции конструкторского проектировадия РЭА и ЭВА (1989 г. Пенза); на IV симпозиуме "Эффективность, качество и надежность систем человек - техника" (г.Воронеж, 28 - 30 ноября 1990 г.); межвузовской конференции "Экстремальные задачи и их приложения" (И. Новгород июль 1992 г.); на Региональной конференции "Автоматизация проектирования РЭА и ЭВА" (Пенза, 12 - 13 октября 1992 г); на XXI международной конференции и школе молодых ученых и специалистов "САПР - 94 Новые информационные технологии в науке, образовании, медицине и бизнесе" (4 - 13 мая 1994 г. Крым, Гуроуф); всероссийском совещании семинаре "Математическое обеспечение высоких технологий в технике, образовании и медицине" (г.Воронеж, 3-5 ноября 1994 г); на XII международной школе и конференции CAD - 95. "NEW INFORMATION TECHNOLOGIES APPLICATION IN SCIENCE, EDUCATION,MEDICINE AND BUSINESS" (UKRAINE, CRIMEA, YALTA-GURZUFF. May 4-14 1995); на международной научно - технической конференции "Методы, средства оценки и повышении надежности приборов устройств и систем** (г. Пенза, 1995 г.);на отраслевых совещаниях и семинарах.

Диссертация в целом обсуждалась на межкафедральном семинаре Воронежского Государственного Технического Университета.

Публикации. По теме диссертации опубликовано 41 печатная работа. Часть результатов отражено в научно - технических отчетах по НИОКР, проведенных в период 1980 - 1995 г.г., где автор был главным конструктором или заместителем главного конструктора разработки.

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

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

выводы

Для обеспеченна проектирования цифровых систем большой размерности и функциональной сложности на базовых матричных кристаллах с использованием 32-раорядиых мини- ж михроЭВМ семейства ^Электроника'1 и совместимых с ннми:

1. разработано программное обеспечение интегрированной иерархической системы логического проектирования цифровых объектов, обеспечивающих непрерывный цикл проектирования по нисходящей методологии ведения раоработки;

2. разработанное программное обеспечение включает проблемно - ориентированные подсистемы поведенческого (пакет ПРИАМ), логического (подсистемы ПРАЦИС - ТМ, ПРАЦИС - 100), схемотехнического (ПРАНИС И SPICE) моделирования, обеспечения функционирования ускорителя логического моделирования (ПУМА) развитые средства процедур поддержки функционирования и управления процессом проектирования:

• монитор управления подсистемами проектирования;

• средства управления базами данных;

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

• диагностические в обучающие средства.

3. подсистемы функционируют в среде и под управлением операционных систем МВС, VAX/VMS, UNIX на ЭВМ ряда "Электроника* и совместимых с ними, отдельные подсистемы (поведенческого я функционально - логического моделирования) на персональных компьютерах типа IBM PC;

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

5. поведенческое и логическое моделирование реализовано на единой алгоритмической основе (событийный алгоритм), обеспечивая скорость моделирования до 1500 - 2000 соб/сек (последовательная организация), 20000 -30000 соб/сек. (параллельное моделирование, скорость определяется числом задействованных подсистем моделирования) и порядка 10е соб/сек. (ускоритель логического моделирования);

6. в целях сокращения временных потерь при верификации тестовых последовательностей реализована статистическая оценка полноты тестовых векторов; выигрыш во времени, полученный при определении полноты теста при числе ошибок > 10.000 равен 20-50 pao по сравнению с моделированием всех ошибок, при точности 4 - 5 %;

Т. для реализации высоких характеристик подсистем проектирования и объектов анализа разработан процесс оптимизации исходной информации о схеме и самой схемы для БИС и ТЭЗ'ов (по незадействован-ньш входным/выходным линиям, "тупиковым маршрутам", элементному составу); оптимизация обеспечивает, в первом случае снижение числа возможных ошибок, во втором случае, минимизацию потребляемой мощности и увеличения свободы размещения и трассировки за счет сокращения числа вентилей и линии связи, сокращение времени анализа и увеличение величины тестового покрытия;

8. в унифицированных интерактивных подсистемах проектирования семейства "Кулон" реализованы и используются методы экспресс - тестового анализа тестируемости и разработана методика приведения цифровых схем к тестопригодному виду;

9. в целях обеспечения сквозного цикла проектирования разработаны программно - инструментальные средства перехода с иерархического уровня на уровень (с этапа на этап) и интерфейсы на топологические этапы проектирования СБИС,ТЭЗы с возможностью проведения повторных итераций для коррекции проекта по результатам работы последующих проектных процедур после учета параметров (по связанности, логической верификации, экспресс - тестового анализа, моделирования неисправностей, параметров трассировки) и контрольно-измерительное оборудование;

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

И. разработаны графические средства документирования цифровых схем.

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

13. программное обеспечение системы было использовано при проведении ряда НИР, ОКР и хоздоговорных работ по проектированию СБИС цифровой аппаратуры различного назначения, что подтвердило ее высокую эффективность и позволило в значительной степени сократить (в отдельных случаях на порядок) общее время ведения проекта;

14. программное обеспечение системы иерархического проектирования и отдельные проблемно - ориентированные пакеты внедрены на ряде предприятий отрасли и НИИ, городов Москвы, Нижнего Новгорода, Ульяновска, Уфы, Орла, Воронежа;

15. суммарный годовой экономический эффект от внедрения систем ускоренного проектирования иерархического САПР, подсчитанный по актам внедрения составляет более 421 млн .рублей (в ценах 1995 г.).

ЗАКЛЮЧЕНИЕ

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

1. В отечественной практике разработки матричных биполярных БИС реализована концепция моделирования микропроцессорной системы в виде семейства микросхем высокой степени интеграции.

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

3. Определена структура СММ, как распределенная в локальной сети система программных подсистем: поведенческого, логического, схемотехнического моделирования и верификации генерации тестов и УЛМ, функционирующих при поддержке интегрированной иерархической базы данных; инвариантной относительно применяемых ЭВМ и обеспечивающей гибкую и эффективную информационную согласованность процессов проектирования.

4. Разработаны лингвистические средства системы, включающие входной язык подсистемы поведенческого моделирования АЛОС, язык подсистемы логического проектирования МОС, подсистемы графической поддержки БИМОД и язык задания на проектирование ЯЗП, обеспечивающие единый принцип описания проектов в рамках иерархической системы сквозного проектирования семейств матричных БИС.

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

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

8. Разработаны и реализованы алгоритмы основных целевых процедур системы логического моделирования, в основу которых положены модифицированные событийный и совмещенный (конкурентный) алгоритмы. Реализованы вероятностный и статистический алгоритмы моделирования неисправностей, которые обеспечили в среднем 10 - 15 кратное превосходство (по скорости) последних над известными алгоритмами при 4-5% точности обнаружения ошибок.

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

10. Предложен и реализован алгоритм направленной генерации тестовых последовательностей. Выработана методика построения тест - вектоа| у ров на основе совместного использования методов случайного поиска, регулярной и направленной генерации и учета характеристических параметров управляемости и наблюдаемости схемы, что позволило увеличить степень тестового покрытия (80 - 95%) и на порядок сократить длину теста.

11. Произведена программная реализация интегрированной системы иерархического проехтирования. Построена адаптивная система многоуровневого моделирования семейства биполярных БИС матричного типа нового поколения. Созданный программно - аппаратный комплекс и отдельные проблемно - ориентированные подсистемы внедрены в ОКБ при заводе "Процессор" (г.Воронеж) и ряде предприятий России . Программный комплекс Працис-ТМ внедрен в учебный процесс на кафедре САПР Воронежского Государственного Технического Университета. 1Ъдовой экономический эффект от внедрения составил 421 миллион рублей, в год в ценах 1995 г.

Выделены направления и предложения по дальнейшему развитию системы логического проектирования с учетом прогнозируемого роста сложности изделий электронной техники.

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

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

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

Список литературы диссертационного исследования доктор технических наук Чевычелов, Юрий Акимович, 1997 год

1. Абрайтис Л.Б.,Шейнаускас Р.Й., Жеяевичус В. А., Автоматизация проектирования ЭВМ/ // - М; Сов. Радио 1978 г - с 266.

2. Авдеев Е.А., Еремин А.Т., Норенков И.П., Песков М.И. Системы автоматизированного проектирования в радиоэлектронике: справочник// под ред. Й.П. Норенкова. М.:Радио и Связь, 1986. 368 С.

3. Аврашков П.П.,Беляков Ю.Н. и др. Система яогико топологического проектирования заказных матричных БИС (ЛОТОС)// Микроэлектроника и полупроводниковые приборы. Под редакцией A.A. Васенкова и Федотова Я.А. 1984 г. вып.9. с. 253 - 260.

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

5. Автоматизация проектирования элементной базы ЭВМ // Радиоэлектроника (обзор). Вычислительная техника. ДСП, 1986.

6. Айверсен У. Аппаратный акселератор моделирования с быстродействием 1.1 млрд. событии в секунду // Электроника. 1987. Т60. N13. с.83.

7. Ахо А., Хорокофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов // -М; Мир.- 1979. 536 с.

8. Бадулин С.С., Бариаулов Ю.М., Бердышев В.А. и др.; Автоматизированное проектирование цифровых устройств // под ред. С.С.Бадушгаа.- М.; Радио и Связь, 1981.

9. Базилевич Р.П. Декомпозиционные и топологические методы автоматизированного конструирования электрических устройств // Львов: Высшая школа, 1981. с.168.

10. Баталов Б.В., Егоров Ю.В., Русаков С.Г. Основы математи- ческого моделирования больших интегральных схем на ЭВМ -М.: Радио и связь. 1982.-169с.

11. Баурн С. Операционная система Unix // М.: Мир. 1986. 461 с.

12. Безродный М.С. Основы построения устройств оперативного ввода информации // М.; Энергия. 1973. -216 С.

13. Берски Д. Новый микропроцессор, содержащий несколько миллионов транзисторов и обладающий вычислительной мощью суперкомпьютера. // Электроника. 11-12. 1991 г. с. 3 4.

14. Берски Д. Цифровые ИС 1990-х годов: почти неограниченные ресурсы на кристалле // Электроника, N2. 1990. с. 29 - 39

15. Берски Д. Цифровые схемы // Электроника 11-12 1992 24 32 с.

16. Биргер А .Г., Использование отношения подобия между неисправностями при построении проверяющих тестов цифровых устройств // // Автоматика и телемеханика. 1977. N 9, с.150 - 157.

17. Б лун М. Многоуровневое моделирование требует совершенствования ускорителей // Comput. Design 26/7 Арг.1,1987, рр 26 -36.

18. Борщадский A.M., Барышев А.И., Колошин В.В. Прикладные программные средства автоматизации конструкторского проектирования радиоэлектронной и электронно-вычислительной аппаратуры /, реферативный обзор. -Вып.З.- Пемза. ЦНТИ. 1989 г. 38 с.

19. Буиоа Джефри., Кофман ГЪдон. ТЪмсон Эд. Основные направления развития автоматизации проектирования в 1990 годах.// Электроника. 2. 1990 г. с. 39-43.

20. Бьюлоу Фред. Верификация проектов: каков объем моделирования можно считать достаточным.// Электроника. 12 13. 1990 г. с. 38-44.

21. Валях Е. Последовательно параллельные вычисления.// "Мир", 1985 *

22. Васильев A.B., Корнев В.Б., Мистюков В.Г., Тонких Н.Н Состояние и перспективы развития однокристальных цифровых процессоров. // Электронная промышленность. N 4-5.-1994 г. с. 67 -70

23. Васильев Г.П., Егоров Г.А., Зонис B.C., и др. Малые ЭВМ высокой производительности. Архитектура и программирование, под редакцией Прохорова H.JI. М.;// Радио и связь 1990. -256с.

24. Вермишев Ю.Х., Тохар И.Й., Основные требования к банкам данных САПР // Обмен опытом в радиопромышленности НИИЭИР М.:1983. вып.4.

25. Влассш A.M., Дыбой В.А., Межов В.Е., Плотников В.В., Харин В.Н. Интерактивные графические системы нового поколения для САПР изделий электронной техники // "Автометрия" N 5. М.: изд-во "Наука" СО 1986.

26. Власов A.M., Межов В.Е., Чевычелов Ю.А. и др. Интерактивная система логического моделирования цифровых схем // Автометрия 5. 1986. иод-во "Наука". Сибирское отделение.

27. Власов В.Ф., Горохов A.B., Харин В.Н. Пакет программ автоматизированного МПП.// Тез.док. в хн. Всесоюзный н/т семинар "Создание интелектуаяьных САПР СБИС и электронных средств", сент. 1990 г.

28. Вуль В.А. Оперативные графические диалоговые системы и их применение // Зарубежная радио-электроника, 1985, N1 с. 57-85.29. 1Ънн Лиза. Аппаратная система моделирования. // Электроника. 12 -13. 1990 г. с. 55-57.

29. Гйлой В. Интерактивная машинная графика// М.: Мир. 1981.

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

31. ГЬряшко Л.П. Синтез диагностируемых систем вычислительных устройств/ / М: Наука, глав. ред. фио.мат. лит., 1987.

32. Г)робман Д.Н. Статистический способ определения полноты тестов// в хн. Проектирование и контроль логических схем и устройств.// ИНЭУМ, труды института, вып.76, М; 1979.

33. Гуляев В.А., Макаров С.М., Новиков B.C. Диагностика вычислительных машин // Киев. Техника. 1981.

34. Дофман В.Ф., Иванов A.B. ЭВМ и ее элементы, (развитие и оптимизация) //- М, Радио и Связь, 1988.

35. Елшин Ю.М. Автоматизированные рабочие места при проектировании РЭА// М.: Радио и Связь, 1983.-128 С.

36. Ильин В.Н. Состояние и проблемы развития автоматнэнро- ванного схемотехнического проектирования электронных схем// Радиоэ- пек-троника. 1984. сТ-17 (Известия вузов).

37. Исследование и разработка методов и алгоритмов автоматизированной генерации тестов проверки ТЭЗ'зов / Отчет по НИР "Турнир/ НПО "Электроника*. У11759,- Воронеж, 1986.

38. Исследование и разработка алгоритмов и экспериментальных программ для специализированного процессора моделирования// Научно технический отчет по НИР ТРОПИК 1988 г. У42917.

39. Исследование и разработка алгоритмов и экспериментальных программ для специализированного процессора логического моделирования / отчет по НИР "Тропик"// НПО "Электроника" N У42917. Воронеж. 1988

40. Исследование и разработка методов и алгоритмов проектирования печатных плат с помощью отраслевого комплекса " Кулон-3"/ отчет по НИР "1>анзит-5"/ НПО "Электроника". :У93794 Воронеж, 1982 .

41. Исследование и разработка принципов построения высокопроизводительных комплексов моделирования на основе спецпроцессоров". // Отчет по ОКР 08894411610. ИНЭУМ. Москва.

42. Казначеев В.И. Диагностика неисправностей цифровых автоматов // Москва., "Советское радио" 1975 г.

43. Кейелер С. Проектирование операционных систем для малых ЭВМ/ -М.: Мир. 1986.

44. Киносита К., А сада К., Карасу О., Логическое проектирование СБИС // М; Мир. 1988 г. - 309 с.

45. Киркленд Т., Флорес И.В. Программные средства тестируемости и автоматическая генерация тестов для СБИС // Электроника 5 -1983 г.

46. Комплекс средств автоматизированного проектирования специализированных НС.// Электроника. 12 13. 1990 г. с. 85 - 88.

47. Кондратьев В.В. Махалин Б.Н. // Автоматизация контроля цифровых функциональных модулей ,-М.; Радио и связь. 1990.

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

49. Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы САПР // М: Энергоиздат. 1987.

50. Коул Б.К. Наращивание возможностей программных средств автоматизированного проектирования специализированных ЙС // Электроника. 13. 1986 г.,т 59., с. 18-26.

51. Коул Б.К. Новое устройство, сокращающее время разработки специализированных НС. // Электроника. 13. 1986 г.,т 59., с. 45-46.

52. Коул Б.К. Повышение плотности упаковки вентильных матриц в рамках 2-хмикронной технологии. // Электроника. 3.1989 г. с.49-52.

53. Коул Б.К. Совершенствование методов создания специализированных ИС, необходимое условие успеха на рынке.// Электроника. 7. 1987. с. 24 32.

54. Крон Г. Исследование сложных систем по частям диакоптика // М., "Наука", 1972. 542 с.

55. Ландау ИЛ. Применение ЦВМ для проектирования ЦВМ // М.; Энергия, 1974.

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

57. Лобов И.Е., Межов В.Е., Чевычелов Ю.А. и др. Принципы и алгоритмы направленной генерации тестов в системе "Працис-ТМ"// -Автометрия N 4, ио-во Наука. Новосибирск. 1989г.

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

59. Лопатин B.C., Межов В.Е., Чевычелов Ю.А., ГЬрохов A.B. Программное обеспечение системы ускоренного проектирование БИС.// Электронная промышленность, 4-5,1994 г.,с. 99-100.

60. Лопатин B.C., Межов В.Е., Чевычелов Ю.А. и др. Унифицированные программно технические комплексы для САПР ИЭТ и ВТ // Электронная промышленность N4-5 - 1994 г.- с. 90-96.

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

62. Лощшюв H.H. Перспективы роста производительности ЭВМ (обзор) // Зарубежная радиоэлектроника 5, 1976 Г, С.З.

63. Маклауд Дж. Сверхскоростные средства моделирования и имитаторы, значительно упрощающие отказ от моделирования.// Электроника. 1988. N11. -С.12 -13.

64. Маклауд Дж. Средства моделирования фирмы Valid, ускоряющие и облегчающие временное анализ ИС./ Электроника. 1988. N11, с. 22 24.

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

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

67. Маклеод Д. Сверхскоростные средства моделирования и имитаторы, значительно упрощающие отказ от макетирования.// Электроника. 11. 1988 г. с.12 18.

68. Маклоуд Д. Система моделирования, предназначенная для окончательной отладки специализированных ИС.// Электроника. 12 13. 1990 г. с. 100-104.

69. Маклоуд Д. Автоматизация проектирования и производства ИС -ключи к будущему.// Электроника. 12 13.1990 г. с.93 -100.

70. Маклоуд Д. Интегрированный комплекс программных средств SYSTEM HILO фирмы GENRED, обеспечивающий моделирование и разработку тестов.// Электроника. 12 13. 1990 г. с. 124-126.

71. Маклоуд Д. Новые средства, существенно ускоряющие проектирование.// Электроника. 12 13. 1990 г. с. 111-116.

72. Маклоуд Д. Новый имитатор, позволяющий быстро моделировать схемы с ошибками.// Электроника. 12 13. 1990 г. с. 121-124.

73. Маклоуд Д. Программируемые матрицы входят в жизнь.// Электроника. 3. 1989 г. с. 80-81.

74. Маклоуд Д. Программные средства для проектирования специализированных ИС сложностью до 50 т. вентилей.// Электроника. 12 13.1990 г. с. 81-85.

75. Малевич Т.М. Разработка моделей, алгоритмов и программных средств графического отображения структурных схем.// Минск.-1983.

76. Малины» Л. Дальнейшее расширение функциональных возможностей САПР.// Электроника 11-12. 1991 г. с. 15 31.

77. Мангир Т.Э. Источники отказов и повышение выхода годных СБИС. ТИИЭР 1984 .т.72 N6 стр. 36-56.

78. Маниньяк JI. Системное моделирование по прежнему подает наг дежды.// Электроника. 1992 11-12. 52 60 с.

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

80. Межов B.E., Питояин B.M., Плотников В.В., Харин В.Н. Проектировал ние САПР и АРМ изделий электронной и вычислительной техники // Учебное пособие. Воронежский политехнический институт, 1989. 101 с.

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

82. Межов В.Е., Тадов ИЛ., Черняев Ю.Н. Прикладное программное обеспечение схемотехнического обеспечения системы 15УТ-4-017// Электронная промышленность. 1980. вып. 7.

83. Межов В.Е., Талов И.Л., Черняев Ю.Н. Языковые средства для проектирования печатных плат// Электронная техника. СЕР.9. "Экономика и система управления", вып.1. 1982.

84. Межов В.Е., Харин В.Н., Зиоин Г.В., Марцинковский Е.В. Подсистема ускоренной верификации тестов "УВЕРТ"// Эффективность, качество, надежность систем "человек-техника"; IX симпозиум. Таз.дох.-М; 28-30 ноября 1990 г-с 106-107

85. Межов В.Е., Чевычелов Ю.А., Бочаров О.С. Построение функционально-логической модели объекта проектирования.// Оптимизация и моделирование в автоматизированных системах. Межвуз. сб. научных тр. Воронеж -1995 г с.63 -67.

86. Межов В.Ё., Чевычелов Ю.А., Бочаров О.С. Язык задание на проектирование.// Тезисы докладов Международной научно-технической конференции "Методы и средства оценки и повышения надежности приборов, устройств и систем". Пенза., 1995 г.с. 82-83.

87. Межов В.Б., Чевычелов Ю.А., Кононыхина H.A. Подсистема "Игра" -графическая поддержка человеке машинной системы проектирования аппаратуры// Эффективность, качество, надежность систем "человек-техника"; IX симпозиум. Теэ.док.-М; 28-30 ноября 1990. - с??

88. Межов В.Е., Чевычелов Ю.А., Сергеев B.C. и др. Микропроцессорные вычислительные средства для построения САПР и информационных управляющих структур.// Воронеж. 1996 г. с. 256.

89. Милн Б. Высокопроизводительный аппаратный комплекс поведенческого моделирования.// Электроника. 12 13. 1990 г. с. 154-156.

90. Милн Б. Интеграция различных программ моделирования в составе комплекса САЙТ.// Электроника. 12 -137 1990 г. с. 156 -158.

91. Мищенко И.А., Городецкий Л.М., Гурский Л.А. и др. Интеллектуальные системы автоматического проектирования больших и сверхбольших интегральных схем // Под редакцией И.А. Мищенко. М; Радио и связь. 1988.

92. Нисков В Л. Перспективы создания полузаказных УБИС на 1 миллион логических вентилей.// Электронная промышленность N4-5 1994 г. с.28 -34

93. Ниссен К. Методология и средства иерархического проектирования СБИС//ТЙЙЭР, Т.71. Январь 1983.

94. Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем// М.: Высшая школа. 1986.

95. Боткин Р.Г. Об одной задаче, возникающей при построении контролирующих тестов для логических сетей// Автоматика и телемеханика. 1975,N 6. с. 126-131.

96. Ньютон А.П. Автоматизация проектирования сверхбольших интегральных схем.// ТИИЭР. Т.89.10. 1981 г. с. 7 19.

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

98. Ope О. Теория графов. М; Мир. 1982.

99. ПРАЦИС TM 1756/К008 // Каталог программных средств. 4.2 САПР ИМС. ОФАП МЭП - 1990. - с. 47.

100. Папернов A.A., Подымов В .Л. Методы упорядочивания информации в цифровых системах// M 1973г.

101. Параллельные вычислительные системы .// Радиоелектроника.( Состояние и проблемы раовития). Обзор по материалам иностранной печати. 1985. с.1 - 42

102. Параллельный вычислительный комплекс с 65000 процессоров для решения крупнейших задач обработки данных.// Электроника. 13. 1986 г. т.59. С.31 35.

103. Пархоменко П.П., Согомонян Б.С. Основы технической диагностики// М.: Энергоиздат. 1981.

104. Петренко А.И. Основы автоматизации проектирования// .Киев: Техника, 1982.

105. Петренко А.И. Средства моделирования сверхбольших интегральных схем в процессе проектирования// Зарубежная радиоелектроника.-1983 г. 12. с.10-27.

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

107. Плотников В.В., Межов В.Е., Барсуков Ю.М.// Ускоритель логического моделирования. "Разработка и оптимизация САПР и ГАП и микроэвм*. Тезисы докладов Всесоюзного совещания-семинара молодых ученых и специалистов. Воронеж, 1989 г. с 47 50.

108. Пол Р. Метод быстрой оценки неисправностей, упрощающий построение тестовых векторов.// Электроника. 1990 N6 стр. 75-82.

109. Прайс Д. Программирование на языке Паскаль. Практическое руководство.// М.; Мир, 1987.

110. Применение вычислительных машин для проектирования цифровых устройств// под редакцией Матюхина H .Я. М.; Сов. Радио, 1968.

111. Программные средства анализа тестируемости автоматической генерации тестов для СБИС1. Электроника N0 5 1983 .

112. Разработка программно аппаратных средств уско- ренного моделирования БИС на базе ПЭВМ типа IBM PC.// Научно - технический отчет по ОКР "Крен - 2". 1992 г. 589.754547.00186-01.

113. Разработка и внедрение программного обеспечения логического моделирования ТЭЗ'ов с помощью отраслевого комплекса "Кулон-3"// Отчет по ОКР "Транзит-7"/ НПО "Электроника", У01479. - Воронеж, 1984.

114. Разработка и внедрение программного обеспечения автоматизированной генерации тестовых последовательностей проверки цифровых схем с помощью ИГС "КУЛОН-4"/: отчет ОКР "Турнир"/ НПО "Электроника". У24244, Воронеж , 1986 .

115. Разработка и внедрение программного обеспечения ускорителя логического моделирования // научно технический отчет по ОКР ТРОПИК-1. 1990 г. ГУ11092.

116. Разработка программ автоматизированной генерации тестов крупногабаритных ТЕЗ'ов с применением МАБИС и микропроцессорныхнаборов с помощью ИГС "Кулон-4"/ Отчет По ОКР "Турнир-2й/ НПО "Электроника"; У37201. Воронеж,1988.

117. Рындин A.A., Межов A.B., Зибров A.A. Универсальная информационная среда проектирования для соодания интегрированных САПР БИС // Вопросы радиоэлектроники. Серия ЭВТ. Выпуск 2. 1994. с. 51-56.

118. Рындин A.A., Чевычелов Ю.А., Межов A.B. Развитие графических средств системы ускоренного проектирования БИС // Высокие технологии в технике и медицине: Межвузовский сборник научных трудов МУВТ. Воронеж, 1994. с. 27-31.

119. Северек Д.П., Цюеань Лай Л. Контроль цифровых систем//- ТИИЭР, Т.69, N 10, октябрь 1981 г.

120. Сергеев A.A. Алгоритм выделения повторного сходящихся и циклических путей в схемном графе // "Вопросы радиоэлектроники". N11, 1977. с. 86-91.

121. Сибиряков С.А., Одеянко Б.Н. Инженерные рабочие станции: стандартизация и унификация технических и программных средств //"Обзоры по электронной технике", Вып. 4 (1157), М.: ЦНИИ "Электроника", 1985. 56 с.

122. Системы автоматизированного проектирования СВЕРХБИС// Микроэлектроника, 1980. вып. 5. с.401-412.

123. Смит Кевин. Ускоренное моделирование сложных схем с использованием матрицы процессоров.// Электроника. 8. 1985 г.т.58., с.40-41

124. Современные методы и средства автоматизированного проектирования интегральных микросхем. Современные проблемы технической диагностики СБИС, (обоор)// Радиоэлектроника. Вычислительная техника. 1 1986.

125. Сокращение цикла проектирования при исследовании глобального аксельратора// "Electronic Design" 24.1986.

126. Сопроцессорная плата, утраивающая скорость работы систем на баое машин VAX // Электроника. 1987. Т60. N13.

127. Состояние и перспективы развития систем автоматизации инженерного труда в электронике// "Электроника". 1986. N12, т.59.

128. ТЬрасенко A.A., Черкасов В.А. Диалоговая система проектирования цифровых устройств и тестирования на основе мини-ЭВМ (диспут)// Вопросы радиоэлектроники, сер. овр. 1985. вып.6.

129. Теория и методы автоматизированного проектирования вычислительных систем. // Под ред. М.Брейера, М,; Мир, 1976.

130. Толстых Б.Л., Межов В.Б. Входной графосимволичесхий язык интерактивной графической системы 15УТ-4-017// Электронная техника, серия 3, Микроэлектроника. Выпуск 4(82). 1979.

131. Толстых Б.Л., Межов В.Е. и др. Мини- и микроЭВМ семейства "Электроника''// М.Радио и Связь, 1987.

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

133. Толстых Б.Л., ТЪлов И.Л., Межов В.Б. и др. Мини- и микроЭВМ семейства "Электроника" // М.: Редакция литературы по кибернетике и вычислительной технике. 1987. 294 с.

134. Томашевский Д.И., Малютин Г.Г.,Явич A.A., Преснухин В.В. Графические средства автоматизации проектирования РЭА//М;Сов.Радио. 1980. 224 с.

135. Уокер В.С.,Гурд Дж.Р.,Дроник Б.А. Интерактивная машинная графика // М; Машиностроение, 1980.

136. Уэбер Самьюэл. Поиск эффективной стратегии интеграции инструментальных средств проектирования. Электроника. 12 13. 1990 г. с. 135-137.

137. Фитчер В., Нагел Л.Н. и др. Супер ЭВМ в проектировании интегральных схем. ТИИЭР. 1984. N1 с.116 - 135

138. Флорес И. Структура и управление данными// М. Финансы и статистика. 1982 г.

139. Фоли Дж., Вэн А.ДЭМ. Основы интерактивной машинной графики// -М.: Мир 1985.

140. Фролкин В.Е., Мощняга В .Г., Тихомирова Е.М., Гындя С.И. Аппаратные ускорители новый инструмент логического моделирования БИС// Зарубежная электроника, 1990, N6.,с. 3-25.

141. Халчев В.Ф. Повышение контролепригодности дискретных устройств: состояние проблемы / /Измерение, контроль, автоматизация. -1980 -N1-2 -с. 25-31.

142. Хоуорд Д.К., Малм Р.Н., Уоррен Л.М. Диалоговое логическое моделирование сложных СБИС с помощью специализированного компьютера.// Электроника. 1983 г. 25-26 с.43 -46.

143. Чевычелов Ю.А. Разработка подсистем функционально логического моделирования САПР средств ВТ на основе мини- и микроЭВМ. Дис.-канд. тех. наук в форме научного доклада. - 1990 г.

144. Чевычелов Ю.А., Золотарев С.Н. Минимизация стоимостной функции в задачах генерации тестовых последовательностей. // Меж. Муз. конфЭкстремальные задачи и их приложения". Тез .док. Н.Новгород. Н.Новгородсхий Госунивер. июль 1992

145. Чевычелов Ю.А., Золотарев С.Н., Лопатин B.C. Автоматизация преобразования системы в новый технологический базис.// Автоматизация проектирования РЭА и ЭВА. Тез. док. Республ. конф. Пенза, 12-13 окт. 1992 г.

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

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

148. Чевычелов Ю.А., Марцинковский Б.В. Алгоритм моделирования неисправностей // Оптимизация и моделирование в автоматизированных системах. Межвуо. сб. научных тр. Воронеж 1995 г - с.58 - 62.

149. Чевычелов Ю.А., Марцинковскии Б.В. Повышение эффективности САПР логического проектирования цифровых схем // Математическое обеспечение высоких технологий в техническом образовании и медицине. Tea. док. Всеросс. совещание семинар с 16 - 17.

150. Чжен Г., Меннинг Е. Диагностика отказов цифровых вычислительных систем/ М.: Мир. 1972.

151. Эванчук С.И. Инженерные рабочие станции последнее звено в комплексе автоматизированного проектирования // Электроника. 1982. N23. с. 24-38.

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

153. Юрин О.Н. Единая система автоматизации проектирования ЭВМ/ -М.; Сов. Радио. 1976.

154. Ясинявичене Г.М., Бургис Б.В.,Мецаев И.А., Г^ебликас И.А.// Тестовый контроль микропроцессорных БИС на производстве. М. Радио и связь. 1989.

155. Agrawal K.D., Jain S.K. Statistical! Fault Análisis// IEEE. Design& Test, Feb. 1985. p 38 44.

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

157. AGRAWAL P.R. "Concurrency and Communication in Hardware Simulators". // IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN. Vol. CAD-5, N 4, OCTOBER 1986, pp. 617-622

158. Armstrong D.B. A deductive method for simulaton fault in logic circuits. // IEEE T*ans.l972.v.C 217. N5. P.464 - 471.

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

160. Bloom M. More needed in accelerators for multilevel simulation // Computer Design, 1987. V26. N7. P.26-32.

161. Breuer M.A. and Friedman A.D, Diagnosis and Reliable of Digital Systems. // Ch.4, Computer Seience Press 1976

162. Brgles F.,Pownal P., Hum R. Applicapions of testability analysis: from ATPG to critical dilay path nracing // Proc. Int. Test Conf. Philadelphia. 1984 pp. 705-712

163. Braynt R.E. A switch level model and simulator for MOS digital system // IEEE Trans. Comput. vol C-33, pp.160 - 177. feb. 1984

164. Chapell S.G., Chang H.Y., Elmendort C.H., Schmidt L.D. A compaarison of parallel and deductive simulation techniques // IEEE Trans. 1974 C-23. N 11., p. 1132 1139

165. Eichelrger E.B. Hazard detection in combinational and sequantial switchening ciruits // IBM J. Rew. Res. Dev. 1965. v.N2 p90 99.

166. Fujiwara H., Toida S. The complexity of fault detection by approach to design for testability // In proc. 12.TH.INT.SYMP. Fault tolerant compit, june 1982. pp.101 108.

167. Goel P. An implicit enumeration algorithm to generate test for combinational logic circuits // IEEE Trans. Comput.-1981, -c-30-March -215.

168. Goel P., Resales B.C. PODEM-X: An Automatic Test Generation SYSTEM for VLSI Logic Structures. 18th Design Automation Conference. 1981.pp7 260 268.

169. Goldstein L.H. Controllability/observability analisys of digital circuits // IEEE Trans, on circuits and syst., v.cas-26, n 9, pp 685 -693, sept. 1979r.

170. Herbst.E. Logic Design and Simulation, NORTH-HOLLAND, 1986, Ch.6.

171. Hichcock R.B., Smith G.L., Cheng D.D. Timing Analysis of Computer Hardwire // IBM J.Res.Devtlop.- 1982 Vol.26, N 1,P 100-105.

172. Hideo Fujiwara, Takeshi Simono On the acceleration of the test generation algorithm // IEEE Trans.Comput£-1983-c-32 N12 -pll35

173. Kernighan B.W., Lin S. "An efficient heuristic procedure for partitioning graphs". // Bell Syst. Tech. J., pp. 291-307, Feb. 1970.

174. Lattin W. VLSI design methodology: the problem of the 80's for microprocessor design. // Proc. 16th Design Automation Conf.(San Diego.CA) pp, 548-549. June 1979.

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

176. Lisanke R., Brgles F., Degeus A.J., Gregory D Testability-Driven Random Test-Pattern Generation// IEEE TRAN. ON COMPUTER DESIGN. VOL.CAD-6 NO 6 NOVEMBER 1987.pp.l087-1807.

177. Mc.Cluskey E., Clegg E.W. Fault equalence in combinational logic networks // IEEE Trans. 1971,w€-20, N 11, p 1286- 1293.

178. Monachino M. Design Verification System For Large-Scale LSI Designs // AGM IEEE 9th Des. Autom. Conf. Proc.(Las Vegas, Juni 14-16, 1982) -P. 83-90.

179. Gening P. Fault simulation strives for designer acceptence/comput. // Design. Jan. N 1,1987.

180. Panasuk C. Focus on grafic workstation.-Electron. Des.-1985. N20. - P157 - 161.

181. Patel S., Patel J. Effectiveness of heuristics measures for automatic test pattern generation // IEEE. Proc. 23rd Design Automation Conference, pp. 547 552

182. Sazin H.A.O. Simulator enviroment handler mixed designs // Computer Design. 1987, V.26 N2, P.67-72.

183. Sevendel Y.H., Menon P.R. Fault simulation methods extentions and comparison // Bell system technical JornaL, USA,1984, NOV, V.60, N 9, P 2234 2258.

184. Tang B., Munich S. Benchmarking steers logic simulation selection // Computer Design. 1986, V.25, N10, P.69-73.

185. Ulrich E. and Backer T. The Conçurent Simulation of nearly Indential Digital networks // IEEE Computer 1974, N10.

186. Ulrich E. Conçurent simulation at switch, gate and register levels. // Proc.Int. Conf.Filadeffia, PA.Nov.1985.

187. Ulrich E. Exclusitive simulation of activity ill digital networks. // COMM.ACM.VOL 12,- 1969 P .102-110.

188. Vladmerescu A., Pederson D.A computer programm for the simulation on largescale integrated circuit // Prot. IEEE Int. Symp. Circuits and Systems.-1981

189. Williams T.W., Parker K.S. Testind logic network and designing for testability // IEEE Trans, Computer, VOL 12, N 10, P 9 10, 1979.

190. Williams T.W.,Parker K.S. Testing logic network and design for testability // IEEE Trans, Comput. v. 12, N 10 p.9 -19. 1979 r.