![]() |
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
![]() ![]() ![]() |
Читальный зал --> Программные средства foundation СТРЕЛКИ, СТРЕЛКИ, ПОВСЮДУ СТРЕЛКИ Поскольку в нашем примере всего один входной сигнал, возможны лишь два различных воздействия и только две стрелки выходят из каждого состояния. В автомате с п входными сигналами из каждого состояния выходило бы 2 стрелок. Если п велико, то за всем этим невозможно уследить. Позднее на рис. 7.44 мы продемонстрируем правило, позволяющее не выводить из каждого состояния столько стрелок, сколько имеется различных входных комбинаций, а лишь по одной стрелке для каждого возможного следующего состояния. Исходная принципиальная схема рассматриваемого нами конечного автомата была изображена на рис. 7.38, чтобы наилучшим образом соответствовать идее автомата Мили. Однако никто не заставляет нас именно так располагать логику переходов, память состояния и выходную логику. На рис. 7.41 приведена другая принципиальная схема того же самого конечного автомата. Чтобь[ проанализировать эту схему, разработчик (в данном случае - аналитик) все еще может извлечь всю необходимую информацию из самой схемы. Единственное отличие новой схемы от старой состоит в том, что мы воспользовались сигналами с инверсных выходов триггеров QN (которые в нормальных условиях являются дополнениями сигналов на выходах Q), сэкономив таким образом пару инверторов. КАРТИНКИ, НАВОДЯЩИЕ НА РАЗМЫШЛЕНИЯ Воспользовавшись таблицами переходов, состояний и значений выходных сигналов, можно нарисовать временнь/е диаграммы и с их помощью представить поведение конечного автомата с любого желаемого начального состояния и при любой желаемой входной последовательности. На рис. 7.42, например, показано поведение автомата в нашем примере, начиная с состояния 00 (А), при указанном на рисунке изменении входного сигнала EN. Обратите внимание на то, что следующее состояние зависит от значения EN только в момент нарастающего фронта тактового сигнала CLOCK; другими словами, счет производится счетчиком только тогда, когда EN = 1 в момент времени, соответствующий нарастающему фронту в сигнале CLOCK. С другой стороны, на значение МАХ выходного сигнала автомата Мили сигнал EN оказывает влияние в течение всего времени, тогда как значение MAXS выходного сигнала автомата Мура, упоминаемого в основном тексте, зависит только от состояния, что и отражено на рисунке. Временнь/е диаграммы нарисованы так, чтобы показать, что смена значения в выходных сигналах МАХ и MAXS происходит чуть позднее тех моментов времени, когда изменяются состояния и входной сигнал, следствием чего является смена значений сигнала на выходе; в этом находит свое отражение задержка выходных сигналов в комбинационных логических схемах. Естественно, что эти временнь/е диафаммы носят иллюстративный характер; точное описание поведения схемы во времени обычно приводится в виде таблиц временных соотношений, примеры которых приведены в разделе 5.2.3. fn-clk- ![]() > р- >OLK а С>- > > Рис. 7.41. Перерисованная иначе принципиальная схема тактируемого синхронного конечного автомата CLOCK EN Q1 QO MAX MAXS STATE Рис. 7.42. Временные диаграммы для рассматриваемого в качестве примера конечного автомата В заключение, перечислим подробно все шаги, выполняемые при анализе тактируемого синхронного конечного автомата: 1. Составляем уравнения возбуждения для управляющих входов триггеров. 2. Для получения уравнений переходов производим подстановку из уравнений возбуждения в характеристические уравнения триггеров, 3. По уравнениям переходов строим таблицу переходов. 4. Записываем уравнения выхода. 5. Значения выходных сигналов добавляем в таблицу переходов для каждого состояния (в случае автомата Мура) или в таблицу состояние/вход (в случае автомата Мили), в результате чего получаем таблицу переход/выход {transition/output table). 6. Даем состояниям имена и заменяем ими комбинации переменных состояния в таблице переход/выход ; таким образом, получаем таблицу состояние/ выход . 7. (Необязательный шаг) Вычерчиваем диафамму состояний, соответствующую таблице состояние/выход . >1 - >CLK Q С> >ак Q [> - >CLK Q о Рис. 7.43. Тактируемый синхронный конечный автомат с тремя триггерами и восьмью состояниями Мы сейчас пройдем всю эту последовательность шагов, чтобы проанализировать другой тактируемый синхронный конечный автомат, изображенный нарис. 7.43. Глядя на принципиальную схему, записываем уравнения возбуждения: DO = Q1 X + Q0 X + Q2 D1 = Q2 QO X + Q1 X + Q2 Q1 D2 = Q2 QO + GO X Y Подставляя DO, DI и D2 в характеристическое уравнение D-триггеров, получим уравнения переходов: Q0* = Q1X + Q0X + Q2 Q1* = Q2 QO X + Q1 X + Q2 Q1 Q2* = Q2 QO + GO X Y Строим по этим уравнениям таблицу переходов [табл. 7.4(a)]. Из принципиальной схемы находим следующие два уравнения для выходных сигналов: Z1 =Q2 + Q1 + Q0 Z2 = Q2 G1 + Q2 GO. Результирующие значения выходных сигналов перечислены в крайнем правом столбце табл. (а). Присваиваем состояниям имена от А до Н и приходим к таблице состояние/выход [табл. (Ь)]. ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |