Математическое и программное обеспечение иерархического моделирования и проектирования сложных вычислительных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Медведкова, Ирина Евгеньевна

• Медведкова, Ирина Евгеньевна
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Медведкова, Ирина Евгеньевна

ВВЕДЕНИЕ.

1. ИССЛЕДОВАНИЕ ПРОБЛЕМ ИЕРАРХИЧЕСКОГО МОДЕЛИРОВАНИЯ ПРИ ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ.

1.1 Иерархическое моделирование сложных систем.

1.2 Исследование лингвистических средств иерархического поведенческого моделирования.

1.2.1 Требования к лингвистическим средствам.

1.2.2 Классификация языков проектирования и представление их с помощью формальных грамматик.

1.2.3 Оценочные критерии проблемно - ориентированных языков.

1.2.4 Краткий обзор и сравнительный анализ проблемно - ориентированных языков.

1.3 Анализ методов преобразования исходной информации

1.4 Классификация и анализ алгоритмов дискретного моделирования.

1.5 Исследование систем иерархического моделирования.

1.6 ВЫВОДЫ.

2. РАЗРАБОТКА ЛИНГВИСТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИЕРАРХИЧЕСКОГО МОДЕЛИРОВАНИЯ.

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

2.1.1 Разработка требований к лингвистическому обеспечению ИАМ.

2.1.2 Обоснование выбора проблемно-ориентированных понятий языка описания функционирования.

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

2.3 Преобразование исходного описания проекта.

2.4 ВЫВОДЫ.

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

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

3.2 Обоснование схемы компиляции моделирующего модуля.

3.3 Особенности построения и организации моделирующего модуля.

3.4 Разработка структуры имитатора и процесс, его компиляции.

3.4.1 Алгоритм формирования дерева глобальных обявлений имитатора.

3.4.2 Анализ алгоритма ПДИ.

3.5 Разработка алгоритма моделирования

3.6 Разработка структуры данных моделятора.

3.7 Разработка алгоритма формирования очереди будущих событий.

3.8 Организация временного круга.

3.9 Моделирование процессов.

3.9.1 Методика активизации и планирования процессов.

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

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

4.1 Общая структура пакета

4.2 Организация сервисного обслуживания.

4.3 Программное обеспечение работы с базами данных.

4.4 Программное обеспечение компиляции имитатора.

4.5 Реализация инициализации проекта.

4.6 Результаты опытной эксплуатации и внедрение пакета.

4.7 Методика использования пакета.

4.8 ВЫВОДЫ.-.

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

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

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

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

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

• не могут быть адаптированы к терминологии, удобной и оптимальной для конкретных разработок.

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

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

• моделирование вычислительных систем, содержащих комбинацию уровней абстракции во время моделирования;

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

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

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

Цель и задачи исследования. разработка методов и алгоритмов многоуровневого моделирования сложных дискретных систем и создание подсистемы иерархического моделирования, обладающей новыми качествами, которые расширят сферу применения, позволят моделировать более сложные системы (например, ЭВМ, промышленные аппараты, технологии и т.д.) с меньшими временными затратами.

Для достижения поставленной цели необходимо решить следующие основные задачи:

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

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

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

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

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

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

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

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

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

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

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

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

1) каждому событию соответствуют два типа активностей: процессов и линий;

2) активности процесса реализуются с учетом трех факторов: состояния процесса, предиката, определенного на множестве выводов и деклараций модели, и квалификатора, определенного на множестве {список линий, задержка, синхронизатор};

3) возможна инициация активности процесса параллельными процессами модели;

4) список последователей линии определен на объединенном множестве процессов и линий.

Практическая ценность'. На основе полученных результатов разработан пакет программ иерархического алгоритмического моделирования (ПРИАМ). Пакет позволяет осуществлять нисходящее проектирование системы, содержащей произвольную комбинацию уровней абстракции, и предоставляет при этом широкие возможности по отладке. Анализируемый проект может содержать до 5000 линий, до 3000 элементов произвольной сложности с максимальным числом выводов каждого элемента 200; а описание функционирования на любом уровне абстракции составляется непосредственно разработчиком на языке описания аппаратуры АЛ ОС с использованием привычной терминологии. Количественные и качественные характеристики пакета не уступают параметрам аналогичных западных пакетов и полностью удовлетворяют современным задачам проектирования. Пакет ПРИАМ может быть поставлен на любой ЭВМ с операционной системой, поддерживающей виртуальную адресацию страниц. Конкретно пакет реализован на ЭВМ семейства VAX (фирма DEC) с операционной системой VMS и на ЭВМ семейства PC (фирма IBM) с операционной системой UNIX и совместимых с ними. Объем памяти для хранения пакета - 1,5 Мгб: объем памяти для работы определяется проектом, но не менее 0,5 Мгб.

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

Апробация работы. Результаты работы обсуждались на следующих конференциях и семинарах: Всесоюзной школе-семинаре молодых ученых "Методы искусственного интеллекта в САПР" (Гурзуф, 1990 г.); Всесоюзном совещании-семинаре молодых ученых и специалистов "Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини-и микроЭВМ" (Воронеж. 1989 г.); Международной школе молодых ученых и специалистов "Новые информационные технологии в проектировании" (Гурзуф, 1991 г.); совещании -семинаре " Интерактивное проектирование технических устройств и автоматизированных систем на персональных ЭВМ" (Воронеж, 1991 г.); научно-технической конференции " Автоматизированное проектирование и схемотехника МДП СБИС" (Новосибирск, 1991 г.); Между народной научно-технической конференции "Методы и средства оценки и повышения надежности приборов, устройств и систем" (Пенза, 1995 г.); М ежду народной научно-технической конференции "Актуальные проблемы анализа и обеспечения наглядности и качества приборов, устройств и систем" (Пенза, 1996 г.); II Республиканской электронной научной конференции "Современные проблемы информатизации" (Воронеж, 1997 г.); семинарах кафедры математического моделирования технологических систем ВГТА 1996, 1997, 1998 гг.; семинаре кафедры автоматизированных и вычислительных систем ВГТУ 1998 г.

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

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, пяти приложений и списка литературы, включающего 81 наименование. Содержание работы изложено на 145 страницах машинописного текста, иллюстрировано 30 рисунками и 4 таблицами.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Медведкова, Ирина Евгеньевна

4,8 ВЫВОДЫ

1. Разработан пакет иерархического алгоритмического моделирования ПРИАМ представляющий собой инструмент для отладки проектов дискретных систем, который включает в себя 10 программных комплексов, работающих под управлением монитора. Пакет ПРИАМ состоит из 424 подпрограмм, написанных на языках Паскаль, Си+ и Фортран.

Пакет позволяет анализировать проекты, описание структуры которых может содержать до 3000 элементов произвольной сложности с максимальным числом выводов элемента 200 и до 5000 линий. Пакет может быть поставлен на любой ЭВМ с операционной системой, поддерживающей виртуальную адресацию страниц, конкретно, пакет реализован на ЭВМ семейства VAX (фирма DEC) с операционной системой VMS, и на ЭВМ семейства PC (фирма IBM) с операционной системой UNIX и совместимых с ними. Объем памяти для хранения пакета - 1,5 Мгб; потребности памяти работающего пакета определяются проектом, минимальный вариант требует 0.5 Мгб.

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

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

Замена ключевых слов может быть постоянной и временной, но в любом случае предусмотрен переход на базовый вариант.

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

5. Разработанный пакет внедрен в ОКБ при заводе "Процессор" (г. Воронеж) и в НИИРП (г. Москва), где используется в настоящее время. С его применением разрабатывались цифровые БИС на основе нескоммутированных цифровых матриц, блоки аппаратуры искусственного спутника Земли, контролеры, модемы.

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

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

Рассмотрены особенности применения пакета ПРИАМ, и даны рекомендации по его применению.

ЗАКЛЮЧЕНИЕ

Главным результатом работы является создание и внедрение пакета программ иерархического алгоритмического моделирования ПРИАМ представляющий собой инструмент для исследования дискретных систем.

Для решения этой проблемы:

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

2. Сформулированы требования к лингвистическому обеспечению пакета и разработаны лингвистические средства, включающие в себя АЛОС-русскоязычную модификацию языка описания аппаратуры, позволяющую описывать функционирование любых алгоритмов на произвольном уровне абстракции, используя терминологию разработчика, язык описания структуры проекта ЯЗКОН, обладающий расширенными возможностями инденсации компонентов и линий проекта и оригинальный командный язык, позволяющий проводить отладку функционирования проекта системы. Лингвистические средства последовательно обеспечивают не только структурную, но и поведенческую детализацию представления проекта.

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

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

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

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

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

• использовать систему учета временных характеристик элементов проекта, задаваемых квалификаторами, определенными на множестве {задержка, синхро, список линий}.

• получать статистику по любым элементам моделируемого проекта;

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

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

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

Экономический эффект составляет 10-15% от первоначальной стоимости разработки проекта, что подтверждено соответствующим актом о внедрении.

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

1. Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний. М.: Наука. 1987.-128 с.

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

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

4. Андерсон Р. Доказательство правильности программ / Пер. с англ. Б.Н. Зобниной под ред. Д.Б. Подшивалова. М.: Мир, 1982. 168 с.

5. Вайнгартен Ф., Трансляция языков программирования /Пер. с англ. К.Н.Рининой, М.: Мир, 1983. 190 с.

6. Вейнеров О.М., Самохвалов Э.Н. Проектирование баз данных М.: Высш.шк., 1990. - 144 с.

7. Вирт Н. Алгоритмы + структуры данных = программы / Пер. с англ. М.: Мир, 1985.- 396 с.

8. Вирт Н. Алгоритмы и структуры данных /Пер. с англ. Д.Б. Подшивалова, М.:Мир, 1985г. - 406 с.

9. Гинсбург С., Математическая теория контекстно свободных языков / Пер. с англ., М.: Мир, 1970. - 146 с.

10. ГлушковВ.М. и др. Алгебра. Языки. Программирование / Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. 3-е изд., перераб., доп.- Киев: Наук, думка, 1978. - 320 с.

11. Грин Д., Кнут Д. Математические методы анализа алгоритмов / Пер. с англ. К).В. Матияеевича. М.: Мир, 1982. - 120 с.

12. Груска Й. Характеристика контекстно свободных языков / Кибернетич. сб., Новая серия. - М.: Мир 1973. - Вып 10, - С. 114-126

13. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. / Пер с англ. В.В. Мартынюка. М.: Мир, 1981. - 368 с.

14. Гурвич Е.И., Енгалычев A.M., Татарников Ю.А. Система моделирования цифровых систем МОДИС ВЕС // УП Всесоюзное совещание по теории и методам математического моделирования, Куйбышев, 1978 г. - С, 34-38.

15. Касьянов В.Н., Поттосин И.В . Методы построения трансляторов / Новосибирск , "НАУКА" 1986.

16. Киносита К., Асада К.,Карацу О. Логическое проектирование СБИС / Пер. с японск. Д.А. Ковтунова; М.: МИР, 1988 г. 309 с.

17. Кнут Д. Искусство программирования на ЭВМ. Т. 1, Основные алгоритмы. / Пер с англ. К.И. Бабенко и Ю.М Баяковского М.: Мир, -1976.-735 с.

18. Кнут Д. О переводе (трансляции) языков слева направо//Языки и автоматы: сб. ст. М.: Мир, 1975. - С. 607-639.

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

20. Лавров С.С. Основные понятия и конструкции языков программирования / М.: Финансы и статистика , 1982 г.

21. Легонин H.H., Язык YHDL и технология описания СБИС на его основе// ЭЛЕКТРОНИКА, 1989. -№6. - С. 101-107.

22. Лопатин B.C., Медведкова И.Е., Межов В.Е. Основные принципы иерархического моделирования пакета "ПРИАМ'У/Автометрия. 1990. - N 5. - С, 86-90.

23. Лопатин B.C., Медведкова И.Е., Межов В.Е. Реализация иерархического моделирования в пакете "ПРИАМ" // Автометрия. -1990- N 5. С. 117-119.

24. Львович Я.Е. и др. Языки, методы и алгоритмы многоуровневого поведенческого моделирования: Учеб. пособие/Я. Е. Львович, И.Е. Медведкова, В.Е. Межов; Воронеж, политехнич. ин-т, Воронеж, 1992.- 110 с.

25. Максимей И.В. Имитационное моделирование на ЭВМ, М.: Радио и связь, 1988. 232с.

26. Манна 3. Теория неподвижной точки программы. II Кибернетический сб. М.: Мир, 1978. - С. 38-100.

27. Медведкова И.Е. Структура файлов базы данных пакета "ПРИАМ"// Методы и средства оценки и повышения надежности приборов, устройств и систем: Тез. докл. Междунар. науч.- техн. конф./Пензенск. гос. технич. ин-т -Пенза, 1995. С.45.

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

29. Медведкова И.Е., Межов В.Е. Многоуровневое моделирование СБИС// Автоматизированное проектирование и схемотехника МДП СБИС: Тез. докл. науч.- гехн. конф./ Новосибирск, гос.ун-т Новосибирск , 1991.- С.8.

30. Медведкова И.Е., Межов В.Е. Многоуровневое моделирование блоков ЭВМ// Актуальные проблемы анализа и обеспечения наглядности и качества приборов, устройств и систем: Тез. докл. Между нар. науч.-техн. конф./Пензенск. гос. технич. ин-т Пенза, 1996. - С.8.

31. Медведкова И.Е., Межов В.Е. Махинова Л.А. Исследование методов и алгоритмов иерархического проектирования схем узлов малых ЭВМ// Науч.-техн. отчет по НИР рег.№ У97688 / Особое констр. бюро при з-де "Процессор" Воронеж, 1989. - 118 с.

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

33. Методы моделирования при проектировании // серия Вычислительная техника/РАДИОЭЛЕКТРОНИКА, N 1; М.; 1988г. С. 1-10

34. Милн Боб, Интеграция различных программ моделирования в составе комплекса САЙТ // Электроника. 1995. - N10. - С. 69 -71

35. Милн Боб. Высокопроизводительный аппаратный комплекс поведенческого моделирования // Электроника. 1996. -N10. - С. 81-84

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

37. Ope О. Теория графов / Пер. с англ. И.H.Врублевской, М.: Наука, 1980.- 352 с.

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

39. Прицкер А., "Введение в имитационное моделирование и язык С Л AM II // Пер. с англ., М.: Мир, 1987. 646 с.

40. Рейуорд-Смит В.Дж., Теория формальных языков / Пер. с англ. Б.А.Кузьмина.- М.:Радио и связь, 1988. 128 с.

41. Теория и методы автоматизации проектирования вычислительных систем / Под ред. М. Брейера, Пер с англ. Б.Г.Меркулова. М.:Мир, 1977. -284 с.

42. Тиори Т., Фрай Дж. Проектирование структур баз данных. // Пер. с англ. М.: Мир, 1985. Кн 1. - 287 с.

43. Фелдман Дж., Грис Д. Системы построения трансляторов // Алгоритмические языки: сб. ст. М.: Изд ВЦ АН СССР, 1971. - Вып.5.

44. Фути К., Судзуки. Н., Языки программирования и схемотехника СБИС // Пер с япон. А.С.Чупахина, М.: Мир, 1988 г. 224 с.

45. Хаммер К., Рэбель Г. Генерация кода для частично векторизуемых циклов в векторизующем компиляторе PASCAL XT // Векторизация программ: теория, методы, реализация: сб. ст. / Пер. с англ. С.В. Спрогиса. - М.: Мир, 1991.-С. 66-76.

46. Хатнер Р., Проектирование и конструирование компиляторов / Пер. с англ. М.: Финансы и статистика 1984. - 232 с.

47. Хоар. Взаимодействующие последовательные процессы. // Пер. с англ. А.П. Ершова. М.: Мир, 1989. 264 с.

48. Хомекий Н., Формальные свойства грамматик // Кибернет. сб. М.: Наука, 1996. - Вып 2, - С. 121-230

49. Чернобород J1.В. Верификация класса циклических программ без использования циклов // Программирование. 1984. -№ 2, - С. 3-14

50. Языки программирования (Алгоритмы и алгоритмические языки). // Сб. ст. М.: НАУКА 1985.

51. Barbacci M.R., instruction Set Processor Specification (ISPS) // The Notation and its Application, Dept. of CS. Carnegie Mellon University, 1989

52. Belsness O., The Use of SIMULA for Real-Time System Implementation // Norwegian Computing Center, Oslo, 1998

53. Bryant R.E., MOSSIM: A Swich-Level Simulator for MOS-LSI // in Proceedings of 18th Design Automation Conference, 1991

54. Blackburh R.L., Thomas D.T., Linking the behavional and structural domains of representation for digital system design // IEEE Trans. Comput- Aid. Des. Integr Circuits and Syst., 1987, 6, № 1 p. 103-110

55. Cheatham Т.Е., Sattley K., Syntax Directed Compiling // Proceedings Shring Joint Computer Conference, 1984, p. 31-57.

56. DACAPO-1I System User Manual // DOSIS GmbH.Dortmund, 1986.

57. Floyd R.W., Bounded Context Syntactic Analysis // Communications of the Association for Computing Machinery, 7 (Feb. 1964, p. 62-67.

58. Floyd R.W., Syntactic Analysis and Operator Precedence // Journal of the Association for Computing Machinery, 10 (Juli 1963), p. 316-333.

59. Gonauser M. Egger F. Frantz D. SMILE A Multilevel Simulation System // in Proceedings of ICCD'84,1984. P. 24-43

60. Infalnte B., Bates M., Lock E,, MADE.A Language for descri bing Mixed Behavior and Structure // in Proceedings of the IFIP Sixih International Symposium on Computer Hardware Description languages and their Applications, May 1983.

61. Kernghan B.W.,.Ritchie D.M, The C Programming Languoge // Prentice Halt, 1978.

62. Eine (realisierte) Metasprache zur Definition von Sentax und Semantik von Fachsprachtn // Elektron, Inform, Kubernetik 1978, II, 360-370

63. Marko wits M.C., Distributed processing speeds YHDL compulator // END., 1991, 36, № 1, p. 78-121.

64. RAMMIG F.J., Multilevel Simulation Technigues // the First InternationalConference on Computer Technology Systems and Applications, May: 1987, p. 188-192

65. Rammig F.J., Preliminary CAP/DSDL Language Reference Manual // Forschungsbericht der Abt. Informatik, Univ. Dortmund. Nr. 129.1980

66. Sandere L„ Where VHDL fits within tye CAD environment // 23 th ACM/ IEEE Des. Autom. Conf. Maiami Beach. Fla., 1987. p.482-490.

67. Scheffer L.K., Dowelt R.L., Apte B.M, Design and Simulation of VLSI Circuits II in Hewlett-Packard Journal, vol 32, no 36, June 1995.

68. Schonemann Heinz, Schwarz Joachim, Intelligente Test-Software generiert Test-pattern fur VLSI-Schaltungen // ELEKTRONIK 1989, H.23, (ELEKTRONIK SREZIAL S. 77.79)

69. Shahbad E, An overview of VH DL Language of technology//23 rd ACM/ IEEE Des.Autjm. Conf. Las Vegas, June 29-july 2, 1986, Proc.,New York, 1986, p320 326

70. E.Slutz G., Okila J., Wiseman D., Block Description Language (BDL). A Structural Description Language // in Proceedings of the ACM IEEE Twenty-First Design Automation Conference, June 1984.

71. VHDL: Language Reference Manual, Version 7.2 II IEEE, June 1986

72. Vladimirescu A., Liu S., The Simulation of MOS Integrated Circuits Using SPICE 2 //, Memo VCB/ERLM 80/7, Univ. of California. Berkeley, 1980