Синтез цифровых автоматов. Захаров Н.Г - 74 стр.

UptoLike

Составители: 

73
дания функции возбуждения автомата А нужно задать зависимость входных сигналов
u
1
и u
2
от сигналов x, v
1
, v
2
.
Функции возбуждения задаются в виде таблицы, в которую явно выписывают-
ся значения компонент функции возбуждения на всех наборах элементарных сигна-
лов, где эта функция задана. Таблицу для функции возбуждения целесообразно объе-
динять с таблицей для векторной функции выходов автомата, задающей компонен-
ты внешнего структурного выходного сигнала y = (y
1
, y
2
) как функции элементарных
сигналов x, v
1
, v
2
. Наборы элементарных сигналов x, v
1
, v
2
, на которых не определены
ни функция возбуждения, ни функция выходов в таблицу не включаются.
Получаемую таким образом объединенную таблицу для функций возбуждения
и выходов автомата условимся называть функциональной таблицей данного автома-
та. Она является исходной для синтеза соответствующей комбинационной схемы.
В рассматриваемом примере из таблиц переходов и выходов автомата А (табл.
4.1 и 4.2) и таблицы входов элемента памяти В (табл. 4.5) получаем функциональную
таблицу автомата А (табл. 4.6).
Таблица 4.6
x v
1
v
2
u
1
u
2
y
1
y
2
1 1 1 2 2 1 1
1 2 2 3 3 2 2
1 1 2 3 2 1 3
2 1 1 1 3 3 1
2 2 2 1 1 3 3
2 3 3 2 2 2 1
2 1 2 1 2 3 2
3 1 1 1 2 3 3
3 2 2 - - 1 1
3 3 3 1 1 2 2
3 1 3 1 3 2 3
После построения этой таблицы задача структурного синтеза автомата А оказа-
лась сведенной к задаче синтеза комбинационной схемы с тремя входными полюсами
(x, v
1
, v
2
) и четырьмя выходными полюсами (u
1
, u
2
, y
1
, y
2
).
4.5. Кодирование состояний. Гонки в автомате
Кодирование состояний является одной из основных задач канонического ме-
тода структурного синтеза автоматов. Кодирование заключается в установлении вза-
имно-однозначного соответствия между множеством Q = {q
1
, ..., q
m
} состояний авто-
мата и множеством R-компонентных векторов {K
1
, ..., K
m
}, K
m
= (
l
m1
, ...,
l
mR
), где
l
mR
состояние r-го элемента памяти, r = 1, ..., R. Если
l
mR
{0, 1}, т. е. алфавит со-
стояний элементов памяти двоичный, тогда в качестве элементов памяти применим
RS-триггеры, которые будем обозначать Т
1
, ..., Т
R
.
Переход автомата из одного состояние в другое осуществляется за счет изме-
нения состояний элементов памяти. Так, если автомат переходит из состояния q
m
с
кодом 0101 в состояние q
s
с кодом 1001, то это означает, что триггер Т
1
переходит из