В ходе выполнения моделирования работы схемы ошибок в работе автомата не обнаружено.

7. Проверка полноты теста и построение дополнительного набора

При моделировании работы схемы на 3, 5 и 7 полюсах схемы формируется только значение 1, значит, в случае неисправности типа «тождественная единица» ее не будет невозможно обнатужить рассматриваемыми наборами.

Построим дополнительный тест для обнаружения неисправности на седьмом полюсе. В случае неисправности на выходе S2 будет 0, иначе, если неисправности нет – 1.

Рисунок 7.1 – Неисправность на выходе 7 элемента

Для обнаружения неисправности на выходе седьмого элемента нам необходимо получить на его выходе 0. Единственным набором, при котором выход седьмого элемента будет равен 0 является набор: z₁=1, z₂=1, z₃=Х, x₁=1, x₂=0. Так как 7 и 8 элементы имеют полностью противоположные входные сигналы, то противоречий быть не может.

Условие активизации через S2: на выходе седьмого элемента 0, на выходе восьмого – 1.

Тестовый набор: 11Х10. В случае неисправности F_н = 0, иначе F = 1.

Для проверки проводим логическое моделирование для случаев:

с неисправностью и без неисправности; значения различны, а значит тест построен верно.

Заключение

В процессе выполнения курсовой работы был синтезирован синхронный автомат «секретный замок», согласно заданным последовательностям открытия замка и снятия тревоги.

Выполнено кодирование по желательности соседства и близкое к соседнему для синхронного автомата. Для построения схемы автомата было выбрано менее сложное кодирование. Сравнив кодирование по критерию желательности соседства и близкое к соседнему, был сделан вывод, что более простым является построение схемы на основе кодирования по критерию желательности соседства. Для автомата была построена функциональная схема и рассчитаны характеристики этой схемы.

Для анализа работы схемы было выполнено логическое моделирование для синхронного автомата. Логическое моделирование показало, что схема работает правильно. На некоторых полюсах выходной сигнал был постоянным, и для обнаружения неисправности был разработан дополнительный набор.

Произведенный анализ полученного устройства показал следующие характеристики:

	Синхронный автомат
Iпот	240 мА
Pпот	1,2 Вт
tкс	70 нс

Библиографический список

1. Б.В. Тарабрин, Л.Ф. Лунин, Ю.Н. Смирнов и др.; «Интегральные микросхемы: Справочник». Под ред. Б.В. Тарабрина. – М.: Радио и связь, 1984 – 528 с., ил.

2. Новосёлов В. Г. «Прикладная теория цифровых автоматов. Части 3-4. Синхронные и асинхронные цифровые автоматы с памятью» - К.: ИСИО, 1993 // 144 c.

3. Методические указания к выполнению курсового проекта по дисциплине "Компьютерная логика" для студентов дневной и заочной форм обучения направления 09.03.01 - Информатика и вычислительная техника / Сост. Шалимова Е.М. - Севастополь: СевНТУ, 2015. - 24 с.