Курсовой проект Теория автоматов

1. По системе формул переходов (СФП) построить граф-схемы алгоритмов (ГСА) с отметками для автоматов Мили и Мура.

2. По ГСА построить графы автоматов (ГА) Мили и Мура.

3. Закодировать состояния автоматов, выбрать следующий метод кодирования:

3.1. Последовательное кодирование состояний.

4. Построить таблицы истинности возбуждения триггеров автоматов Мили и Мура.

5. По таблицам получить аналитические выражения для входной части автоматов Мили и Мура, пригодные для построения схем, содержащих только следующие логические элементы:

5.2. «ИЛИ-НЕ».

6. Построить схемы входной части автоматов Мили и Мура по выражениям из п. 5.

7. Провести моделирование схем входной части.

8. Построить схему запоминающей части, в качестве элемента памяти использовать:

8.4. JK-триггер.

9. Провести моделирование схем запоминающей части.

10. Получить аналитические выражения для выходной части автоматов Мили и Мура, пригодные для построения схем, содержащих только следующие логические элементы:

10.1. «И», «ИЛИ», «НЕ».

11. Построить схемы выходной части автоматов Мили и Мура.

12. Провести моделирование схем выходной части.

13. Построить полные схемы автоматов Мили и Мура.

14. Провести моделирование полных схем.

15. Провести тестирование одной из полученных комбинационных схем, применяя следующие методы:

15.1. Метод псевдослучайной генерации тестов и структурные методы (активизации одномерного пути и различающей функции).

16. Синтезировать самопроверяемую комбинационную схему, применяя следующие методы:

16.1. Синтез схемы с однонаправленным проявлением неисправностей (из элементов с тремя входами и нагрузочной способностью, равной двум) и кодирование выходов кодом Бергера.

16.2. Синтез схемы с однонаправленным проявлением неисправностей (из элементов с тремя входами и нагрузочной способностью, равной двум) и кодирование выходов разделимым кодом.