сть синтезу автоматів з жорсткою логікою наступна:
- вибір типу елементів пам'яті;
кодування станів автомата, вхідних і вихідних сигналів в структурному алфавіті;
- деталізація блоку пам'яті;
- складання розширеної структурної таблиці переходів і виходів;
- канонічний синтез логічного перетворювача;
мінімізація функцій виходів і збудження блоку пам'яті.
2. Аналіз граф схеми алгоритму СУА і деталізація БП
Для застосування загальноприйнятих методів синтезу вихідну постановку задачі необхідно формалізувати, тобто привести її до канонічних форм опису керуючих автоматів. Зазвичай при проектуванні використовується методика синтезу мікропрограмних керуючих автоматів, заснована на використанні граф-схем алгоритмів (ДСА). У завданні на курсовий проект була запропонована ДСА, представлена ​​на Малюнку 4. br/>В
Малюнок 4
ДСА відноситься до початкових мовам опису алгоритму функціонування керуючого автомата. Характерною особливістю початкових мов є те, що вони не дозволяють в явному вигляді задати функцію переходів. Тому для подальшого синтезу керуючого автомата необхідний перехід від початкового мови опису роботи автомата (тобто від ДСА) до якого-небудь автоматного мови опису, наприклад, до таблиць переходів і виходів. Для побудови таблиць переходів і виходів необхідно зробити розмітку ДСА. br/>
2.1 Розмітка граф-схеми алгоритму
Функціонування абстрактного автомата може бути описано за допомогою двох моделей - моделі Мура і моделі Мілі, що відрізняються принципами формування вихідних сигналів і числом внутрішніх станів. Перехід від алгоритмічного опису до автоматного здійснюється шляхом розмітки ДСА відповідно до обраною моделлю абстрактного автомата. У завданні на курсовий проект було запропоновано модель Милі. p align="justify"> Правила розмітки ДСА при реалізації автомата по моделі Мілі:
символом початкового стану а1 відзначається вхід вершини, наступної за початкової, а також вхід кінцевої вершини ГСА;
входи всіх вершин, наступних за операторними, відзначаються різними символами а2 ... аi ... аn;
входи вершин ГСА, наступних за операторними, повинні бути відзначені тільки одним єдиним символом аi.
Для циклічно виконуваних алгоритмів за початковий стан автомата може бути взято будь-яке його допустиме стан, який вибирають довільним чином і відзначають символом а1. Усі наступні стану такого (Не инициального) автомата відзначаються символами а2 ... аi ... аn. В не ініціальних автоматах ...
