![]() |
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
![]() ![]() ![]() |
Читальный зал --> Программные средства foundation q2*q1*CXi*
Диаграмма состояний в данном примере имеет вид, показанный на рис. 7.44. Поскольку здесь мы имеем дело с автоматом Мура, значения сигналов указаны вместе с именами состояний. Каждая стрелка помечена выражением перехода (transition expression); переход по стрелке происходит при таких входных комбинациях, для которых это выражение перехода равно 1. Переходы, помеченные единицами, выполняются всегда. ![]() Z1 22=10 Рис. 7.44. Диаграмма состояний в соответствии с табл. 7 4 Табл. 7.4. Таблицы переход/выход и состояние/выход для конечного автомата на рис. 7.43 Выражения переходов у стрелок, выходящих из данного состояния, должны быть взаимно исключающими (mutual exclusion) и исчерпывающими в совокупности (all inclusion) согласно следующим правилам: Никакие два выражения перехода не могут равняться 1 при одной и той же входной комбинации, поскольку при фиксированной входной комбинации у автоматов не может быть двух следующих состояний. Для любой возможной входной комбинации какое-то выражение перехода должно равняться 1, так чтобы оказались предусмотренными все возможные следующие состояния. Используя информацию, содержащуюся в таблице состояний, можно записать вьфажение перехода из любого текущего состояния в следующее состояние в виде суммы минтермов для тех входных комбинаций, которые вызывают этот переход. При желании выражение можно минимизировать, что позволяет представить информацию в более компактном виде. Выражения переходов более всего полезны при проектировании таких конечных автоматов, в отношении которых эти выражения можно вывести из словесного описания задачи, как мы увидим это в парафафе 7.5. *7.3.5. Анализ конечных автоматов на JK-триггерах Основная процедура анализа тактируемых синхронных конечных автоматов с JK-триггерами - та же, что и в предыдущем разделе. Единственное отличие состоит в том, что теперь у каждого триггера имеются два уравнения возбуждения: по одному для входов J и К. Чтобы получить уравнение переходов, необходимо подставить оба выражения для этих входных сигналов в характеристическое уравнение JK-триггера: Q* = J Q + К Q . На рис. 7.45 приведен пример конечного автомата с JK-триггерами. Глядя на принципиальную схему, можно записать следующие уравнения возбуждения: J0 = XГ КО = ХГ+ Y- Q1 Л =У - Q0+Y К1 = YQ0 + xrQ0. Подставляя J0, К0,Л иК1 в характеристические уравнения JK-триггеров, получим уравнения переходов: Q0* = J0 Q0 + КО Q0 = X Г Q0 + (X Г + Y Q1) Q0 = X Г Q0 + X Г Q0 + X Q1 Q0 + Y 01 Q0 Q1* = J1 QI + KIQI = (XQ0+Y) Q1 + (YQ0 + Xr QOr-QI = XQ1Q0+YQ1 + Xr 01+r 01 QO + X Q1 QO+Y-Q1 QO. Табл. 7.5(a) представляет собой таблицу переходов, составленную по этим уравнениям. Из принципиальной схемы следует также, что уравнение выхода имеет вид: Z = XQ1 QO+Y-or QO. >CLK - >CLK Рис. 7.45. Тактируемый синхронный конечный автомат с JK-триггерами Табл. 7.5. Таблицы переход/выход и состояние/выход для конечного автомата на рис. 7.45
![]() (z = 1) X-Y- Рис. 7.46. Диаграмма состояний для конечного автомата, описывае1>юго табл. 7.5. Результирующие значения выходного сигнала указаны в табл. (а) в каждом из столбцов вместе со следующим состоянием. Присваивая состояниям имена от А до D, получаем таблицу состояние/выход [табл. (Ь)]. Соответствующая диаграмма состояний с выражениями переходов показана на рис. 7.46. ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |