Проверка комбинационных логических схем

Комбинационная логическая схема содержит логические элементы и связи (соединения между ними). В таких схемах возможны дефекты:

Неисправности логических элементов, обрывы соединений, замыкания между соединениями, в том числе и с шинами питания, перепутывание связей (неправильный монтаж). Неисправности комбинационной схемы делят на 2 группы. Правильные неисправности, если содержащая её комбинационная схема остаётся в классе схем без памяти. Если в результате внесения неисправности комбинационная схема превращается в схему с памятью, то такую неисправность называют неправильной. Константные неисправности логического элемента и обрывы соединений всегда являются правильными неисправностями.

Перепутывание проводов, показанное на рисунке штриховой линией, приводит к образованию контура обратной связи, включающее в себя элементы 1 и 4. В результате этого исходная схема преобразуется в схему с памятью. Правильные неисправность подразделяются на константные и неконстантные. Для константных неисправностей характерно следующее свойство: функция, реализуемая неисправной схемой, может быть получена из функций исправной схемы, фиксацией в 0 или 1 её отдельных букв, или входящих в неё сложных выражений. Все неисправности, которые не удовлетворяют этому, относят к классу неконстантных неисправностей. Константные неисправность логических элементов и обрывы соединений всегда являются константными неисправностями комбинационной схемы. А замыкание между соединениями и перепутывание связей, как правило, является неконстантными. Кроме того, неконстантные неисправности возникают в ряде случаев и при дефектах логических элементов.

Например схема содержит 2 элемента И на диодах. Первый элемент (реализованный на R1, VD1,VD2) реализует фукнцию F1, второй элемент реализует F2. В случае КЗ диода 3 вместо функции F1 реализуется f=X1X2X3. В данном случае имеет место несовпадение место возникновения неисправности и место её проявления, а сама неисправность является неконстантной.