Введение
1. Исследование предметной области 14
1.1. Задача контроля качества устройств и систем на кристалле 14
1.2. Постановка задачи внутрисхемного тестирования 16
1.3. Введение в реинжиниринг систем
1.3.1. Понятие реинжиниринга систем 21
1.3.2. Процесс реинжиниринга 25
1.3.3. Постановка задачи реинжиниринга цифровых устройств 26
1.3.4. Задачи реинжиниринга устройств и систем 28
1.4. Инструментарии реинжиниринга систем 31
1.4.1. Особенности описания устройств в инструментариях 33
1.4.2. Представление устройств в инструментариях реинжиниринга 36
1.4.3. Методики преобразований посредством СПР 41
1.5. Модели устройств в задачах встраивания средств тестирования 43
1.5.1. Постановка требований к модели 43
1.5.2. Подходы к построению моделей устройств 47
1.5.3. Обоснование выбора новой модели 50
1.6. Постановка задач на исследование 52
2. Гибридная метамодель устройств 54
2.1. Область применения метамодели и её ограничения 54
2.2. Структура гибридной метамодели 55
2.3. Элементы модели 58
2.4. Механизмы модели 65
2.4.1. Представление модели в виде древовидного графа 65
2.4.2. Навигация по модели 66
2.4.3. Механизм ссылок 69
2.4.4. Метаданные 70
2.4.5. Структурное наследование 71
2.4.6. Точки расширения гибридной метамодели
2.5. Язык описания алгоритмов реинжиниринга 73
2.6. Совместимость модели с языками описания устройств
2.6.1. Совместимость модели с HDL в вырожденном случае 76
2.6.2. Подход к обеспечению совместимости модели с HDL 77
2.7. Выводы по главе 79
3. Методики работы с гибридной моделью 80
3.1. Специализация модели для частных задач реинжиниринга 80
3.1.1. Методика специализации гибридной модели 80
3.1.2. Ограничения специализации модели 82
3.2. Импорт и экспорт гибридной модели из внешних описаний 83
3.2.1. Импорт гибридной модели из одного описания 83
3.2.2. Импорт гибридной модели из множества описаний 85
3.2.3. Вывод описаний в синтезируемые форматы
3.3. Контроль модели при проведении реинжиниринга 89
3.4. Выводы по главе 91
4. Методы внутрисхемного тестирования устройств 92
4.1. Специализация гибридной метамодели для задач встраивания СТ 92
4.2. Встраивание средств тестирования
4.2.1. Тестовые агенты (ТА) 95
4.2.2. Построение системы тестирования 96
4.2.3. Методика встраивания средств тестирования 97
4.2.4. Метод встраивания СТ в условиях системных ограничений 4.3. Встраивание средств самодиагностики 100
4.4. Совместное тестирование модели и аппаратного прототипа
4.4.1. Методика формирования тестового окружения 103
4.4.2. Описание тестовых программ 104
4.5. Выводы по главе 105
5. Прототипирование и внедрение предложенных моделей и методик 107
5.1. Построение прототипа САР цифровых устройств 107
5.1.1. Требования к САР на основе гибридной метамодели 107
5.1.2. Архитектура САР устройств 110
5.1.3. Встраивание СПР в маршруты проектирования
5.2. Построение интегрированной среды разработки на базе PHRT 114
5.3. Контроль устойчивости СнК к однократным сбоям памяти 117
5.4. Применение средств реинжиниринга устройств в маршрутах проектирования с непрерывной интеграцией 121
5.5. Возможности применения модели и методов других областях реинжиниринга устройств 124
5.6. Анализ результатов апробации подходов 127
5.7. Выводы по главе 128
Заключение 130
Обозначения и сокращения 132
Список использованных источников 134
Приложения 142
Приложение a. Классификация средств Реинжиниринга цифровых устройств 143
Приложение b. Обзор средств автоматизированного Реинжиниринга устройства 151
Приложение c. Прототип средства автоматизации Реинжиниринга phrt 157
Приложение d. Набор операций над гибридной Моделью в прототипе сар
