В каждой строке записываются значения выходов ЗЭ и выходных сигналов ПЦУ текущего такта.
Лицы выходов.
В каждой строке записываются значения входных сигналов и выходов ЗЭ, соответствующие текущему такту. Значения же управляющих сигналов должны быть такими, чтобы обеспечить переход ПЦУ в следующее состояние.
Функции переходов определяют состояние ПЦУ в следующем такте и позволяют синтезировать КЦУ1.
ПЦУ рассмотренной структуры называется автоматом Мили.
КЦУ2 в зависимости от входного слова и состояния ПЦУ вырабатывает выходное слово Y.
КЦУ1 в зависимости от входного слова Х и состояния Q ПЦУ вырабатывает сигналы а1-аК управления памятью. Эти сигналы определяют состояние ПЦУ, в которое он перейдёт с началом следующего такта.
Таким образом, ПЦУ задаётся двумя системами логических функций:
функций переходов Qt+1 = f(Xt, Qt) и функций выходов Yt = j(Xt, Qt), где индекс t соответствует текущему такту, а (t+1) - следующему.
|
|
Если связь КЦУ2 с входным словом отсутствует, т.е. функции выходов имеют вид Yt = j(Qt), то такое ПЦУ называется автоматом Мура.
Автомат Мура по свойствам не отличается от автомата Мили, но имеет более простую структуру. Поэтому на практике в качестве модели ПЦУ часто выбирают автомат Мура. В дальнейшем будет предполагаться именно эта модель ПЦУ.
Эти функции удобно задавать в виде таблицы переходов:
№ | Вх. слово | Сост. ЗЭ | Упр. сиг. | ||||||
сост. | хn | ... | х1 | qk | ... | q1 | ак | ... | а1 |
Q0 | |||||||||
... |
Таблица заполняется, начиная с начального состояния Q0, соответствующего нулевому такту.
Функции выходов определяют выходное слово текущего такта и позволяют синтезировать КЦУ2. Эти функции удобно задавать в виде таб-
№ | Сост. ЗЭ | Вых. сиг. | ||||
сост. | qk | ... | q1 | ym | ... | y1 |
Q0 | ||||||
... |
В качестве запоминающих элементов ПЦУ обычно используются триггеры.
3.2. Понятие триггера.
Таким образом, как элемент памяти триггер может хранить один бит информации - 0 или 1.
Для удобства использования триггеры имею два выхода: прямой Q и инверсный Q.
Состояние триггера обычно определяют сигналом на его прямом выходе. Так, Q = 1 (Q = 0) означает, что триггер находится в состоянии 1, а Q = 0 (Q = 1) - в состоянии нуля.
Входы триггера разделяются на информационные и управляющие.