Таблицы отражают список неиправностей, не проверяемых первыми 6 тактами заданного теста.
Доработка теста до заданной полноты (машинные распечатки).
Итерация 1
Для проверки неисправности на элементе ЛП8К (10) на конт. 2 (вход D) на проверку константной 1 необходимо, чтоб на входе Д был 0, для этого необходимо на RA подать высокий уровень (1) и переключением ключа К (подача 0 ) разрешить на вывод элемента ЛП8К (10). Необходимо подождать 2 такта для срабатывания данной операции.
Итерация 2
Для проверки элемента исключающие - или (элемент 6 ) на контакте 2 (вх D) на ошибку константной 1 необходимо на вх. К подать высокий уровень (1) и подождать пару тактов для срабатывания.
Итерация 3
Для проверки элемента D-триггера (2 элем) контакт 5 (вых 18 ) на ошибку константного 0 необходимо, чтоб на входе данного D-триггера поступила 1. Для этого необходимо на вход S данного триггера (вх 2.1) подать 0 и подождать пару тактов.
Окончательный вариант теста (машинная распечатка).
Анализ списка оставшихся не проверенных неисправностей.
Из списка непроверенных неисправностей видно, что при тестировании не проверяются неисправности на входе и выходе элемента НЕ (7-1; 7-2), а также Е вход буферного элемента. Эти неисправности являются непроверяемыми, т.к. элемент НЕ находится в самом начале схемы и не может быть проверен никаким набором сигналов, а Е входы буферных элементов не могут быть проверены даже у отдельного элемента.
Вывод о проделанной работе.
В процессе выполнения курсовой работы были закреплены полученные знания по логическому моделированию и разработке тестов для обнаружения неисправностей в цифровых устройствах, а также приобретены практические навыки при работе с современной автоматизированной системой логического моделирования «Мозаика-М».
В процессе выполнения рабочего задания было проведено логическое моделирование 2-х разрядного регистра с отключением, осуществлен анализ правильности его функционирования, на базе первоначально заданного теста неприемлемого качества (полнота теста около ~58%) был разработан обнаруживающий тест для проверки неисправностей с полнотой ~94 %.
Список используемой литературы.
1. Н. Б. Гоманилова, В. Н. Погодин, Методические указания к выполнению курсовой работы по дисциплине «Моделирование», М., 2005.