Описание на языке ЯЗОС

Разработка обнаруживающего теста

 

Этот тест должен проверять все возможные неисправности за минимальное количество тактов.

 

1–2 такт:

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

 

 

Таблица неисправностей:

 

 

3–4 такт:

Рассмотрим неисправности:

1₃ типа 0 – подаем на z1=1

9₃ типа 0 – подаем на z3=1

6₃ типа 1 – подаем на z2=0

12₃ типа 1 – подаем на z4=0

Соответственно для проверки этих неисправностей подаем:

z1=1

z2=0

z3=1

z4=0

Режим многоканального сигнатурного анализатора

График полноты для этих неисправностей:

 

 

Таблица неисправностей:

 

 

Из таблицы неисправностей можно заметить, что помимо отмеченных проверились и другие.

 

5–6 такт:

Неисправность 4₃= = 1

С=1 13₂=1

С=0 3₃=0

С=0 2₃=1

С=0 1₃=1

С=0 z1=1,

где С-синхросигнал.

Значит, чтобы проверить 4₃= = 1, надо на z1 подать 1

Неисправность 5₃= =0

C=0 z2=0

C=1 6₃=0

C=1 5₃= =0

Значит, чтобы проверить 4₃= = 1, надо на z1 подать 0

 

Неисправность 7₃= = 1

С=1 14₂=1

С=1 7₃= = 1

 

Неисправность 10₃= = 1

С=0 14₂=1

С=0 7₃=1

С=0 z3=1

С=0 9₃=1

С=0 8₃=0

С=1 15₂=1

С=1 10₃= = 1

Значит, чтобы выявить эту неисправность надо на 3–4 такт z3 подать 1

 

Неисправность 17₃= = 0

C=0 q3=1

C=0 q4=0

То ест подавая на исключающие ИЛИ разные сигналы, то можно проверить 17₃ на 0

 

Исходя из этих неисправностей подаем на вход:

z1=1

z2=0

z3=1

z4=1

Режим многоканального сигнатурного анализатора

 

График полноты теста:

 

 

Таблица непроверенных неисправностей:

 

 

 

7–8 такт:

Неисправность 6₃= =0

С=0 z2=1

C=0 b1=1

 

Неисправность 1₁= =1

С=0 z1=0

 

Неисправность 3₁= =1

С=0 z1=0

 

Исходя из этих неисправностей подаем на вход:

z1=0

z2=1

z3=0

z4=0

В режиме многоканального сигнатурного анализатора

 

График полноты теста:

 

Таблица непроверенных неисправностей

 

 

9–10 такт

Неисправность 1₂= =1

Необходим режим сброса: b1=0 b2=1

C=0 z1=1

Неисправность 6_2, 9_2,12₂ аналогично.

Значит на вход подаем:

z1=1

z2=1

z3=1

z4=1

b1=0

b2=1

 

График полноты теста:

 

 

Таблица непроверенных неисправностей:

 

11–12 такт

График полноты теста:

 

Таблица непроверенных неисправностей:

В итоге получилось добиться того, что полнота теста стала составлять 98% всего за 10 тактов.

Вывод

В курсовой работе была проведена отладка схема встроенного блока логических наблюдений BILBO. Затем был разработан тест, обнаруживающий неисправности типа константа 0 и константа 1. Полнота теста составила 98%.

Список использованной литературы

 

1. Гоманилова Н.Б., Погодин В.Н. «Методические указания к выполнению курсовой работы по дисциплине моделирование».