Основы синтеза и диагностирования автоматов. Воронин В.В. - 231 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

227
ƒ
s
ƒ
s
VGL
x
y
F
Рис. 6.3
называется функцией обнаружения ошибок с моделью дефектов F(
ƒ
).
Техническая реализация
Φ
s
функции
Φ
есть СВК для
ƒ
s
с моделью
дефектов F(
ƒ
).
Блок-схема подлежащей контролю комбинационной схемы
ƒ
s
и
относящейся к ней СВК приведена на рис. 6.2. Если
ƒ
s
реализует
безошибочную функцию
ƒ
0
, то
Φ
s
выдает сигнал y
F
=0. Если же
ƒ
s
реа-
лизует
функцию модели дефектов и
для текущего входного набора x
имеет место
ƒ
0
(x)
≠ƒ
i
(x), то
Φ
s
выда-
ет сигнал ошибки y
F
=1. Для дефек-
тов, не относящихся к рассматриваемой модели дефектов, функция
обнаружения ошибок
Φ
не определена. Произвольные значения
функции
Φ
можно использовать для оптимизации СВК.
Ясно, что затраты на СВК, определяемую выражением (6.1),
могут быть столь же большими, как и при использовании дублиро-
вания и схем сравнения. Если доопределить все неопределенные
значения в (6.1) единицами и не ограничивать множество входных
наборов, то для СВК будет справедливо
⎧
0, x
∈Χ′
и y=
ƒ
0
(x);
Φ
(x,y)=
⎨
(6.2)
⎩
1, y
≠
ƒ
0
(x).
СВК, для которой выполняется (6.2), может быть представлено
в виде, показанном на рис.
6.3, т.е. она реализуется
дублированием и сравне-
нием. При этом устройст-
во сравнения VGL выдает
0, если сигналы на его входах совпадают, и 1, если сигналы на его
входах не совпадают.
x
ƒ
s
Φ
s
y
F
y
Рис. 6.2

Страницы