Кафедра К3 Прикладная математика, информатика
и вычислительная техника

Материалы для курсовой работы по дисциплине «Теория автоматов»

Рекомендуемый порядок выполнения курсовой работы

Вначале необходимо по заданной таблице переходов не полностью определенного автомата МИЛИ подготовить корректную тестовую последовательность входных наборов, осуществляющую проверку правильности выполнения им всех переходов. Затем следует построить диаграмму переходов автомата и отобразить на ней формируемые им выходные сигналы (часть пункта 1 задания). В дальнейшем диаграмма понадобится для анализа результатов моделирования структурных и абстрактных автоматов, создаваемых в курсовой работе.

После этого необходимо выполнить синтез структурного автомата МИЛИ, его моделирование и тестирование в составе стенда TSTAND (пункты 5–7 задания). Указанная выше часть курсовой работы является обязательной для всех, в отличии от некоторых других последующих этапов, которые могут быть выполнены выборочно по желанию студента.

Затем рекомендуется решить задачу построения эквивалентного абстрактного автомата МУРА, создать спецификации обоих автоматов на языке VHDL и выполнить их верификацию с помощью приложения ModelSim (пункты 1–3 задания). Допускается рассмотрение только одного автомата МИЛИ.

Выполнив 4 пункт задания и окончательно убедившись в правильности построения эквивалентного автомата МУРА, студент может выполнить его структурный синтез, моделирование и тестирование в составе стенда TSTAND (пункты 5–7 задания). Эта часть работы не является обязательной для выполнения. Её могут выполнить студенты, желающие ещё раз продемонстрировать приобретенные в процессе изучения дисциплины знания умения, навыки. За эту работу начисляются дополнительные баллы.

Затем рекомендуется выполнить декомпозицию одного из автоматов на три структурные части, создать альтернативный проект на языке VHDL и протестировать его в составе стенда TSTAND (пункты 8,9 задания).

После этого желательно выполнить макетирование автоматов в кристалле ПЛИС учебного стенда «Altera DE2-115» в учебной лаборатории и выполнить с ними натурные эксперименты. Следует использовать подготовленную вначале тестовую последовательность входных наборов и диаграммы переходов автоматов.

Рекомендуемая последовательность выполнения пунктов задания курсовой работы приведена в таблице. Для указания статуса отдельного пункта задания используется цветовая раскраска. Обязательные для выполнения пункты задания выделены ярким цветом. Бледным цветом в таблице помечены пункты, выполнение которых носит рекомендательный характер. Количество дополнительных баллов, начисляемых за их выполнение, отражено в шестом столбце таблицы.

К необязательным относятся пункты задания, связанные с проектированием эквивалентного автомата МУРА. В таблице они не выделены цветом. Выполнение необязательных пунктов задания также поощряется начислением дополнительных рейтинговых баллов.

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