Содержание
- Введение 1
- Обзор существующих методов автоматизированной проверки микросхем 2
- - Классификация методов тестирования 2.1
- - Анализ применяемых аппаратных платформ 2.2
- - Сравнение эффективности различных подходов 2.3
- Теоретические основы проектирования цифровых блоков 3
- - Принципы построения цифровых устройств 3.1
- - Методы проектирования на VHDL/Verilog 3.2
- - Основы автоматизированного проектирования (САПР) 3.3
- Разработка архитектуры и алгоритмов тестирования 4
- - Формирование архитектуры цифрового блока 4.1
- - Разработка алгоритмов тестирования микросхем 4.2
- - Выбор протоколов связи и интерфейсов 4.3
- Проектирование и моделирование аппаратной части 5
- - Проектирование на уровне регистровых передач (RTL) 5.1
- - Синтез и верификация логической схемы 5.2
- - Функциональное и временное моделирование 5.3
- Разработка программного обеспечения и тестирование 6
- - Архитектура управляющего программного обеспечения 6.1
- - Реализация интерфейса пользователя 6.2
- - Проведение практического тестирования 6.3
- Заключение 7
- Список литературы 8