автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Исследование и проектирование моделей и программных средств эмуляции вычислительных систем

ВВЕДЕНИЕ

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

1.1. Иерархия уровней моделирования

1.1.1. Кремниевый уровень

1.1.2. Схемный уровень

1.1.3. Уровень логических элементов

1.1.4. Регистровый уровень

1.1.5. Уровень интегральных схем

1Л .6. Архитектурный уровень

1.1.7. Системный уровень

1.2. Обзор языков моделирования и описания аппаратуры

1.2.1. Система JIM

1.2.2. Язык AHDL

1.2.3. Язык ABEL

1.2.4. Система Triad

1.2.5. Язык DDL

1.2.6. Система МОДИС

1.2.7. Язык VerilogHDL

1.2.8. Системы, основанные на языке VHDL

1.3. Классификация систем эмуляции

1.3.1. Эмуляторы микропроцессоров

1.3.2. Эмуляторы микропроцессорных комплектов

1.3.3. Эмуляторы вычислительных систем

1.4. Обзор систем эмуляции

1.4.1. Кросс-система разработки и отладки ПО КСИ

1.4.2. Комплексы кросс-средств для однокристальной микро-ЭВМ К1816ВЕ48 и для микропроцессоров серии К1810ВМ

1.4.3. Отладчики-эмуляторы PDS-51, PDS-196 и PDS-PIC

1.4.4. Внутрисхемный эмулятор АСЕ-52С

1.4.5. Имитационная среда моделирования ЕХАМ-РС

1.4.6. Средства разработки и отладки ПО промышленных контроллеров HI-WAVE

1.4.7. Набор инструментальных средств SingleStep Solution

1.4.8. Система VMWare

1.4. Выводы и постановка задач исследования

ГЛАВА 2. МОДЕЛЬ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

2.1. Компоненты модели вычислительных систем

2.2. Устройства

2.2.1. Интерфейс устройства

2.2.2. Ресурсы устройства

2.2.3. Поведение устройства

2.3. Коммуникации

2.3.1. Шины

2.3.2. Сигналы

2.4. Динамика функционирования модели

2.5. Коммутаторы

2.6. Итоговая модель вычислительных систем

2.7. Выводы

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

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

3.2. Определение требований, предъявляемых к языку моделирования

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

3.2.1. Структура и синтаксис языка

3.2.2. Объекты, используемые в языке

3.2.3. Представление данных

3.3. Спецификация языка

3.3.1. Алфавит и словарь языка

3.3.2. Описание устройств

3.3.3 Структурирование программ устройств

3.3.4. Описание коммутаторов

3.3.5. Описание архитектуры

3.4. Использование внешних встраиваемых модулей для моделирования работы периферийных устройств

3.5. Доказательство полноты средств языка

3.6. Полнота модели для описания вычислительных систем

3.7. Сравнение разработанного языка с другими языками моделирования

3.8. Выводы

ГЛАВА 4. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ МОДЕЛЕЙ ПРИ МОДЕЛИРОВАНИИ

И ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

4.1. Моделирование реконфигурируемых вычислительных систем

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

4.3. Переход от моделей архитектурного уровня к моделям нижних уровней

4.4. Выводы

ГЛАВА 5. РЕАЛИЗАЦИЯ ЭМУЛЯТОРА ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ НА РАЗЛИЧНЫХ АРХИТЕКТУРАХ

5.1. Оценивание эффективности эмуляции

5.2. Реализация эмулятора на однопроцессорной ЭВМ;

5.2.1. Организация системы эмуляции на основе интерпретатора

5.2.2. Организация системы эмуляции на основе компилятора

5.2.3. Организация вычислительного процесса для реализации параллельного взаимодействия компонентов;

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

5.2.5. Организация функционирования программ устройств с помощью многопоточности

5.2.6. Организация функционирования программ устройств с помощью сопрограмм

5.3. Реализация эмулятора на многопроцессорной ЭВМ

5.4. Универсальный программно-аппаратный эмулятор

5.4.1. Архитектура универсального программно-аппаратного эмулятора

5.4.2. Проецирование архитектуры моделируемой ВС

5.4.3. Оценка временных характеристик универсального эмулятора

5.5. Реализация эмулятора с помощью компьютерной сети

5.6. Выводы

ГЛАВА 6. ПРОГРАММНЫЙ КОМПЛЕКС ЭМУЛЯЦИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

6.1. Структура программного комплекса

6.1.1. Графический редактор архитектур

6.1.2. Компилятор языка моделирования

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

6.1.4. Метаассемблер

6.1.5. Система визуализации

6.1.6. Интегрированная среда эмуляции

6.2. Процесс эмуляции ВС

6.3. Алгоритм эмуляции ВС

6.4. Автоматическая генерация структуры программы устройств

6.5. Реализация программного комплекса

6.6. Выводы

ГЛАВА 7. ПРИМЕРЫ ПРИМЕНЕНИЯ МОДЕЛИ И ЯЗЫКА ДЛЯ ЭМУЛЯЦИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

7.1. Эмуляция систем на основе микропроцессора DP

7.2. Эмуляция однокристальной ЭВМ серии МК

7.3. Выводы

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

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

Основным способом разработки программного обеспечения в условиях отсутствия функционирующей аппаратуры является использование отладочных программных моделей. С помощью специальных программных средств -эмуляторов, кросс-трансляторов и кросс-отладчиков [6-12, 24, 26, 27, 29, 31, 35,36, 65, 69, 74, 75] - осуществляется имитация выполнения программ целевой вычислительной системы. Такие кросс-средства выпускаются всеми фирмами, производящими микропроцессоры, микроконтроллеры, сигнальные процессоры и транспьютеры. Особенностью этих штатных средств разработки является их жесткая ориентация на конкретный микропроцессор или класс микропроцессоров.

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

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

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

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

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

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

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

1. Разработка концепций построения структурно-поведенческих моделей ВС.

2. Разработка языка моделирования ВС.

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

4. Построение методов определения эффективности систем эмуляции, реализуемых на различных архитектурах.

5. Анализ и выбор эффективных способов реализации систем эмуляции.

6. Построение на основе разработанных теоретических положений программного комплекса эмуляции ВС.

Научные результаты их новизна. В ходе работы над диссертацией сформулированы и обоснованы следующие результаты:

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

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

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

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

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

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

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

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

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

4. Открытая архитектура программного комплекса и доказательство возможности автоматической трансляции моделей языка Б8БЬ в описания на языке УНВЬ предоставляют возможность использования программного комплекса как в составе мощных САПР, основанных на языке УТГОЬ, так и в < совокупности с существующими кросс-средствами разработки программного обеспечения.

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

Реализация результатов. Разработанные методы моделирования ВС и программный комплекс эмуляции используются в процессе проектирования аппаратных и программных средств ЦНИИ «МорФизПрибор».

Материалы диссертационной работы используются в учебном процессе кафедры автоматики и вычислительной техники СПбГТУ.

Основные положения, выносимые на защиту.

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

2. Язык моделирования вычислительных систем, позволяющий компактно описывать как архитектуру ВС, так и структуру, и поведение ее компонентов.

3. Метод синхронизации взаимодействия компонентов модели, основанный на структурировании поведенческих описаний компонентов.

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

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

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

Структура диссертационной работы.

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

7.3. Выводы

В седьмой главе приведены языковые описания двух микропроцессорных систем. Из приведенных примеров представлений микропроцессоров и микропроцессорных систем можно видеть, что программы моделирования компактны и адекватно описывают исходные устройства. Общее сокращение объемов программ более чем в 4 раза по сравнению с VHDL-программами вызвано абстрагированием при моделировании на архитектурном уровне от некоторых деталей реализации вычислительных устройств,упрощением механизмов синхронизации и^наличием в составе языка DSDL специализированных средств, реализующих часто используемые функции микропроцессорных устройств.

ЗАКЛЮЧЕНИЕ

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

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

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

2. Разработан язык моделирования вычислительных систем включающий в свой состав средства описания архитектур ВС и отдельных устройств. Доказана полнота средств языка для описания дискретных вычислительных устройств.

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

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

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

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

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

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

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Ицыксон В.М. Язык моделирования вычислительных систем. Всероссийский молодежный научный форум "Интеллектуальный потенциал России — в XXI век". Тезисы докладов. Санкт-Петербург, 1995г.

2. Ицыксон В.М. Программный комплекс моделирования вычислительных систем. Язык описания поведения модулей в составе моделируемой системы. Научно-техническая конференция студентов. Тезисы докладов / СПбГТУ ; Санкт-Петербург, 1995г.

3. Ицыксон В.М. Программный комплекс эмуляции работы вычислительных систем. Материалы научно-технической конференции "Фундаментальные исследования в технических университетах" / СПбГТУ; Санкт-Петербург, 1997г.;

4. Ицыксон В.М. Программный комплекс эмуляции работы вычислительных систем. Научно-техническая конференция студентов. Тезисы докладов / СПбГТУ; Санкт-Петербург, 1997г.

5. Ицыксон В.М. Эмуляция работы вычислительных систем с помощью специализированного языка описания устройств.//Труды СПбГТУ № 469, Санкт-Петербург, 1997г. с. 139-142.

6. Ицыксон В.М. Эмуляции работы вычислительных систем. Материалы научно-технической конференции "Фундаментальные исследования в технических университетах" / СПбГТУ; Санкт-Петербург, 1998г.

7. Системное программное обеспечение. Технологии, инструментальные средства и среды глобальных сетей: Учеб. пособие / Л.К. Птицына, Н.В. Соколова, М.В. Хлудова, В.М. Ицыксон. СПбГТУ, СПб, 1998. 110 с.

8. Ицыксон В.М. Применение эмулятора вычислительных систем для моделирования микропроцессорных систем и микроконтроллеров. Третья Санкт-Петербургская Ассамблея молодых ученых и специалистов. Тезисы докладов. СПб., 1998-с. 152.

9. Ицыксон В.М., Цыган В.Н. Использование внешних исполняемых модулей для расширения функциональных возможностей систем эмуляции вычислительных систем. Материалы межвузовской научной конференции. Издательство СПбГТУ, 1999.

10. Ицыксон В.М., Цыган В.Н. Программные метасредства эмуляции микропроцессорных систем. Материалы III Всероссийской научно-технической конференции "Фундаментальные исследования в технических университетах" / СПбГТУ; Санкт-Петербург, 1999г.

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

2. Алексеенко А.Г., Галицын A.A., Иванников А.Д. Проектирование радиоэлектронной аппаратуры на микропроцессорах: Программирование, типовые решения, методы отладки. М.: Радио и связь, 1984. - 272 е., ил.

3. Альянах И.Н. Моделирование вычислительных систем JL: Машиностроение, 1988.-223 с.

4. Армстронг Дж. Р. Моделирование цифровых систем на языке VHDL: Пер. с англ. -М.: Мир, 1992. 175 е.: ил.

5. Байцер Б. Микроанализ производительности вычислительных систем: Пер. с англ. / Под. ред. В.В. Мартынюка. М.: Радио и связь, 1983. - 360 е., ил.

6. Бродин В., Калинин А., Хохлов JL. Внутрисхемный симулятор для микроконтроллеров PIC16/17. // Chip News № 3, 1999. с. 18-22.

7. Бродин В., Калинин А., Мальцев В. Комплекс средств программирования и отладки для микроконтроллеров AVR. // Chip News № 5, 1999. с. 18-19.

8. Бродин В., Калинин А. Схемные эмуляторы на универсальной платформе. // Chip News№ 5, 1998.-с. 24-31

9. Бродин В., Калинин А. Эмуляторы 8-разрядных ОЭВМ к IBM PC. Библиотека информационных технологий: Сб. статей. Вып. 3. - М.: ИнфоАрт, 1991.-е. 222-229.

10. Буданов А.Н. Можно ли создавать программное обеспечение микропроцессоров раньше их появления? // Мир компьютерной автоматизации № 4, 1998. с. 46-48.

11. Буданов В. Средства разработки и отладки программного обеспечения промышленных контроллеров на базе 8/16- разрядных микропроцессоров фирмы Motorola // Chip News № 5, 1999. с. 32-35.

12. Вархол П. Современный подход к разработке ПО встраиваемых систем // Мир компьютерной автоматизации № 4, 1998. с. 41-45.

13. Василеску Ю. Прикладное программирование на языке Ада.: Пер. с англ. -М: Мир, 1990.-348 е., ил.

14. Вирт Н. Аппаратная компиляция // Открытые системы № 4-5 1998г., сс. 7-12

15. Власов JI.B., Колесников Д.Н., Сорокин И.А. Имитационное моделирование систем массового обслуживания с использованием GPSS. JL: ЛПИ, 1989. - 88 с.

16. Высокопроизводительные сети. Энциклопедия пользователя. М.А. Спортак и др. Пер. с англ. Киев: ДиаСофт, 1998.

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

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

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

20. ГОСТ Р 50754-95 от 13.03.1995

21. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: МИР, 1979.-544 с.

22. Гурвич Е.И., Енгалычев A.M., Татарников Ю.А. Язык и программное обеспечение временного моделирования дискретных систем/Труды семинара ВНИИ системных исследований: Теория сложных систем и методы их моделирования. -М.: Высшая школа, 1980—с.92-108.

23. Дао Л. Программирование микропроцессора 8088: Пер. с англ. М.: Мир, 1998.- 357 е.: ил.

24. Домнин С.Б., Е.А. Иванов, Муренко Л.Л. Средства комплексной отладки микропроцессорных устройств. -М.: Энергоатомиздат, 1988, 144 е.: ил.

25. Джехани Н. Язык Ада: Пер. с англ. /Под ред. A.A. Красилова и О.Н. Перминова.- м.: Мир, 1988.-549 с.

26. Долинский Н. Инструментальный комплекс для разработки встроенных систем // Инженерная микроэлектроника. №1, 1998 г. сс 53-57

27. Дробинцев Д.Ф., Котляров В.П., Самочадин A.B. Программное обеспечение систем на микропроцессорах и микро-ЭВМ. Учебное пособие / Под. ред. Н.Д. Бутомо. Л.: Изд. ЛПИ, 1983.™ 72 с.

28. Жданов A.A. Современный взгляд на ОС реального времени. // Мир компьютерной автоматизации № 1, 1999. с. 54-60.

29. Иванников А.Д. Моделирование микропроцессорных систем. М.: Энергоатомиздат, 1990. - 144 е.: ил.

30. Иванов С. Операционная система реального времени LynxOS // Мир компьютерной автоматизации № 4, 1998. с. 57-63.

31. Имитационная среда моделирования персональной вычислительной техники ЕХАМ-РС / Петрухин Б.С., Седунов В.М., Степченков В.М., Шашков Л.Е. // Автоматика и вычислительная техника. №4, 1994 г. сс 65-73

32. Ицыксон В.М. Эмуляция работы вычислительных систем с помощью специализированного языка описания устройств//Труды СПбГТУ № 469, Санкт-Петербург, 1997г. с. 139-142.

33. Как ПАСКАЛЬ и ОБЕРОН попадают на "САМСОН", или искусство создания трансляторов./С.К. Кожокарь, М.В. Евстюхин, А.Н. Терехов и др.; Под ред. А.Ф. Данильченко. Кишинев: Штиинца, 1992. - 304 с.

34. Киндлер Е. Языки моделирования: Пер. с чеш. М.: Энегроатомиздат, 1985. с. 288.

35. Кобахидзе М. Нужны ли профессионалу инструментальные средства? // Инженерная микроэлектроника. №1, 1998 г. сс 2-10

36. Краснов В. Символьная отладка программ для микроконтроллеров // Инженерная микроэлектроника. №1, 1998 г. сс 28-33

37. Кристиан К. Руководство по программированию на языке Модула-2: Пер. с англ. М.: Мир, 1989. - 463с., ил.

38. Кэпс Ч., Стаффорд P. VAX: Программирование на языке ассемблера и архитектура: Пер. с англ. М.: Радио и связь, 1991. - 416 е.: ил.

39. Лебедев В.Н. Введение в системы программирования. М.: Статистика, 1975. -312 с.:ил.

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

41. Лин В. PDP-11 Ъ VAX-11. Архитектура ЭВМ и программирование на языке ассемблера. Пер. с англ. М.: Радио и связь, 1989. 316 е.: ил.

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

43. Марков С. Цифровые сигнальные процессоры. Книга 1. М.: фирма МИКРОАРТ, 1996.- 144 с. Ил.

44. Методология проектирования на системном уровне. Ф. Дж. Реммиг // VHDL для моделирования, синтеза и формальной верификации аппаратуры. Пер. с англ. М.: Радио и связь, 1995. сс. 281-303

45. Миков А.И. Автоматизация синтеза микропроцессорных управляющих систем-Иркутск: Изд-во Иркут. ун-та, 1987 288 е.: ил.

46. Миков А.И. Моделирование вычислительных систем. Учебное пособие по спецкурсу. Пермь: Изд-во Перм. ун-та, 1982. - 96 с.

47. Микропроцессоры и микроЭВМ в системах автоматического управления: Справочник/С.Т. Хвощ, H.H. Варлинский, Е.А. Попов; Под общ. ред. С.Т. Хвоща, Л.: Машиностроение, 1987, - 640 е.: ил.

48. Микропроцессор и микропроцессорные комплекты интегральных микросхем: Справочник. В 2 т./В.Б. Абрайтис, H.H. Аверьянов, А.И. Белоус и др.; Под ред. В.А. Шахнова, М.: Радио и связь, 1988, Т.1. 368 е.: ил.

49. Микропроцессоры и микропроцессорные комплекты интегральных микросхем: Справочник. В 2 т./В.Б. Абрайтис, H.H. Аверьянов, А.И. Белоус и др.; Пор ред. В.А. Шахнова, М.: Радио и связь, 1988, Т.2. 368 е.: ил.

50. Микропроцессоры: Учебное пособие / К.П. Дурандин, В.А Жвариков, О.И. Иванов и др.; Под. ред. В.Д. Ефремова. Л.: ЛПИ, 1989. -160 с.

51. Мячев A.A., Степанов В.Н. Персональные ЭВМ и микроЭВМ. Основы организации: Справочник/Под. ред. A.A. Мячева. М.: Радио и связь, 1991. -320 е.: ил.

52. Новиков Ю.В., Карпенко Д.Г. Аппаратура локальных сетей: функции, выбор, разработка. М.: Издательство ЭКОМ, 1998. - 288 е.: ил.

53. Однокристальные микроЭВМ. / A.B. Боборыкин, Г.П. Липовецкий, Г.В. Литвинский и др. М. МИКАП, 1994, 400 е.: ил.

54. Олифер В.Г. Олифер H.A. Компьютерные сети. Принципы, технологии, протоколы. СПб.: Издательство «Питер», 1999. - 672 е.: ил.

55. Оре. О. Теория графов. М.: Наука, 1968. 352 с.

56. Орловский Г.В. Введение в архитектуру микропроцессора 80386. СПб.: Сеанс-Пресс LTD, 1992.-240 с.

57. Паппас К., Марри У. Микропроцессор 80386: Пер. с англ.- М.: Радио и связью 1993.-320 е.: ил.

58. Перминов О.Н. Введение в язык программирования Ада. М.: Радио и связь, 1991.-288 е., ил.

59. Программные средства моделирования непрерывно-дискретных систем./В.М. Глушков, В.В. Гусев, Т.П. Марьянович, М.А. Сахнюк; Под. ред. В.М. Глушкова, -Киев: Наукова думка, 1975 152 с.

60. Системное программное обеспечение. Технологии, инструментальные средства и среды глобальных сетей: Учеб. пособие / Л.К. Птицына, Н.В. Соколова, М.В. Хлудова, В.М. Ицыксон. СПб.: Изд-во СПбГТУ, 1998. 110 с.

61. Птицына Л.К., Цыган В.Н. Программное обеспечение ЭВМ: Учеб. пособие. Л.: ЛГТУ, 1991.92 с.

62. Рихтер Дж. Windows для профессионалов / Пер. с англ. М.: Microsoft Press, 1995.-720 с.

63. СингерМ. Мини-ЭВМ PDP-11: Программирование на языке ассемблера и организация машины: Пер. с англ. М.: Мир, 1984. — 272 е., ил.

64. Средства автоматизации программирования микропроцессорных устройств / A.M. Белов, Е.А. Иванов, JI.JI. Муренко; Под. ред. В.Г. Домарачева. М.: Энергоатомиздат, 1988. - 120с.: ил.

65. Темпоральная логика действий / JI. Лампорт // Системная информатика. Вып. 3. Программные и вычислительные системы: методы и языки анализа. -Новосибирск: ВО «Наука». Сибирская издательская фирма. 1993.

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

67. Технология системного моделирования / Е.Ф. Аврамчук, A.A. Вавилов, C.B. Емельянов, и др. ; под общей редакцией C.B. Емельянова и др. М.: Машиностроение; Берлин: Техник, 1998 - 520 е.: ил.

68. Тиммерман М., Бенеден Б.В., Урс JI. Расширение реального времени для Windows NT: оценка. // Мир компьютерной автоматизации № 1, 1999. с. 51-68

69. Транспьютеры. Архитектура и программное обеспечение: Пер. с англ./Под. ред. Г. Харпа. М:. Радио и связь, 1993 г. - 304 с.

70. Угрюмов Е.П., Грушвицкий Р.И., Альшевский А.Н. БИС / СБИС с репрограммируемой структурой: Учеб. пособие / ТЭТУ. СПб., 1996. 96с.

71. Хантер Р. Проектирование и конструирование компиляторов. М.: Мир, 1984. -212 с.

72. Холленд Р. Микропроцессоры и операционные системы: Краткое справочное пособие: Пер. с англ. М.: Энергоатомиздат, 1991. - 192 е.: ил.

73. Шагурин И.И. Архитектура и функционирование микроконтроллеров семейства 68НС705 // Chip News № 3, 1999. с. 2-9

74. Шагурин И.И. Микропроцессоры и микроконтроллеры фирмы Motorola M.: Радио и связь, 1998, - 560 с.

75. Шадский А. Архитектура Alpha АХР // Открытые системы №2, 1993, с. 44^18

76. Шило B.JI. Популярные цифровые микросхемы: Справочник. М.: Радио и связь, 1987.- 352 е.: ил.

77. Шрайбер Т. Дж. Моделирование на GPSS. М.: Машиностроение. 1980 - 591 с.

78. Яковлев Е.И. Машинная имитация. М.: Наука, 1975. 158 е., ил.

79. P. Ashenden. The VHDL Cookbook. 1990

80. S. Casselman, M. Thornburg, J. Schewel. Hardware Object programming on EVC1: Reconfigurable Computer. 1996

81. Developments in concurrency and communication / Ed. by C.A.R. Hoare. Adisson-Wesley, 1990.-335 p.

82. Fast Ethernet. Л. Куинн, P. Рассел. BHV - Киев, 1998.

83. FPGA Express. Verilog HDL Reference Manual. Synopsys Inc. 1997.- 157 p.

84. FPGA Express. VHDL Reference Manual. Synopsys Inc. 1997.- 249 p.

85. IEEE: IEEE Standard VHDL language Reference Manual, IEEE, Inc., NY, 198887. IEEE Std 1076-198788. IEEE Std 1076-1993

86. MAX+PLUS-II. Programmable Logic Development System. AHDL. 1995

87. MCS 51 microcontroller family user's manual. Intel Corporation. 1994

88. Navabi Z. Beginning VHDL: An Introduction to Language Concepts Boston, Massachusetts, 1994

89. RASSP VHDL Performance Modeling Interoperability Guideline, 1996

90. Siewiorek D., Bell C., Newell A., Computer Structures: Principles and Examples, McGraw-Hill, 1971.

91. VHDL'92. Новые свойства языка описания аппаратуры VHDL: Пер. с англ. / Ж.-М. Берже, А. Фокнуа, С. Мажино, Ж. Руайаг, М.: Радио и связь, 1995. - 256 е.: ил.

92. Wirth N. «Digital Circuit Design», Springer-Verlag, New-York, 1995

93. Xilinx-ABEL Design Software Reference Manual, Data I/O Corp., 199397. http://www.ee.umr.edu/-mrmayer/8051/. VHDL Model of the 8051 Microcontroller98. http://www.cs.ucr.edu/~dalton/i8051/. Synthesizeable VHDL Model of 8051