Электроника и МП техника. Китаев Ю.В. - 60 стр.

UptoLike

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

Рубрика:

функции (в ТЗ незадействованы и соответственно неопределены состояния

010 и 101).

Объединяя отмеченные в ТК значения, получаем "очевидное" решение:

Foc = ~Q2. (формула I)

Проверим, как поведет себя логическая функция Foc при двух

неиспользуемых состояниях: Q2Q1Q0 = 010 и Q2Q1Q0 = 101.

1). При Q2Q1Q0 = 010 логическая функция Foc(010) = ~Q2 = 1 и с приходом

очередного импульса сдвига регистр перейдет в состояние Q2Q1Q0 = 101.

2). При Q2Q1Q0 = 101 логическая функция Foc(101) = ~Q2 = 0 и с приходом

очередного импульса сдвига регистр перейдет в состояние Q2Q1Q0 = 010 и

далее процесс зациклится на этих двух состояниях.

Таким образом, проверка выявила побочный (незапланированный)

бесконечный цикл, в который схема может перейти при включении

питания, при воздействии помехи и т.д. Окончательный вид диаграммы

состояний для нашего "очевидного" решения с учетом проведенного

анализа будет выглядеть следующим образом (рис. 22.4):

Рис. 22.4 Вариант диаграммы переходов с побочным циклом

Естественно, такое решение не может нас устроить. Выход из

"порочного" цикла в нашем варианте можно осуществить тремя способами:

переопределив одну или две связи в диаграмме состояний (на рис. 22.5

показаны схематично). В вариантах А и Б выход из побочного цикла

гарантированно произойдет в

течение двух тактовых интервалов импульсов

сдвига, а в варианте В только за один, но в этом случае выражение для Foc

будет сложнее (выбор "быстрого" или менее сложного решения, как всегда

за разработчиком).

Рис. 22.5. Три варианта правильного решения задачи