Ячейка одномерной однородной вычислительной среды Советский патент 1988 года по МПК G06F7/00 G06F11/25 

СО 00

. 00 to

Изобретение относится к цифровой . вычислительной технике, предназначено для использования в качестве базового элемента вычислительной среды, реализующей основную операцию d-пересече- ния алгоритма Рота и является усовершенствованием изобретения по авт. св. № 1173406. Цель изобретения - повьшение достоверности вычислений. Ячейка обеспечивает частичный функциональный контроль элементов в процессе работы на фиксацию неисправностей типа константа 1 и константа О. 1 ил, 1 табл.

го

13

Изобретение относится к цифровой вычислительной технике и предназначено в качестве базового элемента вычислительной среды, реализующей основную операцию d-алгоритма синтеза тестовых наборов для цифровых устройств

Цель изобретения - повышение достоверности вычислений ячейки одномерной однородной вычислительной среды.

На чертеже изображена функциональная схема предлагаемой ячейки.

Ячейка содержит элементы И 1-22, элементы ИЛИ 23-35, элементы ИЖ-НЕ 36-38, элементы ЗАПРЕТ 39-41, элементы НЕ 42 и 43, входы 44-51 и выходы 52-59.

Ячейка работает следующим образом.

В исходном состоянии на входах и выходах ячейки и на выходах элементов 1-21, 26-33 и 36-39 присутствует сигнал логического О, на выходах элементов 22, 36, 37, 42 и 43 - сигнал логической 1.

Одна ячейка осуществляет d-nepe- сечение одноименных координат векторов V, и V, которые в свою очередь представляют четырехзначные двоичные векторы |1, d, d , xj, где 1 принима- ет одно из двух логических значений (О или 1), а в позициях d, d , х представляется единица, если координата принимает значение d, d , х

соответственно, либо нули - в противном случае. Входы ячейки, помеd , X с ин35

ченные дексом

символами 1, d, 1 соответствуют

V,

V

г

индексом индексом

координате

2 - координате

о

у (1| . V GO (f Vo(.)V(l,,, lvd,x,) (1, , Jx It (l,v d,,v dljV x,v COVV V oL) V

(dvd )Vl(xvdVd )vdd ,

вектора вектора вектора V.,.

В таблице представлены значения

координаты вектора V, в зависимости от значений координат V, и V,.

Где первая квадратная скобка отража- координате 40 ет условие появления неисправности типа константа О, а вторая - константа 1.

В соответствии с таблицей выражение li 1| х,ч IjX , есть условие по45 явления на выходе либо d,либo d ,либo х, Ср, 6i , со , т.е. появление логической

На Ф,

3

3 d ,.

3

Of-1

выходах 1 реализуются булевы функции

l,,,; d,djVd,,

d.

d, dj gd|xjVX

X ,

X,

«L 1, . d, d, X, ;

( (d,vd;)()d,d, x,.

Случай когда единичный сигнал вырабатывается на одном из выходов оС,(; или СЭ (при V 0) соответствует непересечению векторов V, и V. Например, при подаче на входы 44-51 логических сигналов 11000000 на выходах элементов 1 и 20 и на выходе 52 ячейки появляются сигналы 1, при подаче на входы 44-51 логических сигналов 10000000 на выходах элементов 37, 35, 11 и 26 и выходе 57 ячейки появляется сигнал 1.

При исправное ти всех элементов ячейки на выходе 59у при всех разрешенных наборах входных сигналов будет сигнал О, так как реализуется следующая булева функция

у (1| . V GO (f Vo(.)V(l,,, lvd,x,) (1, , Jx It (l,v d,,v dljV x,v COVV V oL) V

(dvd )Vl(xvdVd )vdd ,

0

5

единицы, выражение ,Vx jVUv(|)V(i есть условие отсутствия на выходах сигнала 1.

В число допустимых выходных наборов входят наборы содержащие только одну 1. Выр ажение x(dvd )Vl 4xvdvd )Vdd J - есть условие появления на выходах одновременно более чем одной единицы.

Рассмотрим работу ячейки при появлении неисправности типа константа О. Пусть неисправен элемент 23 ИЛИ. При подаче на входы 44-51

сигналов 10000001 на выходах 52-58 в отсутствие неисправности должны появиться сигналы 1000000. Неисправность элемента ИЛИ 23 ведет к появлению на выходах 52-58 сигналов 0000000, при этом на выходах элементов 1,2,4-34,37,39 и 43 появляются сигналы О, на выходах элементов 3,35,36,38 и 40-42 появляются сигналы 1, на выходах 52-58 появляются сигналы 000000, а на выходе 59 появляется сигнал 1, сигнализирующий о наличии неисправности.

Рассмотрим работу ячейки при наличии неисправности типа константа 1. Пусть неисправен элемент И 4. При подаче на входы 44-51 сигналов 10000001 на выходах 52-58 в отсутствие неисправности должны появиться сигналы 1000000. Неисправность элемента И 4 ведет к появлению на выходах 52-58 сигналов 1100000, при этом на выходах элементов 1,2,5-18, 20-22, 25-30, 37, 39,41 и 43 появляется сигнал логического О, а на выходах элементов 3,4,19,23, 31-36, 38, 40 и 42 - сигнал 1.

Формула изобретения

Ячейка одномерной однородной вычислительной среды по авт. св. № 1173406, отличающая- с я тем, что, с целью повышения достоверности вычислений, в нее дополнительно введены шесть элементов И, пять элементов ИЛИ, третий элемент ЗАПРЕТ, третий элемент ИЛИ-НЕ, два элемента НЕ, причем первый вход ячейки соединен с входом первого элемента НЕ, выход которого соединен с первыми входами семнадцатого и восемнадцатого элементов И, выходы которых соединены с первым и вторым входами

третьего элемента ИЛИ-НЕ, третий вход которого соединен с выходом девят;и;-- цатого элемента И, первый вход кото- с рого соединен с вторым входом восс;м- надцатого элемента И и выходом пто- рого элемента НЕ, вход которого сг.е- динен с вторым входом ячейки, се/омой и восьмой входы которой соединены

o с вторыми входами семнадцатого и девятнадцатого элементов И соответственно, выход третьего ИЛИ-НЕ соединен с прямым входом третьего элемента ЗАПРЕТ, инверсный вход ко5 торого соединен с выходом девятого элемента ИЛИ, первый, второй, третий, четвертый, пятый, шестой и седьмой входы которого соединены с выходами первого, четвертого, пятого, шестого,

0 седьмого, восьмого элементов ИЛИ и двенадцатого элемента И соответственно, выход первого элемента ИЛИ соединен с первым входом двадцатого элемента И, второй вход которого соеди5 нен с выходом десятого элемента ИЛИ, первый вход которого соединен с первым входом двадцать первого элемента И и выходом одиннадцатого элемента ИЛИ, первый и второй входы которого

0 соединены с выходами четвертого и шестого элементов ИЛИ и с первым и вторым входами двадцать второго элемента И, выход которого соединен с первым входом двенадцатого элемента

г ИЛИ, второй и третий входы которого соединены с выходами двадцатого и двадцать первого элементов И, второй вход которого соединен с выходом двенадцатого элемента И и вторым входом

0 десятого элемента ИЛИ, выходы третьего элемента ЗАПРЕТ и двенадцатого элемента ИЛИ соединены с первым и вторым входами тринадцатого элемента ИЛИ, выход которого соединен с седьмым выходом ячейки.

V547

52 53 55 56