Авторы: Вадим Скобцов, Юрий Скобцов, Дмитрий Сперанский | Московский государственный университет путей сообщения
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
35:22:00
Студентов:
952
Выпускников:
56
Качество курса:
5.00 | 5.00
Целью предлагаемого читателю курса лекций является изложение некоторых разделов теории (и ее приложений), которую в широком смысле можно назвать тестированием цифровой аппаратуры. Более точно, основное внимание будет уделено вопросам генерации тестов, моделированию работы цифровых устройств (ЦУ) и рациональному представлению диагностической информации. Здесь будет дано описание многих понятий, моделей и методов, используемых в упомянутой теории, которые с полным правом можно назвать ставшими классическими. Наряду с ними будут изложены сравнительно недавно возникшие понятия и методы, которые уже подтвердили свою полезность и эффективность.
В курсе излагаются алгоритмы и методы логического моделирования исправных и неисправных цифровых устройств, востребованные при решении задач технической диагностики. Описываются методы построения проверяющих и диагностических тестов для комбинационных устройств и устройств с памятью, широко используемые на этапах их проектирования и эксплуатации. Представлены методы обработки результатов тестирования и диагностики устройств, а также сокращения диагностической информации с целью локализации неисправностей.
Специальности: Разработчик аппаратуры
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
25 минут
Уровни и области моделирования
В лекции вводятся области проектирования - физическая, структурная и поведенческая. Для каждой области возможны различные уровни моделирования – схемный, логический, языков регистровых передач, системный. Показана связь между областями и уровнями моделирования. Рассмотрены основные аспекты тестирования .
-
Лекция 2
57 минут
Модели цифровых устройств
В лекции вводятся функциональные и структурные модели для комбинационных и последовательностных устройств. Рассматриваются табличные модели в виде таблиц истинности и примитивных кубов, альтернативные графы бинарные диаграммы решений) для комбинационных схем, синхронные и асинхронные автоматы - для последовательностных схем. В качестве структурных моделей используются логические схемы. Вводятся модели уровня языков регистровых передач (ЯРП).
-
Тест 1
24 минуты
-
Лекция 3
21 минута
Логическое моделирование
В лекции рассмотрены состав, назначение и общие принципы систем логического моделирования. Приведена классификация методов логического моделирования. Введены модели сигналов, включая многозначные алфавиты.
-
Лекция 5
1 час 4 минуты
Машинные модели логических схем и управление процессом моделирования
В лекции вводится компилятивное и интерпретативное представление логической схемы. Рассматривается управление процессом моделирования, описываются основные алгоритмы событийного моделирования логических схем.
-
Лекция 6
31 минута
Анализ состязаний
В лекции рассматривается анализ состязаний в логических схемах. Определено явление состязания –функционального и логического. Изложен метод анализа состязаний Эйхельбергера на основе троичного логического моделирования.
-
Лекция 7
1 час 25 минут
Система многозначных алфавитов и функций
Лекция посвящена проблемам логического моделирования в многозначных алфавитах. Вводится универсальный 16-значный алфавит, на основе которого строится единая система многозначных алфавитов и функций, используемых в логическом моделировании и построении тестов.
-
Лекция 8
24 минуты
Физические дефекты и неисправности
В лекции рассматриваются физические дефекты, которые моделируются неисправностями (faults) на логическом и функциональном уровне. Описаны типовые физические дефекты, характерные для этапов изготовления интегральных схем и плат. Вводятся типовые модели неисправностей.
-
Лекция 9
36 минут
Константные неисправности
Определены константные неисправности, которые позволяют моделировать многие физические дефекты. Приведены примеры дефектов, которые можно представить константными неисправностями. Рассмотрены методы сокращения списков константных неисправностей для комбинационных схем.
-
Лекция 10
44 минуты
Неконстантные неисправности
Рассматриваются модели неисправностей не константного типа: замыкания, неисправности "транзистор постоянно открыт" и "транзистор постоянно закрыт", задержки распространения сигналов, временные не исправности, функциональные неисправности, неисправности уровня ЯРП, перекрестные неисправности (crosstalk faults).
-
Тест 4
24 минуты
-
Лекция 11
58 минут
Последовательное и параллельное моделирование неисправностей
Определяются основные задачи моделирования неисправных логических схем. Рассматривается последовательное логическое моделирование неисправностей. Приведен метод параллельного по неисправностям логического моделирования в двоичном и многозначном алфавите. Рассмотрен метод параллельного по входным наборам моделирования неисправностям.
-
Лекция 12
53 минуты
Дедуктивный метод моделирования неисправностей
Вводится понятие списков неисправностей, изложены правила распространения списков через логические элементы. Рассмотрен дедуктивный метод моделирования в различных алфавитах: двоичном, троичном и многозначном. Приведен дифференциальный метод моделирования неисправностей.
-
Лекция 13
38 минут
Конкурентный и дифференциальный метод моделирования неисправностей
Вводится понятие суперсписка неисправностей, на котором основан конкурентный метод. Изложен этот метод с примером моделирования неисправностей схемы. Рассмотрены проблемы изменения суперсписков неисправностей при смене входных наборов. Изложен метод моделирования неисправностей "Test-Detect" на основе многозначного алфавита. Приведен дифференциальный метод моделирования неписправностей.
-
Лекция 14
35 минут
Моделирование неисправностей задержек распространения сигналов
Рассматриваются проблемы моделирования неисправностей типа "задержка распространения сигналов". Вводится понятие устойчивого и неустойчивого теста для проверки неисправности "задержка". Описано моделирование неисправностей "задержка" в многозначном алфавите.
-
Лекция 15
41 минута
Приближенные методы моделирования неисправностей
В лекции изложены приближенные методы моделирования неисправностей, имеющие, в основном, линейную вычислительную сложность. Метод обратного просматривания основан на анализе активизированных путей в обратном порядке - от выходов к входам схемы. Метод статистического анализа позволяет для каждой неисправности оценить вероятность ее обнаружения и тем самым определить полноту теста. В заключение рассматриваются диагностические словари, необходимые для локализации неисправностей в процессе тестирования.
-
Лекция 16
48 минут
Синтез тестов для комбинационных схем
В лекции рассматривается проблема построения проверяющих тестов для цифровых схем. Описана общая архитектура системы построения проверяющих тестов. Изложены методы генерации тестов для комбинационных схем, которые используются на начальном этапе, и не ориентированы на конкретную неисправность. К ним относятся псевдослучайное построение и метод критических путей.
-
Лекция 17
32 минуты
Синтез тестов для заданной неисправности
В лекции рассматривается задача построения п проверяющего теста для конкретной заданной неисправности. Изложены аналитические методы построения тестов для комбинационных схем, которые основаны на символьных вычислениях. К ним относятся метод различающей функции и булевых производных. Описан структурный метод активизации одномерных путей.
-
Тест 7
24 минуты
-
Лекция 18
1 час 55 минут
Многомерная активизация путей в шестизначном алфавите
В лекции вводится шестизначный алфавит и его применение при построении проверяющего теста для заданной неисправности. Представлены основные этапы генерации теста, которые имеют место в структурных методах генерации тестов. Изложен D-алгоритм - первый алгоритм генерации тестов, который основан на одновременной активизации многих путей в схеме с помощью 6-значного алфавита.
-
Лекция 19
1 час 27 минут
Методы генерации тестов PODEM, FAN и SOCRATES
В лекции продолжается рассмотрение использования шестизначного алфавита при построении проверяющего теста для заданной неисправности. Представлен базовый метод генерации тестов PODEM и его дальнейшее развитие методы FAN и SOCRATES.
-
Лекция 20
1 час 15 минут
Построение тестов с использованием алфавитов большой значности
В лекции рассмотрено применение многозначных алфавитов при построении проверяющего теста для заданной неисправности в комбинационных схемах. Описаны методы генерации тестов, основанные на 10-значном и 16-значном алфавите.
-
Тест 8
24 минуты
-
Лекция 21
57 минут
Выполнимость булевых функций и бинарные диаграммы в построении тестов
В лекции рассмотрено применение методов решения задачи выполнимости булевых функций к построению тестов комбинационных схем. Изложено приведение задачи построения теста для данной неисправности к конъюктивной нормальной форме и метод решения задачи выполнимости. Описаны методы построения тестов на основе бинарных диаграмм. Рассмотрены методы сжатия построенных тестов.
-
Тест 9
24 минуты
-
Лекция 22
1 час 1 минута
Построение тестов для устройств с памятью на основе экспериментов с автоматами
В лекции рассматривается задача построения проверяющих тестов для цифровых устройств с памятью. Приводится классификация основных групп методов построения тестов для цифровых устройств с памятью: автоматных, структурных и комбинированных или функциональных. Излагается подход к решению задачи построения тестов для цифровых устройств с памятью, основанный на теории экспериментов с конечными автоматами.
-
Лекция 23
53 минуты
Структурное построение тестов для устройств с памятью
В лекции рассматривается задача построения проверяющих тестов для цифровых устройств с памятью на структурном уровне, то есть для последовательностных логических схем. Рассматриваются основы структурного подхода к решению задачи на основе применения преобразования последовательностной логической схемы к модели итеративной комбинационной схемы.
-
Лекция 24
1 час 8 минут
Влияние стратегий наблюдения выходных сигналов на построение тестов для схем с памятью
В лекции рассматривается задача построения проверяющих тестов для цифровых устройств с памятью с использованием различных стратегий наблюдений выходных сигналов. Используется модель итеративной комбинационной схемы. Метод различающей функции распространяется на схемы с памятью. Рассматривается дизъюнктивная и конъюнктивная форма различающей функции и устанавливается соответствие с обратным различающим днрнвом.
-
Лекция 25
1 час 17 минут
Эволюционные методы генерации тестов
В лекции изложен генетический алгоритм (ГА) и его применение для построения проверяющих тестов цифровых схем. Определены основные понятия простого ГА. Описано использование ГА в генерации тестов комбинационных схем. Рассмотрен ГА для генерации тестов последовательностных схем, проблемно-ориентированные генетические операторы кроссинговера и мутации. Представлены основные виды фитнесс-функций, используемых при построении тестов. Рассмотрены вопросы реализации ГА построения тестов.
-
Тест 11
24 минуты
-
Лекция 26
44 минуты
Методы компактного тестирования
В лекции описаны наиболее распространенные методы компактного тестирования: с использованием различных функций счета, синдромное тестирование, с применением сигнатурного анализа.
-
Лекция 27
50 минут
Представление диагностической информации
Аннотация: В лекции описана математическая модель представления диагностической информации в форме таблицы функций неисправностей и способ построения таких таблиц для цифровых устройств. Описана одна из разновидностей такой таблицы, называемая Т-таблицей функций неисправностей.
-
Лекция 28
52 минуты
Словари неисправностей и способы их организации
В лекции описан классический словарь неисправностей, применяемый при контроле ЦУ и локализации его неисправностей. Представлены его различные модификации, включая таблицу неисправностей, компактный словарь, словари с использованием сверток и организацией по выходам.
-
Лекция 29
55 минут
Сокращение диагностической информации при помощи масок
Аннотация: В лекции описан подход к сокращению диагностической информации, основанный на использовании масок. Сформулированы различные модификации задач поиска масок. Описан простой генетический алгоритм для поиска единой маски.
-
Лекция 30
39 минут
Оценка эффективности генетических алгоритмов поиска масок
В лекции приведены теоретические оценки эффективности генетических алгоритмов поиска масок и экспериментальные данные их применения к различным схемам из каталогов ISCAS85 и ISCAS89.
-
Лекция 31
52 минуты
Жадные алгоритмы поиска масок
В лекции описан жадный алгоритм поиска единой маски ДИ, основанный на построении дерева решений. Его работа проиллюстрирована на конкретном примере. Приведены оценки объема получаемой по описанному алгоритму маски и вычислительная сложность алгоритма.
-
Лекция 32
1 час 6 минут
Жадный алгоритм поиска индивидуальных масок
В лекции описан жадный алгоритм поиска индивидуальных (для каждого технического состояния ЦУ в отдельности) масок ДИ. Его работа проиллюстрирована на конкретном примере. Приведены оценки объема получаемой по описанному алгоритму маски и вычислительная сложность алгоритма.
-
Лекция 33
28 минут
Экспериментальные результаты апробации жадных алгоритмов
В лекции представлены статистические данные применения двух жадных алгоритмов для сокращения ДИ с помощью масок к различным схемам из каталога ISCAS' 89. Произведено сравнение эффективности упомянутых алгоритмов.
-
Лекция 34
1 час 1 минута
Сокращение диагностической информации с использованием хеш-функций
Аннотация: В лекции описан метод сокращения ДИ, базирующийся на использовании свертки, реализуемой с помощью пяти различных типов хеш-функций. Представлены экспериментальные данные, подтверждающие их высокую эффективность.
-
1 час 40 минут
-
Дмитрий Медведевских
Дмитрий Медведевских

Добрый день  можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти  в известных источниках

Дмитрий Кифель
Дмитрий Кифель
Казахстан, Темиртау
Ирина Лысенко
Ирина Лысенко
Россия, Ленинград, ЛПИ, 1985