нкремент лічильника чисел, для цього формується сигнал В«InсВ».
Перевірка умови х2 визначає необхідність запису модифікованого числа в пам'ять.
Такт Q3 необхідний для виконання модифікації і запису числа в пам'ять, для цього необхідний сигнал дозволу запису в пам'ять we = 1,
У такті Q4 вміст лічильника адреси збільшується на 1, для цього формується сигнал інкремент адреси В«inaВ». В результаті виконується підготовка до циклічної обробки наступного числа. p align="justify"> Умова виходу з циклу обробки чисел x3 приймає значення 1, коли адреса, отриманий після инкремента, виходить за діапазон адрес, в яких зберігаються числа масиву.
У такті q5 виконується запис коду, отриманого в лічильнику чисел, в пам'ять. для цього необхідні сигнали we = 1 і wn = 1.
Кінець алгоритму позначений Q0, алгоритм допускає циклічні повторення.
4. Синтез керуючого автомата
Кінцевий автомат - це логічний пристрій з пам'яттю, вихідні сигнали якого залежать від передісторії надходження вхідних сигналів .. Розглянемо синтез автомата Мура (Рис.4)
. Необхідна кількість тригерів N визначається з умови 2 N ? K, де K - число станів автомата. Для решаемого прикладу К = 6, N = 3.
. Кодування станів автомата. Виберемо ряд натуральних чисел. Станам будуть відповідати коди: Q0 - 000, Q1 - 001, Q2 - 010, і т. д.
В
3. Граф автомата будується за алгоритмом (Мал. 6). Вершини графа відповідають станам, а дуги - переходам. Умови переходу з одного стану в інший записуються на дугах графа у вигляді кон'юнкцій вхідних сигналів, що приймають одиничне значення, коли даний перехід відбувається. При безумовному переході дуга графа відзначається константою 1. br/>В
Для спрощення тестування початок, і кінець алгоритму відображаються станом Q0, в результаті автомат допускає циклічне повторення робочого циклу.
. Вибір типу тригера виконується з урахуванням використовуваної елементної бази, а також вимог до швидкодії і перешкодозахищеності автомата. Обов'язковим є вибір тригерів з динамічним управлінням. Для обраного тригера зображується таблиця переходів. p align="justify">. Таблиця переходів автомата будується за графу з урахуванням функцій переходів обраного тригера. Кожен рядок описує одну дугу графа. У шпальтах вказують: умова переходу, початковий стан автомата, новий стан, і керуючі сигнали обраного тригера, необхідні для переходу в новий стан. Керуючий сигнал тригера для кожного розряду визначається з урахуванням таблиці переходів та зміни даного розряду в кодах вихідного і нового станів. br/>В
Рис.8 Таблиця переходів JK тригера.
