Конечный автомат: использование обратной связи для построения программируемых последовательных контроллеров

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

• Компаратор + отрицательная обратная связь → управляемый усилитель
• Компаратор + положительная обратная связь → компаратор с гистерезисом
• Комбинационная логика + положительная обратная связь → мультивибратор

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

Когда таблица поиска запрограммирована в ПЗУ, а выход данных направляется обратно на адресный вход, возникает новый класс устройств: Конечный автомат (Finite State Machine, FSM). Эта структура использует сохраненные данные для диктовки следующего адреса, тем самым генерируя заданную последовательность выходов.

Фундаментальная идея проста: каждый адрес ПЗУ содержит адрес следующего состояния. Для синхронизации последовательности с тактом и избежания тайминговых гонок, выход данных пропускается через 4-разрядный D-триггер перед тем, как стать следующим адресом. Тактовой импульс обеспечивает пошаговые переходы машины.

Интуитивная аналогия — ряд почтовых ящиков. Каждый ящик (адрес) содержит записку, направляющую к следующему ящику (данные). Расставляя записки в желаемом порядке, вы диктуете последовательность открываемых ящиков и, следовательно, последовательность считываемой информации.

С 16 адресуемых локаций FSM может обитать в 16 различных стабильных состояниях. ПЗУ предварительно запрограммировано следующим состоянием для каждого адреса, и машина продвигается на каждом тактовом фронте.

Одно частое применение — генерация произвольной счетной последовательности, такой как 4-битный код Грея:

Address -----> Data
Gray Code count sequence:
0000 -------> 0001   0  0000
0001 -------> 0011   1  0001
0010 -------> 0110   2  0011
0011 -------> 0010   3  0010
0100 -------> 1100   4  0110
0101 -------> 0100   5  0111
0110 -------> 0111   6  0101
0111 -------> 0101   7  0100
1000 -------> 0000   8  1100
1001 -------> 1000   9  1101
1010 -------> 1011   10 1111
1011 -------> 1001   11 1110
1100 -------> 1101   12 1010
1101 -------> 1111   13 1011
1110 -------> 1010   14 1001
1111 -------> 1110   15 1000

Проходя через эту таблицу, FSM начинает с адреса 0000, читает данные 0001 и переходит к адресу 0001 на следующем такте, и так далее. Когда достигает последнего запрограммированного состояния (адрес 1000), сохраненные данные 0000 замыкают последовательность обратно в начало.

Расширение адресных линий ПЗУ и добавление большего числа выходов данных еще больше повышает гибкость. Например, ПЗУ с 5-битным адресом может закодировать две различные счетные последовательности — двоичную и код Грея — управляемую дополнительной функциональной линией (A4). Следующая таблица иллюстрирует эту двухрежимную операцию:

Address -----> Data    Address -----> Data
00000 -------> 0001    10000 -------> 0001
00001 -------> 0010    10001 -------> 0011
00010 -------> 0011    10010 -------> 0110
00011 -------> 0100    10011 -------> 0010
00100 -------> 0101    10100 -------> 1100
00101 -------> 0110    10101 -------> 0100
00110 -------> 0111    10110 -------> 0111
00111 -------> 1000    10111 -------> 0101
01000 -------> 1001    11000 -------> 0000
01001 -------> 1010    11001 -------> 1000
01010 -------> 1011    11010 -------> 1011
01011 -------> 1100    11011 -------> 1001
01100 -------> 1101    11100 -------> 1101
01101 -------> 1110    11101 -------> 1111
01110 -------> 1111    11110 -------> 1010
01111 -------> 0000    11111 -------> 1110

В этой конфигурации, когда A4 = 0 FSM считает в двоичном коде; когда A4 = 1 он следует последовательности кода Грея. Программист может определять произвольные последовательности и даже решать, когда цикл перезапускается, делая FSM полностью программируемым счетным устройством.

Дальнейшие улучшения возможны использованием ПЗУ с дополнительными адресными и выходными линиями. Дизайн может направить D0–D3 обратно к A0–A3 для обратной связи состояния, в то время как D4–D7 предоставляют произвольные выходы, не связанные с состоянием. Это расширяет возможности FSM за счетчик, позволяя выполнять сложную комбинационную логику, зависящую как от текущего состояния, так и от внешних входов (A4–A7).

Более того, такт триггера не обязан быть простым генератором прямоугольных импульсов; он может быть связан с внешним событием, заставляя FSM продвигаться только при возникновении определенного сигнала. Этот событийно-управляемый подход сближает работу FSM с реальными процессами.

Таким образом, ПЗУ, запрограммированное таблицей поиска, в сочетании с обратной связью и управлением тактом, реализует истинный конечный автомат. Программа, хранящаяся в ПЗУ, диктует все поведение, отражая принцип теоретической машины Тьюринга о программе, диктующей вычисления. Это практическое воплощение демонстрирует силу обратной связи, памяти и последовательной логики для построения сложных, надежных и универсальных цифровых систем.