Введение
Глава 1. Задачи верификации и генерации тестов сложных цифровых систем 11
1.1 Виды радиационного воздействия, влияющие на различные параметры СБИС 11
1.2 Возможности САПР по учету эффектов радиации 22
1.3 Проблемы верификации и генерации тестов сложных цифровых схем с учетом радиационного воздействия 30
Глава 2 Разработка научных основ построения средств верификации сложных цифровых систем и библиотеки элементов с учетом радиации 44
2.1 Анализ основных неисправностей сложных цифровых систем при радиационном воздействии 44
2.2 Методы создания неисправных вследствие радиационного воздействия библиотечных элементов на схемотехническом уровне 49
2.3 Методы создания неисправных вследствие радиационного воздействия библиотечных элементов на функционально-логическом уровне 69
2.4 Методы преобразования библиотеки элементов схемотехнического уровня в библиотеку элементов функционально-логического уровня с учетом радиационного воздействия 80
Глава 3 Алгоритмы моделирования неисправностей, формирования библиотек и генерации тестов сложных цифровых систем с учетом радиации 90
3.1 Алгоритм преобразования схемотехнического базиса в функционально-логический базис и формирование библиотеки 90
3.2 Алгоритмическая основа генерация тестов с учетом радиационного воздействия на схемотехническом уровне 101
3.3 Алгоритмическая основа составления тестов с учетом радиационного воздействия на функционально-логическом уровне 111
3.4 Алгоритмы моделирования неисправностей радиационного воздействия на схемотехническом и функционально-логическом уровнях проектирования 117
Глава 4 Программное обеспечение для генерации тестов и верификации сложных цифровых схем с учетом радиации 130
4.1 Структура и особенности реализации программных средств синтеза тестов и верификации сложных цифровых схем 130
4.2 Программное обеспечение создания библиотеки неисправных элементов 135
4.3 Методические принципы внедрения разработанных программных средств 139
