Типичные физические неисправности комбинационных логических сетей следующие:
1) обрывы входов и выходов логических элементов;
2) замыкания входов на землю или на источник питания;
3) замыкание нескольких входов между собой.
Эти неисправности превращают исходную комбинационную схему в комбинационную, реализующую другую функцию.
Замыкания входов и выходов элементов комбинационных сетей могут привести к тому, что комбинационная сеть превращается во временную.
При анализе неисправных комбинационных схем большое значение имеет выходное сопротивление источников входных сигналов данной схемы. Поясним это на примере логического элемента И-НЕ диодно-транзисторной логики (рис. 27).
Рис.27 Логический элемент И – НЕ ДТЛ
Пусть физической неисправностью будет замыкание накоротко диода VD 1 очевидно, что если x1 = x2 = 0, то выход z при замыкании VD1 не изменит своего значения. Если x1= 0, а х2 = 1, то выход зависит от внутреннего сопротивления источника x1. Если Ri1(0) велико, то делительR- Ri1(0) может создать такое напряжение на базе VT1, что транзистор откроется и при этом выход z может стать равным нулю (или попасть в запретную зону выходных сигналов логических элементов). Если Ri1(0) «R, то транзистор будет закрыт и z = 1.
При x1 =l и x2 = 0 и при высоком Ri2(0) и малом Ri1(0) транзистор будет открыт (z = 0), но если Ri2(0) мало, а Ri1(0) велико, то транзистор будет закрыт (z = 1).
У ТТЛ логических элементов И-НЕ при малых значениях R i источников входных сигналов выполняемая функция не нарушается при любых значениях входных сигналов. Однако если R i - источников входов будет велико при x1 = 0 или x2 = 0, часть логической схемы, выполняющая функцию И, может выдать такой выходной сигнал на часть схемы, выполняющую функцию НЕ, что выходное напряжение логического элемента может попасть в запретную зону или даже привести к выходу z = 0, т.е. будет нарушена выполняемая функция.
Следует отметить, что у современных ТТЛ логических элементов выходное сопротивление мало при любом значении выхода. Следовательно, если эти элементы создают входные сигналы для последующего логического элемента, то выполняемая логическая функция его не изменится. Читателю предлагается самостоятельно рассмотреть влияние внутреннего сопротивления источников входных сигналов на работу логических элементов МОП-логики.
Вернемся к вопросу диагностики комбинационных логических сетей. Для заданных физических неисправностей составляется ТФН (при этом надо помнить, к какому эффекту приводит данная неисправность, например, обрыв входов ТТЛ схем равносильно подаче на эти входы логических единиц). Затем удобно по ТФН составить ТОР, упростить ее и найти те комбинации входных сигналов, по которым можно найти комбинации, проверяющие работоспособность данной сети, как это было показано в п. 2.
В качестве примера проиллюстрируем ранее высказанное утверждение, что для поиска неисправностей нужно использовать не функциональный, а структурный подход.
Рассмотрим следующую логическую сеть (рис.28).
Рис.28 Пример логической сети
Легко определить, что выходной сигнал схемы имеет вид
После минимизации этого выражения получим
Составим ТФН, предположив, что техническими неисправностями могут быть обрывы входов логических элементов (эти входы на рис.28 обозначены арабскими цифрами). При обрыве входа 1 на вход 2 элемента «&» будет подаваться логический нуль. Следовательно на вход 6 элемента «М2» всегда подается нуль и, следовательно, zi = х2 + x3. Индекс у величины z указывает на номер возможных отрывов входов различных элементов. Можно найти выходные функции при одиночных обрывах входов:
Для удобства определения ТФН нарисуем карты Карно для этих функций z0… z7 (табл. 4.14).
Для этой логической цепи ТФН показана в табл.4.15 (выходы z4, z5, z7 эквивалентны, два из них z4, z5 – опущены). Табл.4.15
Из этой ТФН видно, что наборы входов и π2, π3 дают один и тот же эффект и π3 может быть изъят, как и для π6 и π7. На основе этой ТФН составим ТОР (табл. 4.16) (нули в таблице пропущены). Таблица 4.16
На основе вышеизложенных правил (п. 4.6) строка π1 и π6 поглощается строкой π0, столбец z6 поглощается столбцом z3 и столбец z3поглощает столбец z7.
Следовательно, для обнаружения любого дефекта достаточно подать набор π0, π2, π6. Проверим: при набореπ0 обнаруживаются дефекты 3, 6 и 7 (и, следовательно, 4 и 5). Наборπ2 обнаруживает обрыв входа 1 и набор π6 - обрыв входа 2 (а также 6). Таким образом, все возможные обрывы набором π0, π2, π6 обнаруживаются.
Теперь реализуем такую же логическую сеть, взяв за основу ту же функцию после ее минимизации z0 =х1х2+х2х3 (см. табл. 4.14). Дефектами могут быть также обрывы любых входов. Проведя аналогичные построения ТФН, ТОР и исключив из таблиц лишние строки и столбцы в соответствии с указанными ранее правилами, найдем, что проверочной комбинацией является набор π1, π3, π4.
Набор π1 обнаруживает обрыв входа элемента НЕ; набор πз - обрыв входов 1,4, 6,7; набор π4 - обрывы входов 2 и 5, 6,7.
Из этого примера видно, что одна и та же буква функции, регулируемая различными сетями, требует различных наборов для определения работоспособности сети.