Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 1233 / 168 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Специальности: Разработчик аппаратуры
Лекция 14:

Моделирование неисправностей задержек распространения сигналов

< Лекция 13 || Лекция 14: 12 || Лекция 15 >

14.3 Моделирование задержек на основе многозначных логик

В работах [14.1,14.3] для анализа неисправностей типа "задержка распространения сигнала" использовалась шестизначная логика (которая также кратко будет рассмотрена в конце данного раздела). Мы, в основном будем использовать следующее подмножество D_{5} универсального алфавита

B_{16}:0=\{00\},1=\{11\},F0=\{00\cup 10\},F1=\{11\cup01\},u=\{00\cup 01\cup 10\cup 11\}

При анализе задержек распространения сигналов на паре <X_1,X_2> переменных внешних входов, изменяющихся 0\to 1 (передний фронт) присвоим значение F1. Аналогично переменным, с изменением 1\to 0 (задний фронт) припишем F0. Переменные входов, сохраняющие значения на этой паре наборов, получают значения 0 и 1 соответственно. После присваивания значений переменным внешних входов следует выполнить моделирование в алфавите D_{5}. Например, для пары наборов <X_1,X_2> рис. 14.1 результат моделирования в алфавите D_{5} приведен на том же рисунке. Очевидно, линии схемы, получившие значения F0 и F1, являются кандидатами на включение их в пути, проверяемые данной парой наборов на неисправности типа задержка сигнала. Чтобы точно определить проверяемые пути, необходимо найти пути в схеме, начинающиеся на внешних входах и заканчивающиеся на внешних выходах, все линии которых имеют значения F0 или F1 и удовлетворяющие указанным выше условиям.

Таким образом, пара <X_1,X_2> является неустойчивым тестом для пути P=(x_{i1}, x_{i2},. . ., x_{ik},. . ., x_{il}) (здесь x_{i1} - внешний вход, а x_{il} - внешний выход схемы) если при моделировании в алфавите D_{5} x_{ik}=F0 или x_{ik}=F1 для i\le k\le l и \cfrac{dx_{ik}}{dx_{ik-1}}|_{X=X_2}=1.

Отметим, что проверка условия \cfrac{dx_{ik}}{dx_{ik-1}}|_{X=X_2}=1 для основных вентилей выполняется достаточно просто: для вентилей типа ИЛИ, НЕ-И входы, не принадлежащие пути P, должны быть равны 1; для вентилей типа ИЛИ, НЕ-ИЛИ - 0. Например, для пути P_4=(x_3,x_7,x_9,x_10) рассматриваемого примера, пара <X_1,X_2> является неустойчивым тестом, так как выполняются вышеприведенные условия. Проверка устойчивости теста также достаточно проста и заключается в следующем. Можно показать, что для вентилей типа И, НЕ-И при распространении переднего фронта (x_{ik}=F1) остальные входы, не принадлежащие пути, должны иметь значения 1 или F1. Для заднего фронта (x_{ik}=F0) остальные входы должны быть равны только 1. Аналогично для вентилей типа ИЛИ, НЕ-ИЛИ при переднем фронте остальные входы должны иметь значения 0, а при заднем - значения 0 или F0. Например, для пути P_1=(x_3,x_7,x_9,x_11) эти условия выполняются. Достаточность этих условий вытекает из следующих рассуждений. Рассмотрим вентили G_{k} типа И, НЕ-И. Если на некоторый вход x_{ik} приходит изменение сигнала, то из условия

\cfrac{dG_k}{dX_{ik}}\left|_{X=X_2}=1

следует, что остальные входы должны иметь значения 1=\{11\} или F1=\{11 u01\}. Если это изменение образует передний фронт x_{ik}=F1, то остальные входы вентиля могут принимать любое из значений (1 или F1), так как задержка переднего фронта F1 на этих входах не может компенсировать задержку переднего фронта на входе x_{ik} и будет проявляться на выходе вентиля G_{k}. B случае заднего фронта на входе х_{ik} =F0, а остальные входы должны быть равны 1, так как задержка переднего фронта F1 на любом другом входе может привести к компенсации задержки заднего фронта на входе x_{ik}. Аналогично можно показать достаточность соответствующих условий и для вентилей типа ИЛИ, НЕ-ИЛИ.

Таким образом, моделирование пары наборов <X_{1},X_{2}> в алфавите D_{5} с последующей проверкой достаточных условий позволяет выявить неисправности типа задержка распространения сигналов по путям схемы, проверяемые данной парой. Более того, функции f^0,f^{D'},f^{D},f^{1} позволяют проводить параллельно моделирование множества пар наборов, что существенно повышает эффективность метода. В этом случае мы имеем аналог метода PPSF для неисправностей типа задержка распространения сигналов. Из всего вышесказанного следует, что универсальная модель функций f^0,f^{D'},f^{D},f^{1}, введенная в "Система многозначных алфавитов и функций" , позволяет эффективно решать и этот класс задач, весьма важный для современных ДУ.

В заключение отметим, что используемая в некоторых работах [14.1,14.4] шестизначная логика для моделирования рассмотренных неисправностей, функционирование в которой вентиля И представлено в табл. 14.1, может быть получена из универсальной 16-значной логики следующим образом.

Ее алфавит D_{6} образует подмножество B_{16}:0=\{00\},1=\{11\}, F0=\{00\cup 10\}, F1=\{11\cup 01\}, D=\{10\}, D'=\{01\}. Но для моделирования в алфавите D_{6} согласно табл. 14.1 необходимо скорректировать функции f^0,f^{D'},f^{D},f^{1}. Так для вентиля И в функции f^0 надо добавить один терм a^Db^D.

Таблица 14.1.
И 0 D F0 1 D' F1
0 0 0 0 0 0 0
D 0 F0 F0 D F0 F0
F0 0 F0 F0 F0 F0 F0
1 0 D F0 1 D' F1
D' 0 F0 F0 D' D' D'
F1 0 F0 F0 F0 D F1

Аналогично для вентиля ИЛИ в функции f^1 необходимо добавить терм a^{D'}b^{D'}. Таким образом скорректированные функции имеют вид:

  1. для вентиля И -
    
f^{0}=a^{0}\vee b^{0} \vee a^{D}b^{D'}\vee a^{D}b^{D'}\vee a^{D}b^{D},
f^{D'}=a^{D'}b^{1}\vee a^{1}b^{D}\vee a^{D'}b^{D'},\\
f^{D}=a^{D}b^{1}\vee a^{1}b^{D}\vee a^{D}b^{D},
f^{1}=a^{1}b^{1}
  2. для вентиля ИЛИ -
    
f^{0}=a^{0}b^{0},
f^{D'}=a^{D'}b^{0}\vee a^{0}b^{D'}\vee a^{D'}b^{D'},\\
f^{D}=a^{D}b^{0}\vee a^{0}b^{D}\vee a^{D}b^{D},
f^{1}=a^{1}\vee b^{1}\vee a^{D'}b^{D}\vee a^{D}b^{D'}\vee a^{D'}b^{D'},

B [14.1] показано, что данная логика позволяет моделировать неисправности типа задержка распространения сигналов. Это выполняется путем приписывания входам с передним (задним) фронтом значений D' (D) и моделирования в алфавите D_{6}. Пути от внешних входов до внешних выходов схемы, состоящие из линий со значениями D или D' устойчиво проверяются данной парой наборов. Здесь расширение алфавита дает возможность обойтись без проверки дополнительных условий. Отметим, что скорректированные функции f^0,f^{D'},f^{D},f^{1} также дают возможность моделировать параллельно группу наборов. Как правило, для проверки задержек распространения сигналов используют пары соседних наборов, отличающиеся значениями сигналов только для одного входа. Вопросы построения проверяющих тестов для этих неисправностей будут рассмотрены в следующей главе.

Ключевые термины:

Задержка - уменьшение времени распространения сигнала.

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

Неустойчивый тест - проверяет данную неисправность приопределенных условиях.

Шестизначная логика - используется для моделирования задержек и содержит 6 символов.

Краткие итоги

В лекции рассмотрены проблемы моделирования неисправностей "задержка", которые вызывают задержку распространения сигналов.

В "Моделирование неисправностей задержек распространения сигналов" вводится понятие неисправности "задержка распространения сигнала".

В "Моделирование неисправностей задержек распространения сигналов" вводится понятие устойчивого и неустойчивого теста для проверки неисправности "задержка".

"Моделирование неисправностей задержек распространения сигналов" посвящен моделированию неисправностей "задержка" с применением многозначных логик.

Вопросы и упражнения

  1. Что такое неисправность "задержка распространения сигнала"?
  2. Дайте определение устойчивого теста для неисправности "задержка".
  3. Дайте определение неустойчивого теста для неисправности "задержка".
  4. Какое подмножество универсального 16-значного алфавита можно использовать для моделирования неисправностей "задержка".
  5. Как используется 6-значная логика для моделирования неисправности "задержка".
< Лекция 13 || Лекция 14: 12 || Лекция 15 >
Дмитрий Медведевских
Дмитрий Медведевских

Добрый день  можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти  в известных источниках