![]() |
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
![]() ![]() ![]() |
Читальный зал --> Программные средства foundation V* = Е (р-терм перехода), по всем строкам списка переходов, в которых V* = 1 Другими словами, в уравнение переходов входит по одному р-терму перехода на каждую строку списка переходов, содержащую 1 в столбце М*. р-терм перехода {transition p-term) данной строки - это произведение минтерма текущего состояния и выражения перехода. Согласно списку переходов в табл. 7.17 уравнение переходов для переменной Q2* автомата, управляющего задними огнями автомобиля марки Ford Thunderbird, можно записать в виде суммы, состоящей из восьми р-термов; Q2* =Q2Q1Q0(HA2+LEFT RIGHT) + Q2 QI QO (RIGHT HAZ LEFT) + Q2Q1-Q0(HAZ) + Q2Q1 QO - (HAZ) + Q2Q1Q0(HAZ) + Q2Q1Q0(HAZ) + Q2Q1 QO(HAZ) + Q2Q1 QOIHAZ). Непосредственными алгебраическими преобразованиями это соотношение упрощается в результате объединения первых двух, следующих двух и последних четырех р-термов: Q2* =Q2Q1Q0(HAZ+RIGHT) + Q2 QO (HAZ) + Q2 QO. Аналогично могут быть получены уравнения переходов для Q1 * и Q0*: QI* =Q2Q1Q0(HAZ) + Q2Q1 QO(HAZ) + Q2Q1Q0(HAZ) + Q2Q1 QO-IHAZ) = QO HAZ QO* = Q2 Q1 QO (LEFT HAZ RIGHT) + Q2 QI QO (RIGHT HAZ LEFT) + Q2Q1Q0(HAZ) + Q2Q1Q0(HAZ) = Q2 QI HAZ (LEFT в RIGHT) + Qi QO HAZ. 3a исключением переменной QI *, нет никаких гарантий, что найденные соотношения для переходов являются в том или ином смысле минимальными: действительно, выражения для Q2* и Q0* не имеют даже стандартного вида суммы произведений или произведения сумм . Упрощенные или неупрощенные уравнения служат лишь четко сформулированной отправной точкой, чтобы можно было выбрать какой-нибудь комбинационный метод синтеза логики возбуждения в конечном автомате: на основе структуры И-НЕ-И-НЕ, на ИС средней степени интефации или как-то еще. При разработке на основе ПЛУ вы могли бы просто вставить эти уравнения в профамму на языке ABEL и велеть компьютеру найти минимальные выражения вида сумма произведений для реализации на решетке И-ИЛИ в ПЛУ. *7.6.2. Уравнения возбуждения Несмотря на то, что мы уже подошли к логике возбуждения, до сих пор нами вьтедены только уравненш переходов, но не уравнения возбуждения. Однако в случае, когда в качестве элементов памяти в наших конечных автоматах применяются D-триггеры, уравнения возбуждения являются тривиальным следствием уравнений переходов, поскольку характеристическое уравнение D-триггера имеет вид: Q* = D. Поэтому из уравнения переходов для переменной состояния Qi* Qi* = выражение получаем следующее уравнение возбуждения для сигнала на входе соответствующего D-триггера: Di = выражение. Рациональные уравнения возбуждения для триггеров других типов, особенно для JK-триггеров, выводятся не так легко (см. задачу 7.63). По этой причине в подавляющем большинстве случаев в конечных автоматах, создаваемых на дискретных компонентах, на основе ПЛУ или специализированных ИС, используются D-триггеры. *7.6.3. Варианты схем Существуют и другие способы получения уравнений переходов и уравнений возбуждения из списка переходов. Если столбец со следующими значениями какой-то одной переменной состояния содержит меньше нулей, чем единиц, то имеет смысл записать уравнение переходов для этой переменной в терминах нулей в этом столбце: V* = X (р-терм перехода), по всем строкам списка переходов, в которых V* = О Другими словами, V* равно I для всех р-термов, для которых V* равно 0. Следовательно, уравнения переходов для Q2* можно записать в виде суммы, состоящей из семи р-термов: 02* = 02 Ч 01 Q0 ((LEFT + RIGHT +HAZ)) + 02 01 QO (LEFT HAZ RIGHT) + Q2Q1Q0(HAZ) + 02 01 QO (HAZ) + 02-01 Q0(1) + 02-01 QO - (1) + 02 or Q0(1) = 02 01 QO HAZ RIGHT + Q2 QO HAZ + Q1 QO + 02 QO. Чтобы придти к уравнению для Q2*, достаточно просто взять дополнения обеи> частей последнего, свернутого равенства. Выражение для следующего значения переменной состояния V* можно получить из нулей в списке переходов непосредственно, беря дополнение правой части общего выражения для V*, тогда на основании теоремы Де Моргана приходим к разновидности гибридного канонического произведения: V* = П (s-терм перехода). по всем строкам списка переходов, в которых V* = О Здесь s-терм перехода {transition s-term) данной строки - это сумма макстер-ма текущего состояния и дополнения выражения перехода. Если выражение перехода является простым термом-произведением, то его дополнение есть сумма, и поэтому переменная V* в уравнении переходов представляется в виде произведения сумм. *7.6.4. Реализация конечного автомата После того как уравнения возбуждения для конечного автомата получены, все, что нам остается, - это решить задачу построения комбинационной логики с несколькими выходами. Конечно, реализовать комбинационную логику, представленную уравнениями, можно многими способами, но простейший из них состоит в том, чтобы набрать соответствующую профамму на языке ABEL или VHDL и воспользоваться компилятором для синтеза схемы в ПЛУ, в ИС типа FPGA или в специализированной ИС. В комбинационных ПЛУ типа PAL16L8 и GAL16V8, рассмофенных нами в парафафе 5.3, можно реализовать уравнения возбуждения с числом входов, выходов и термов-произведений, не превосходящим определенного значения. Лучше все же воспользоваться последовательностными ПЛУ, которые будут представлены в парафафе 8.3: в них на одном кристалле имеются и D-триггеры и комбинационная решетка И-ИЛИ. При одном и том же числе выводов, используемых в качестве входов и выходов, в последовательностных ПЛУ можно реализовать конечные автоматы большего объема, нежели в эквивалентных комбинационных ПЛУ, поскольку не нужно выводить сигналы возбуждения за пределы кристалла. В разделе 9.1.3 мы покажем, как реализуется автомат, управляющий задними огнями автомобиля марки Ford Thunderbird, в последовательностном ПЛУ. *7.7. Другой пример проектирования конечного автомата в этом параграфе приводится еще один пример построения конечного автомата по диафамме состояний. На этом примере обсуждаются такие вопросы, как неиспользуемые состояния, кодирование состояний выходными комбинациями счгна-лов и назначение кодовых имен безразличным состояниям. 7.7.1. Игра на угадывание Наш заключительный пример конечного автомата - ифа на угадывание ; этот забавный автомат можно построить в качестве лабораторного упражнения: ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |