(926)274-88-54
Бесплатная доставка.
Бесплатная сборка.
График работы:
Ежедневно. С 8-00 до 20-00.
Почта: soft_hous@mail.ru
|
|
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
  
|
Читальный зал --> Программные средства foundation такими задачами можно пытаться справиться путем сокращений и угадываний, основанных на хорошем знании предмета, результатом чего бывает уменьшение во много раз объема памяти и времени счета по сравнению с тем, что требует точный алгоритм. В противоположность выводу доказуемо минимального выражения для логической функции, эвристическими методами пытаются найти почти минимальное выражение. Даже в тех случаях, когда задачу можно решить точным методом, эвристический подход часто приводит к лучшему решению, которое оказывается в десятки раз более быстрым. Самая удачная эвристическая программа Espresso-II справляется с большинством задач, давая минимальный или почти минимальный результат (сводя функцию к одному или к двум термам-произведениям), включая задачи с несколькими десятками переменных и несколькими сотнями термов-произведений. 3. Другой взгляд на вещи. Как упоминалось выше, минимизацию схем с несколькими выходами можно осуществить напрямую методами, которые представляют собой простейшую формальную модификацию методов минимизации схем с одним выходом. Однако, подойдя к задаче минимизации схем со многими выходами как к задаче многозначной (недвоичной) логики, авторам алгоритма Espresso-MV удалось достичь значительно лучших результатов по сравнению с Espresso-II. Более подробно об этих методах см. ссылки в Обзоре литературы. *4.5. Паразитные импульсы на выходе логических схем Методы анализа, о которых шла речь в параграфе 4.2, не учитывают задержку в схеме и предсказывают только поведение схемы в установившемся режиме {steady-state behavior). Другими словами, эти методы позволяют находить сигнал на выходе схемы как функцию входных сигналов в предположении, что входные сигналы сохраняют свои значения в течение относительно длительного времени по сравнению с задержками в электронных цепях. Однако в парафафе З.б было объяснено, что в действительности задержка между изменением входного сигнала и соответствующим изменением выходного сигнала у реальной логической схемы не равна нулю и зависит от многих факторов. Из-за задержек переходной процесс {transient behavior) в логической схеме может отличаться от того, что предсказывает анализ ее поведения в установившемся режиме. В частности на выходе схемы может возникать короткий импульс (выброс, всплеск), часто называемый паразитным импульсом {гчюкам, glitch), тогда как анализ поведения в установившемся режиме предсказывает, что выходной сигнал не должен изменяться. Говорят, что существует источник опасности {hazard), когда в схеме может возникать такой паразитный импульс. Возникает паразитный импульс в действительности или нет - зависит от точных значений задержек и от других электрических характеристик схемы. Поскольку эти параметры трудно контролировать в серийном производстве схем, проектировщик должен побеспокоиться об устранении источников опасности {возможности возникновения паразитного импульса) даже в том случае, когда сбой может (а) X - (Ь) 2 1- XZP ZP  Рис. 4.44. Схема с единичным статическим источником опасности: (а) принципиальная схема; (Ь) временные диаграммы Нулевой статический источник опасности (static-0 hazard) - это возможность возникновения единичного паразитного импульса, когда ожидается, что на выходе схемы будет постоянный 0: Определение: Нулевой статический источник опасности - это две соседние комбинации входных сигналов, такие что: (а) при переходе от одной комбинации к другой меняется только один из входных сигналов, (Ь) обе комбинации дают О на выходе и возможно кратковременное появление на выходе 1 в течение переходного процесса, вызванного изменением входного сигнала. Поскольку нулевой статический источник опасности является двойственным по отношению к единичному статическому источнику опасности, в схеме ИЛИ-И наступить лишь при наихудшей комбинащ1и логических значений и электрических параметров. *4.5.1. Статические источники опасности Единичный статический источник опасности (static-1 hazard) - это возможность возникновения нулевого паразитного импульса на выходе схемы, когда ожидается - согласно статическому анализу функции, реализуемой этой схемой, что выходной сигнал будет в точности оставаться постоянным и равным 1. формальное определение состоит в следующем: Определение: Единичный статический источник опасности - это две комбинации входных сигналов, такие что: (а) при переходе от одной комбинации к другой меняется только один из входных сигналов, (Ь) обе комбинации дают 1 на выходе и возможно кратковременное появление на выходе О в течение переходного процесса, вызванного изменением входного сигнала. Рассмотрим, например, логическую схему, приведенную нарис. 4.44(a). Предположим, что оба входных сигналах иУравны 1, аZ изменяется от 1 до 0. Тогда временные диаграммы будут такими, как показано на рис. 4.44(b), где мы предположили, что задержка распространения в каждом вентиле и инверторе равна одному и тому же единичному отрезку времени. Несмотря на то, что статический анализ предсказывает наличие 1 на выходе при обеих комбинациях входных сигналов X, Y Z = 111 и X, Y Z = 110, временные диаграммы показывают, что F проваливается до О в течение единичного отрезка времени при переходе Z от 1 до О из-за задержки в инверторе, на выходе которого вырабатывается сигнал Z. двойственной по отношению к схеме, изображенной нарис. 4.44(a), имеется нулевой статический источник опасности. Схема ИЛИ-И с четырьмя нулевыми источниками опасности представлена на рис. 4.45(a). Один из источников опасности имеет место тогда, когда W, X, Y = О и сигнал Z изменяется так, как показано на рис. 4.45(b). Вы, по-видимому, сможете сами найти три других источника опасности, а также устранить их все, после того как изучите следующий раздел. WXZP YZ 0-.1 L- XPYP  WXZP Рис. 4.45. Схема С нулевыми статическими источниками опасности: (а) принципиальная схема; (Ь) временные диаграммы *4.5.2. Нахождение статических источников опасности по картам Карно Карты Карно позволяют обнаружить статические источники опасности в двухуровневой схеме, реализующей сумму произведений или произведение сумм. Наличие или отсутствие источников опасности зависит от способа реализации заданной логической функции. В правильно построенной двухуровневой схеме И-ИЛИ, реализующей сумму произведений, нет нуаевых статических источниюв опасности. Такой источник опасности существовал бы в схеме указанного вида только в том случае, если бы на входы одного и того же вентиля И бьши поданы одновременно и сам входной сигнал и его инверсия, но это бьшо бы тупо. Однако в такой с\емемогут быть единичные статические источники опасности. Их существование можно предвидеть, разглядывая карту Карно, где обведены термы-произведения, соответствуюшде в схеме вентилям И. На рис. 4.46(a) показана карта Карно для схемы, приведенной на рис. 4.44. Из карты следует, что не существует одного терма-произведения, который покрывает обе комбинации переменных X, Y Z = 111 и X, Y Z = ПО. Таким образом, интуитивно ясно, что выходной сигнал может на короткое время проваливаться до О, если сигнал на выходе вентиля И, покрывающего одну из комбинаций, переходит в О до того, как сигнал на выходе вентиля И, покрывающего другую комбинацию переменных, переходит в 1. Способ исключения этого источника опасности очевиден: просто вводим лишний терм-произведение (вентиль И), чтобы покрыть опасную пару комбинаций переменных, как показано на рис. 4.46(b). Оказывается, что лишний терм-произведение является консенсусом (consensus) двух исходных термов; и в самом общем случае для исключения источников опасности необходимо добавлять консенсусные термы. Соответствующая схема, в которой нет источников опасности, показана на рис. 4.47. ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |