Компьютерные науки

Моделирование, тестирование и диагностика цифровых устройств

Программа для изучения основ технической диагностики и проверки исправности микропроцессорной техники. Изучаются логическое моделирование неисправностей, методы генерации тестов и построение словарей дефектов.
Студентов 1391 Выпускников 189 Для всех
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Темы:
Аппаратное обеспечение
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебная программа раскрывает подходы к тестированию цифровой аппаратуры. В учебной программе рассматриваются алгоритмы синтеза проверяющих тестов для комбинационных схем и устройств с памятью, методы локализации неисправностей и представление диагностической информации. Изучение охватывает уровни от моделирования элементов до синтеза сложных диагностических процедур, включая дедуктивный и конкурентный методы моделирования дефектов, а также эволюционные алгоритмы генерации тестов. Учебная программа ориентирована на инженеров-электронщиков.
Цели
  • Сформировать понимание принципов технической диагностики цифровых устройств.
  • Познакомить с алгоритмами автоматической генерации тестовых последовательностей.
  • Раскрыть методы сокращения диагностической информации для поиска дефектов.
Чему я научусь?
  • Проводить логическое моделирование исправных и неисправных цифровых схем.
  • Синтезировать тесты для поиска константных и динамических неисправностей.
  • Использовать словари дефектов для локализации поломок в аппаратуре.

Авторы

Скобцов Вадим Юрьевич
Скобцов Вадим Юрьевич
Кандидат технических наук, доцент.
Скобцов Юрий Александрович
Скобцов Юрий Александрович
Доктор технических наук, профессор, заведующий кафедрой "Автоматизированные системы управления" Донецкого национального технического университета, ведущий научный сотрудник института прикладной математики и механики НАНУ.
Сперанский Дмитрий Васильевич
Сперанский Дмитрий Васильевич
Доктор технических наук, член-корреспондент Академии технологических наук Украины, профессор Российской открытой Академии транспорта Московского государственного университета путей сообщения.
Чему я научусь?
  • Проводить логическое моделирование исправных и неисправных цифровых схем.
  • Синтезировать тесты для поиска константных и динамических неисправностей.
  • Использовать словари дефектов для локализации поломок в аппаратуре.

Учебный план

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

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^