Материал: Ковригин Теория автоматов Лабораторный практикум 2012
Загрузка проекта в ПЛИС
1. В окне Project Manager нажмите кнопку
Programming. Появится окно Select Program
(рис. П3.11).
Рис. П3.11. Окно Select Program
2. Выберите iMPACT и нажмите кнопку OK. Появится окно iMPACT (рис. П3.12).
Рис. П3.12. Окно iMPACT
176
3. В окне iMPACT нажмите кнопку Slave Serial (см. рис. П3.12). После чего в данном окне появится сообщение «Right click to Add Device» (рис. П3.13).
Рис. П3.13. Окно с сообщением
4. Сделайте щелчок правой клавишей мыши в данном окне и в появившемся меню выберите Add Xilinx Device (рис. П3.14).
Рис. П3.14. Выбор Add Xilinx Device
5. В появившемся окне Add Device (рис. П3.15) выделите имя своего проекта с расширением .bit и щелкните кнопку Открыть.
177
Рис. П3.15. Выбор Add Device
Вновь появится окно iMPACT (рис. П3.16) с подсказкой вверху
«Right click device to select operations».
Рис. П3.16. Окно iMPACT с подсказкой
178
6.Включите питание стенда.
7.Поставьте курсор мыши на изображение ПЛИС и щелкните правую клавишу мыши. В появившемся меню выберите Program (рис. П3.17) и щелкните левую клавишу мыши. После чего последует загрузка ПЛИС.
Рис. П3.17. Окно iMPACT с меню
После загрузки проекта в ПЛИС можно приступать к отладке на стенде.
179
Приложение 4
МИНИМИЗАЦИЯ СОСТОЯНИЙ ДЕТЕРМИНИРОВАННОГО КОНЕЧНОГО АВТОМАТА
Часто при использовании алгоритмов формального синтеза детерминированных конечных автоматов получаются автоматы с избыточным количеством состояний. С подобной ситуацией мы столкнулись в лабораторной работе №6 (см. рис. 6.10 и табл. 6.15). В теории автоматов доказывается, что для любого автомата, соответствующего регулярному выражению, существует единственный детерминированный конечный автомат с минимальным количеством состояний с точностью до имен состояний (два автомата одинаковы с точностью до имен состояний, если один из них может быть получен из другого простым переименованием состояний).
Существует несколько формальных алгоритмов, которые позволяют получить из произвольного детерминированного конечного автомата детерминированный конечный автомат с минимальным числом состояний. Рассмотрим один из них, применительно к автоматам, генерирующим некоторые управляющие воздействия (см. лабораторную работу №4) или признаки соответствия состояния системы определенным критериям (см. лабораторные работы №5 и №6).
Алгоритм состоит из трех основных шагов: построение начального разбиения состояний на группы, итерационного разбиения подгрупп на группы, замены групп состояний одним представителем и составление таблицы переходов для минимального автомата. Рассмотрим данные шаги более подробно.
Идея шага построения начального разбиения на группы состоит в следующем: необходимо построить группы состояний автомата, генерирующих одни и те же выходные сигналы. При этом если управляющие воздействия генерируются не только от состояния автомата, но и при переходах из одного состояния в другое (см. лабораторную работу №5), то состояния с такими переходами должны быть включены в разные группы, если по соответствующим входным воздействиям для состояний по переходам генерируются отличные сигналы. Результатом данного этапа будет начальное разбиение 0 
G0 ,G1,.., Gn .
180