Основы синтеза и диагностирования автоматов. Воронин В.В. - 215 стр.

UptoLike

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

211
Cостязания элементов па-
мяти. Реальные логические эле-
менты обладают инерционно-
стью, приводящей к некоторым
задержкам их «срабатывания»,
причём разброс этих задержек
для различных элементов носит
случайный характер. Задержки
суммируются в цепях комбина-
ционных схем, приводя к соот-
ветствующим задержкам «сраба-
тывания» их выходных полюсов.
Разные выходные полюсы управ-
ляются различными
по своим ха-
рактеристикам подсхемами. За-
держка их «срабатывания» зависит от числа элементов, глубины
подсхемы, за которую принимается число элементов в самой длин-
ной цепи, входного воздействия, физического состояния и т.п. и в
используемой нами логической модели является непредсказуемой.
При рассмотрении комбинационной схемы от этих свойств
можно абстрагироваться, поскольку их
следствием является лишь
некоторая задержка «срабатывания» схемы в целом. Однако в случае
последовательностных автоматов эти свойства реальных элементов и
цепей приводят к более серьёзным последствиям.
Пусть некоторый элемент
δ
(s
i
,x
j
) таблицы переходов имеет зна-
чение s
k
. Это означает, что при входном сигнале x
j
и внутреннем со-
стоянии s
i
автомат должен перейти во внутреннее состояние s
k
. До-
пустим, что задаваемые таблицей кодирования коды состояния s
i
и s
k
различаются более чем в одном разряде, откуда следует, что более
Таблица 5.40
0 1
00 0 1
01 0 0
10 1 1
11 1 0
Таблица 5.42
T
исх
JK T
пер
0 0- 0
0 1- 1
1 -1 1
1 -0 0
Рис. 5.32
J T
K
Таблица 5.41
T
исх
JK T
пер
0
00
01
0
0
10
11
1
1
00
10
1
1
01
11
0