Дипломная работа: Разработка алгоритмического и программного обеспечения стандарта IEEE 1500 для тестирования гибкой автоматизированной системы в пакете кристаллов
SoC – System-on-Chip
TLM – Transaction Level Modeling
Содержание
Введение
1. Анализ технического задания
1.1 Состояние рынка технологий сервисного обслуживания SoC
1.2 Структура сервисов SoC-микросхем
1.2.1 Модуль синтеза тестов
1.2.2 Модуль анализа неисправностей
2. Алгоритмическое и программное обеспечение тестирования пакета кристаллов ГАС
2.1 Алгебро-логический метод диагностирования неисправностей
2.2 Алгоритмизация АЛМ диагностирования неисправностей
2.3 Алгебро-логическая модель диагностирования F-IP
2.4 Уточнение диагноза F-IP, с помощью моделирования
2.5 Условное диагностирование F-IP на основе ДНФ
2.6 АЛМ для тестирования и ремонта SoC-памяти ГАС
2.7 Формализация АЛМ ремонта памяти
Выводы
Перечень ссылок
Введение
Вычислительная и аппаратная сложность современных гибких автоматизированных систем (ГАС), в основу организации которых заложены цифровые системы на кристаллах (System-on-Chip – SoC), характеризующиеся миллионами эквивалентных вентилей и требующих создания и внедрения новых высокоуровневых технологий проектирования – Electronic System Level (ESL) Design, моделинга – Transaction Level Modeling (TLM) и встроенного сервисного обслуживания – Infrastructure Intellectual Property (I-IP). Это означает, что поиск быстродействующих методов и средств приводит всех исследователей к необходимости повышения уровня абстракции моделей создаваемых функциональностей – Functional Intellectual Property (F-IP), встраиваемых в кристалл [1].
Рынок программных продуктов EDA уже предлагает инструменты для автоматизации процессов моделинга и верификации устройств системного уровня, начиная с компиляторов HDL-языков (C++, SystemC, SystemVerilog, UML, SDL) [2] и заканчивая графическими оболочками (Simulink, LabView, Xilinx EDK). Данные средства позволяют создавать проекты из существующих библиотечных компонентов путем использования ESL-мэппинга и создания TLM-интерфейсов [3, 4].
Рыночная привлекательность имплементации цифровой системы в кристалл FPGA определяется применением сравнительно дешевых чипов вместо универсальных процессоров, малой потребляемой мощностью, габаритными размерами, качественным и надежным выполнением основных функций, благодаря встроенной I-IP-инфраструктуре, что является актуальным в век мобильных вычислительных устройств.
Цель исследования – разработать алгоритмическое и программное обеспечение для тестирования пакета кристаллов ГАС, в соответствии со стандартом IEEE 1500.
Объект исследования – пакет кристаллов ГАС.
1. Анализ технического задания
1.1 Состояние рынка технологий сервисного обслуживания SoC
Проблема диагностирования и ремонта памяти связана с тенденцией на постоянное уменьшение площади кристалла, отводимой для оригинальной и стандартизованной логики с одновременным увеличением встроенной памяти. Как показано на рис. 1.1, увеличение удельного веса памяти на кристалле приводит к ее полному доминированию для хранения данных и программ, которое к 2014 году достигнет 94% [5]. Это обеспечит не только высокое быстродействие выполнения функциональности, но и гибкость, свойственную программному продукту в части коррекции ошибок проектирования.