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

UptoLike

ВУЗ: 

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

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

Рубрика: 

228
Разработка СВК для комбинационной схемы
ƒ
s
может произво-
диться в следующей последовательности.
1. Определение ограничения множества входных наборов
Χ′⊆Χ
.
2. Задание модели дефектов F(
ƒ
).
3. Определение таблицы истинности функции обнаружения
ошибок
Φ
:
Χ×Υ
→
{0,1}.
4. Минимизация частично определенной функции
Φ
.
5. Построение схемы
Φ
s
для функции
Φ
.
Продемонстрируем данную последовательность на простейшем
примере. Пусть необходимо построить СВК для комбинационной
схемы
ƒ
s
, которая реализует логическую функцию сложения по мо-
дулю два
ƒ
0
(x
1
,x
2
)=x
1
⊕
x
2
. Пусть также
Χ′
=
Χ
={0,1}
2
, так что исполь-
зуются все четыре возможных входных набора. Зада-
дим модель ошибок в виде
F(
ƒ
)={
ƒ
0
(x
1
,x
2
)=x
1
⊕
x
2
,
ƒ
1
(x
1
,x
2
)=x
1
∨
x
2
},
т.е. либо будет реализована функция
ƒ
0
, либо (в слу-
чае ошибки) дизъюнкция
ƒ
1
. Значения функций
ƒ
0
и
ƒ
1
приведены в табл. 6.17.
Для СВК
Φ
s
должны выполняться условия
Φ
(x
1
,x
2
,y)=0 для y=
ƒ
0
(x
1
,x
2
), т.е
Φ
(0,0,0)=
Φ
(0,1,1)=
Φ
(1,0,1)=
Φ
(1,1,0)=0 и
Φ
(x
1
,x
2
,y)=1 для у=
ƒ
1
(x
1
,x
2
)
≠
ƒ
0
(x
1
,x
2
),
т.е.
Φ
(1,1,1)=1.
Для всех остальных комбинаций аргументов функция
Φ не определена. В табл. 6.18 приведены значения
этой функции. Три входных набора 001, 010, 100 мо-
гут быть использованы для оптимизации схемы. В
качестве простейшего решения (доопределить функцию на этих
Таблица 6.17
x
1
x
2
ƒ
0
ƒ
0
0 0 0 0
0 1 1 1
1 0 1 1
1 1 0 1
Таблица 6.18
x
1
x
2
y Ф
0 0 0 0
0 0 1 -
0 1 0 -
0 1 1 0
1 0 0 -
1 0 1 0
1 1 0 0
1 1 1 1

Страницы