Влияние задержек в элементах и межсоединениях на работу комбинационных функциональных узлов (КФУ)

Задержки в элементах логической схемы и межсоединениях ограничивают быстродействие схемы и могут явиться причиной появления сбоя. Различают статические и динамические риски сбоя.

Статический риск сбоя возникает, когда состояние выхода по логике работы схемы должно оставаться неизменным, но происходит его кратковременные изменения (рис. 5.14, 5.15).

Кратковременное изменение состояния выхода типа 1-0-1 называется статическим единичным риском сбоя, кратковременное изменение состояния выхода типа 0-1-0 – статическим нулевым риском сбоя. Возможность появления в проектируемой схеме ложных переходов типа 1-0-1 или 0-1-0 может быть обнаружена на этапе минимизации логической функции.

Пример 5.1. Функция Y = f(A, B, C) задана на карте Карно (рис. 5.16, а). Спроектировать схему, реализующую функцию Y.

Рис. 5.16. Обнаружение статического нулевого риска сбоя: а – минимизация логической функции; б – реализуемая логическая схема; в – временные диаграммы

Решение:

Выполнив склеивание указанных на карте ячеек, получим функцию y в форме МКНФ.

.                                                    (5.1)

Из анализа выражения (5.1) видим, что если В = С=0, то. Выражение  является условием появления в схеме нулевого риска сбоя, что подтверждается временной диаграммой работы (рис. 5.16, в) синтезированной логической схемы (рис. 5.16, б), реализующей логическую функцию (5.1).

Чтобы спроектировать логическую схему, гарантированную от появления в ней статического нулевого риска сбоя, необходимо при минимизации исходной функции склеивать все соседние группы ячеек, как это показано на рис. 5.17, а. В результате появляется дополнительный сомножитель (ВÚС) в ранее полученной МДНФ вида (5.1), что не приводит к изменению значения функции, но гарантирует от появления нулевого риска сбоя. Действительно, при В = С = 0 получим:

.

Рис. 5.17. Устранение статического нулевого риска сбоя: а – минимизация логической функции; б – реализуемая логическая схема; в – временные диаграммы

Таким образом, приведенные на рис. 5.17, б, в синтезированная логическая схема и временная диаграмма ее работы иллюстрируют отсутствие нулевого риска сбоя.

Пример 5.2. Функция Y = f(A, B, C) задана на карте Карно (рис. 5.18, а). Спроектировать схему, реализующую функцию Y.

Решение.

Выполнив минимизацию исходной функции, получим МДНФ вида:

.                                                         (5.2)

Подставив в (5.2) значения В=С=1, получим . Это выражение является условием появления статического единичного риска сбоя. Рис. 5.18, б, в  иллюстрирует обнаружение в синтезированной схеме статического единичного риска сбоя.

Рис. 5.18. Обнаружение статического единичного риска сбоя: а – минимизация логической функции; б – реализуемая логическая схема; в – временные диаграммы

Для его устранения необходимо провести минимизацию исходной функции, как показано на рис. 5.19, а. В результате получим:

.                                                (5.3)

Рис. 5.19. Устранение статического единичного риска сбоя: а – минимизация логической функции; б – реализуемая логическая схема; в – временные диаграммы

Логическая схема, реализующая уравнение (5.3), и временная диаграмма ее работы представлены на рис. 5.19, б, в. Анализ работы вновь синтезированной схемы и выражения (5.3) подтверждает устранение единичного риска сбоя. Действительно, при В = С = 1 получаем: , что свидетельствует об отсутствии единичного риска сбоя.

Динамический риск сбоя возникает в тех случаях, когда состояние выхода по логике работы схемы должно измениться на противоположное, однако вместо однократного перехода с одного уровня на другой происходят многократные переходы (0-1-0-1 вместо 0-1; 1-0-1-0 вместо 1-0). Такие ситуации могут появиться в схемах, где один какой-либо сигнал проходит по трем и более путям и каждый путь имеет различные задержки распространения сигнала.

Пример 5.3. Проверить есть ли в схеме, изображенной на рис. 5.20, а, динамический риск сбоя.

Рис. 5.20. Выявление динамического риска сбоя: а – анализируемая логическая схема; б – временные диаграммы работы схемы

Таблица 5.5

Обнаружение динамического риска сбоя

ABC

Изменение С

Динамический риск

000

001

010

011

100

101

110

111

0—1

1—0

0—1

1—0

0—1

1—0

0—1

1—0

Нет

Нет

Нет

Нет

Да, если tздD1> tздD2

Нет

Нет

Нет

Решение.

Так как сигнал С может проходить по трем различным путям, то в схеме возможен динамический риск сбоя. Проведем анализ работы схемы при различных входных воздействиях. Если А = 0 (первые четыре комбинации сигналов в табл. 5.5), то на выходе элемента D4 сигнал равен единице, на выходе D2 сигнал равен нулю, и, следовательно, на выходе D5 динамического риска быть не может. Если В = 1, то D1 = 0 и на выходе D5 не может быть динамического риска. Таким образом, проверка на шести наборах, когда А = 0 или В = 1, показала, что динамические риски сбоя в схеме отсутствуют.

Анализ работы схемы при условии А = 1, В = 0 и при изменении сигналов С из нуля в единицу выявляет динамический риск сбоя на элементе D5 (рис. 5.20, б). На других наборах динамического риска сбоя нет. Для того чтобы построить схему, гарантированную как от статических, так и от динамических рисков сбоя, необходимо при проектировании логической схемы добиваться одинаковых по задержкам путей следования сигналов.