Введение.
Глава 1. Задачи верификации и генерации тестов сложных
цифровых систем.
1.1 Виды радиационного воздействия, влияющие на различные параметры СБИС
1.2 Возможности САШ3 по учету эффектов радиации.
1.3 Проблемы верификации и генерации тестов сложных цифровых схем с учетом радиационного воздействия
Глава 2 Разработка научных основ построения средств верификации сложных цифровых систем и библиотеки элементов с учетом радиации
2.1 Анализ основных неисправностей сложных цифровых систем при радиационном воздействии
2.2 Методы создания неисправных вследствие радиационного воздействия библиотечных элементов на схемотехническом уровне.
2.3 Методы создания неисправных вследствие радиационного воздействия библиотечных элементов на функциональнологическом уровне.
2.4 Методы преобразования библиотеки элементов схемотехнического уровня в библиотеку элементов функциональнологического уровня с учетом радиационного воздействия
Глава 3 Алгоритмы моделирования неисправностей, формирования библиотек и генерации тестов сложных цифровых систем с учетом радиации.
3.1 Алгоритм преобразования схемотехнического базиса в функциональнологический базис и формирование библиотеки
3.2 Алгоритмическая основа генерация тестов с учетом радиационного воздействия на схемотехническом уровне.
3.3 Алгоритмическая основа составления тестов с учетом радиационного воздействия на функциональнологическом уровне.
3.4 Алгоритмы моделирования неисправностей радиационного воздействия на схемотехническом и функциональнологическом уровнях
проектирования.
Глава 4 Программное обеспечение для генерации тестов и верификации сложных цифровых схем с учетом радиации
4.1 Структура и особенности реализации программных средств синтеза тестов и верификации сложных цифровых схем.
4.2 Программное обеспечение создания библиотеки неисправных элементов
4.3 Методические принципы внедрения разработанных программных средств
Введение
Актуальность
- Киев+380960830922