JPS63145546A - モジュロw回路 - Google Patents
モジュロw回路Info
- Publication number
- JPS63145546A JPS63145546A JP62158807A JP15880787A JPS63145546A JP S63145546 A JPS63145546 A JP S63145546A JP 62158807 A JP62158807 A JP 62158807A JP 15880787 A JP15880787 A JP 15880787A JP S63145546 A JPS63145546 A JP S63145546A
- Authority
- JP
- Japan
- Prior art keywords
- modulo
- value
- circuit
- output
- input
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
〔産業上の利用分野〕
本発明はデータ処理装置に関し、特に演算回路等のチェ
ックに用いられるモジュロW回路に関する。 以下倉口 〔従来の技術〕 モジュロW回路は、主に演算回路等のチェック回路とし
て、従来より頻繁に使用されているチェック回路の1つ
である。ところで、モジュラスWとしてはW=2”−1
(例えば、3,7.15.・・・)がしばしば用いられ
る。この理由は、モジュロWの値ftwビットで表現で
きるから、他のモジュラスに比べて低コストで実現でき
るからである(以下、 W=2”−1(DL代表トLテ
W= 2−1=3 を考エル。 Wは2以上の整数)。モジュロ3の3通りの値0゜1.
2に対し、2ビツトデータで表現することができる4通
りの値[0,O]、(:0,1)、(1゜0)、[1,
1)のうち3通りの値を定義づける。 例えば、0に対しくo、o)、iに対しく0.1)。 2に対しく1.03を対応させる。 第10図に従来のモジュロ3回路の一例を示す。 第10図を参照して、演算装置9000は第1人力デー
タと第2人力データとを入力すると、それぞ1141人
力オペランドレジスタ9001 m第2人力オ(ランド
レジスタ9002に格納し、演算回路9011によって
、第1人力オペランドと第2人力オペランドとの間の演
算を実行し、その結果を演算結果レジスタ9003に格
納し、その後出力する。 この演算装置9000におけるモジュロ3回路は。 モジュロ3期待値生成回路9012と、モジュロ3期待
値レジスタ9004と、モジュロ3一致チェック回路9
013と、エラー茨示フラグ9005とで構成される。 モジュロ3期待値生成回路9012は第1人力オペラン
ドレジスタ9001と第2人力オペランドレジスタ90
02とから、それぞれデータフ4ス901゜902を通
して第1人力オペランドと第2人力オ(ランドとを入力
すると、演算回路9011に対応したモジュロ3演算を
実行し、演算結果のモジュロ3の期待値を生成してデー
タバス912全通シテモジュロ3期待値レジスタ900
4に出力する。 モジュロ3期待値レジスタ9004はモジュロ3期待値
生成回路9012の出力であるモジュロ3期待値ヲデー
タi4ス912全通して入力し、格納した後、データバ
ス81全通してモジュロ3一致チェック回路9013に
出力する。 モジュロ3一致チェック回路9013は演算結果レジス
タ9003よりデータバス81全通して演算結果を入力
すると共に、モジュロ3期待値レジスタ9004よシデ
ータノ母ス904全通してモジ−フコ期待値を入力する
と、演算結果のモジュロ3を生成し、この値と、モジ−
フコ期待値が一致しているか否かをチェックし、一致し
ていないときはエラー報告をデータバス913全通して
エラー表示フラグ9005に出力する。 エラー表示フラグ(以後EIFと呼ぶ)9005は7’
−1;’ハス913 ’に通してエラー報告を入力する
とこれを格納し、以後解除信号金入力するまでその値を
保持すると共に、エラー報告をデータバス905全通し
、出力する。 上述した動作により、演算装置9000の故障が検出さ
れ、報告されるが一般的にモジュロ3チ工ツク回路にお
いては、第10図で説明したよりも詳細にチェックを実
行している。つまり、演算回路の最終結果だけでなく、
中間結果に対しても同様な一致チアックが実行されてい
る。この場合の中間結果のモジ−フコ期待値はデータッ
クス921を通って演算回路に入力される。 第11図は、演算装置内の演算回路の一部であって、そ
の中間結果に対してモジュロ3チエツクを実行する場合
の一例を示す図である。 第11図を参照して、演算回路8000は2個の2進デ
ータX、Yとそれぞれのモジュロ3値A。 Bとを入力し、XとYとの間の演算結果2と、2のモジ
ュロ3値Cと、モジュロ3チエツクの結果によるエラー
報告Eとを出力する。 第1人力レジスタ801と第2人力レジスタ802はそ
れぞれXとYとを入力し、格納した後。 それぞれデータックス81.82を通してX、Yを出力
し1図示のように演算回路811と、第1人カモジュロ
3生成回路812と第1人カモジュロ3生成回路813
の1人力とする。 演算回路811は、データフ4ス81を通してXを、r
−タックス82全通してYを入力するとXとYとの間で
演算を実行し、その演算結果z2データバス91全通し
、演算結果出力レジスタ803に出力する。 演算結果出力レジスタ803はデータバス81全通して
z2人力し格納した後、データバス81全通してzを出
力する。2は演算回路8000の出力となると共に、演
算結果モジュロ3生成回路816の1人力となる。 第1人カモジュロ3生成回路812はデータバス81全
通してXを入力すると、そのモジュロ3値を生成し、デ
ータバス92全通して出力し、−数回路814と、第1
モソユロ3保持レソスタ804の入力とする。 第2人カモジュロ3生成回路813t:tデータックス
82を通してYt−人力すると、そのモジュロ3値全生
成しデータバス93全通して出力し、−数回路815と
、第2モジュロ3保持レジスタ8050入力とする。 第1モジュロ3保持レジスタ804と第2モジエロ3保
持レジスタ805は、それぞれデータバス92.93’
を通してX、Yのモジュロ3値を入力し、格納した後、
それぞれデータックス84゜85全通してモジュロ3演
算回路817に入力される。 モジュロ3演算回路817はデータフ4ス84全通して
Xのモジュロ3値を、データバス85を通してYのモジ
ュロ3値を入力し、演算回路811の演算に対応したモ
ジュロ3演算を実行し、演算結果2のモソユロ3の期待
値を生成し、データバス97全通して出力し、−数回路
818の1人力とする。 演算結果モジュロ3生成回路816はデータバス81全
通して演算結果zを入力すると2のモジュロ3値全生成
しデータバス81全通して一致回路818と、モジュロ
3出力レジスタ806の1人力とする。 モジュロ3出力レジスタ806はデータバス96を通し
て2のモジュロ3値を入力し、格納した後、データフ9
ス86全通して2のモジュロ3値c6出力する。Cは演
算回路5oooの1出力として、後段のモジュロ3チェ
ック回路の入力等に用いられる。 一致回路814は、データ1?ス92を通して。 Xのモジュロ3値を入力すると共に、Xのモジュロ3期
待値Aを入力し、Xのモジュロ3値と、その期待値Aが
一致しているか否かをチェックし。 一致していないときはエラー報告をデータ・ぐス94全
通してEIF (エラー我示フラグ)808に出力する
。 一致回路815は、データ1?ス93よシ入力されるY
のモジュロ3値と、その期待値Bとを比較し、その結果
をデータバス95t−通してEIF’ 809に出力す
る。 さらに、−数回路818はデータバス96よシ入力され
る2のモジュロ3値と、データバス97より入力される
期待値とを比較し、その結果をデータックス98全通し
てEIF 807に出力する。 EIF 807 、808 、及び809は、それぞれ
データフ4ス98,94.及び95全通してエラー報告
全入力すると、これを格納し、以後解除信号全入力する
までその値を保持すると共に、その値を論理和回路81
0に出力する。 論理和回路810は、 EIF 807 # 808
、及び809のいずれかよシェラ−報告を入力すると。 故障発生を示すエラー報告Ei演算回路8000の1出
力として出力する。 〔発明が解決しようとする問題〕 第10図及び第11図に示す従来のモジュロ3回路では
、モジュロ3が「データの示す数値を3で割った余シ。 」であるという数学的理由から。 モジュロ3の値として3つまり2進データ[1,1]は
考慮されていないが1本来データ処理装置で用いられる
モジュロ3回路は回路の故障を検出するためのチェック
回路に用いられているのであるから、故障によってモジ
ュロ3の値が〔1、1)となるケースも考慮すべきであ
る。 例えば第11図において、第1人カモジュロ3生成回路
812の故障によシデータA?ス92のパス上に2進デ
ータ〔1、1,1が出力された場合。 従来のモジュロ3回路は(i、i)の入力に対する出力
は不定とされ、−数回路814.モジュロ3演算回路8
17.−数回路818等の出力は。 論理的な意味を持たず、その回路構成に依存する。 従ってモジュロ3回路自体の故障によって〔1゜1〕の
パターンが生じた場合、その故障を検出する事は困難で
あり、さらに演算回路上の故障によって演算結果が不正
となった場合もそのモジュロ3の値が、上記1:1.1
:lに対する出力と同じ値の場合には、その故障は検出
されず、そのチェック回路の検出率は著しく低下するば
かりでなく。 それより下段のチェック回路において、エラー我示フラ
グが点灯した時にはその故障箇所の指摘に誤りを生ずる
要因となる。 また演算回路の一部全LSI等で実現する様な場合その
LSI等単体の故障検出のための評価には。 通常ある種のテスト・ぐターンの入力に対する出力およ
びフリラグフロッグ内の値を用いて、LSI等内の論理
ダートや論理A?ターンの検証をする。 LSI内にモジュロ3回路を含む場合には、テスト入力
として〔1、1)のケースを含まないと、その検出率が
向上しないため、演算回路全体としては論理的に全く無
意味とされる〔1.1〕の入力に対しても論理の記述が
必要となりその論理は前述のように回路構成に完全に依
存するため、非常に複雑で容易に理解しがたい記述とな
ってしまう。 一方モジュロ3を用いたチェック方式としては。 前述の様にモジュロ3の期待値と、実際の演算結果から
生成されるモジュロ3の値とを一致チェックするため、
検出率を向上させるためには演算回路各部の期待値を生
成し、その個々にエラーフラグを設定する必要があり、
バー−ウェア量の増加が大きいと共に、その中の複数の
エラーフラグが点灯した時には、その原因が同じ故障に
よるものか否かの判別が困難である。 一般に、従来のモノーロW回路では2進値[1゜・・・
、1〕に対する考慮がされていないため、モジュロW回
路としての故障の検出率1分解能の向上が困難であり、
さらに近年のLSI化に伴うチェック回路の検証の際、
無意味な〔1、・・・、1〕の論理記述が設計効率向上
の妨げとなっているという欠点がある。 〔問題点を解決するための手段〕 本発明では、n(nは2以上の整数)個のW(Wは2以
上の整数)ビットデータA1=〔alll・・・’ ”
1w ] ”2”[A21 ” ”” ” 2w ]
’ ”” ”n=(”n+”・・・” ’nw 〕を入
力とし、該n個の入力A4.A2.・・・、An間での
モジュロW演算の結果”i: D= [d、 、・・・
、dw:]としたとき、前記入力A、 jk2.−・・
、Anのうちの1つ以上が〔1,・・・、l〕のときけ
C=〔1、・・・、1〕、その他のときはC=(d1、
・・・、d、)となるWビットデータC=〔C5,・・
・、ewE全出力するモソユロW演算回路と、Nビット
のデータ2のうち9MビットのデータZ1を入力とし、
該データ2.のモジュロW値E=(61m・・・、eW
″Jを生成し出方する第1モジュロW生成回路と、前記
データZのうち、前記データz、t−除いたN−Mビッ
トのデータz2を入力とし、該データz2のモジュロW
値F=(f1、・・・、 fw:1を生成し出力する第
2モジュロW生成回路と、前記モジュロW演算回路の出
力C=〔c1、・・・、cw)と、前記第2モジュロW
生成回路の出力F=〔f4.・・・” w )とを入力
とし、該入力CとFとの差C−FのモジュロW値をQ=
l:g1、・・・”w〕としたとき、前記入力C,Fの
うちの1つ以上が〔1,・・・、1〕のときはH=〔1
、・・・jl〕その他のときHH=[g1#・・・、g
w〕となるWビットデータI(=[h1、・・・、hW
Jを出力するモジュロW減算回路と、該モジュロW減算
回路の出力H=〔h1、・・・、hWJと、前記第1モ
ジュロW生成回路の出力E=〔e1、・・” # ew
]とを入力とし、n=Eのときはに==[61,−、e
W]、H!l:EまたHH,Eのうちの1つ以上が〔1
,・・・、1〕のときはに=〔1、・・・、1〕となる
Wビットデータに=[、に1.・・・、 碑) Th出
力するモジュロw一致回路とを備え、前記n個の入力デ
ータA、、A2.・・・。 An間の演算結果りから前記モジュロW値Fi差し引い
た結果Gと、前記モジュロW値Eとが一致し、かつ、入
力データのなかに[1,・・・、1)の値がないときF
in K =E ” (e 1 # ”’ # ew]
#その他のときはに=〔1、・・・、1〕となるWビ
ットデータに=[k1、・・・、 kW) !出力する
ようにしたことを特徴とするモジュロW回路が得られる
。 本発明ではさらに、モジュロW値の伝達パス上にあって
、該モジュロW値L=(t、、・・・、tW3と。 ストローブ信号とを入力とし、出力P=[1,・・・。 ■]の状態でストローブ信号を入力するとP=〔1,・
・・、1〕、その他の状態でストローブ信号を入力する
とp=(z1、・・・s tW]となるWビットデータ
P=[p1、・・・、pw)ta前記入方Lし〔t4.
・・・、 1.3の1ストローブ後のモジュロW値とし
て出力するモジュロWレジスタを備えておF:J#前記
n個の入力データA1 s A2 w ”” j An
間の演算結果りから前記モジュロW値F’(差し引いた
結果Gと、前記モジュロW値Eとが一致し、かつ、入力
データのなかに〔1,・−、i )の値がないときは、
Wビットデータに=E=〔C4,・・・、ew〕を出力
し、その他のときはに=[1,・・・、1〕を保持し、
出力すると共に、前記モジュロWレジスタの保持値によ
って、〔1,・・・、11の伝達経路を検出するように
したこと全特徴とするモジュロW回路が得られる。 また本発明では上記のモジュロWレジスタには。 前記入力L=〔1、・・・、1〕またはP=[1,・・
・。 1〕の状態でストローブ信号を入力するとq=t。 その他の状態でストローブ信号を入力するとq=Oとな
る1ビツトデータqを出力する機能が付加され、前記n
個の入力データA1 # A2 #・・・、An間の演
算結果りから前記モジュロW値Fを差し引いた結果Gと
、前記モジュロW値Eとが一致し。 かつ、入力データのなかに〔1,・・・、1〕の値がな
いときはwビットデータに=E=〔e1、・・・、ew
〕を出力し、その他のときはに=[1、・・・、1〕を
保持し、該Wビットデータにと前記1ピツトデータqに
よって、エラー報告とを出力すると共に前記モジュロW
レゾスタの保持値によって〔1,・・・。 1〕の伝達経路全検出するようにしたことを特徴とする
モジュロW回路が得られる。 〔実施例〕 次に本発明について図面を参照して説明する。 なお、ここでは、モジュロW回路の一例としてモジュロ
3回路について説明する。 第1図は1本発明の第1の実施例を示すブロック図であ
る。 第1図を参照して、モジュロ3回路1000は。 Nビットのデータ2と、2個の2ピツトデータA。 Bとを入力とし、2ONビツトのうちのNビット(M<
N )のデータ2.のモジュロ3値Kl出力する。 第1モジュロ3生成回路101は、Nビットの入力デー
タZのうちのNビットのデータz、f、入力すると、2
のモジュロ3値E ” Ce 1 a e2 :lを生
成し、データックス11を通して出力し、モジュロ3一
致回路10501人力とする。 第2モジュロ3生成回路102H,Nビットの入力デー
タZのうちのデータZ1t−除いたN−Nビットのデー
タz2ヲ入力すると、Z2のモジュロ3値F=〔f4.
f2〕を生成し、データバス12全通して出力し、モジ
ュロ3演算回路104の1入力とする。 モジュロ3演算回路103は、2個の2ビットデータA
、Bとを入力し、A、B間でモジュロ3演算を実行し、
その結果のモノユr:13値をD=〔d1、d2〕とす
ると、C=D=〔d4.d2〕となる2ピツトデータC
=〔c1、c2〕を出力する。ただし入力A、Hのうち
の1つ以上が[1,1〕のときはC=〔1、11を出力
する。出力Cは、データックス13を通ってモジュロ3
減算回路104の1人力となる。 モジュロ3減算回路104け、データバス12を通して
モジュロ3値Fを、データバス13を通してモジュロ3
値Cを入力すると、C−Fのモジュロ3減算を実行し、
その結果のモジュロ3値をG=[g 、g :lと
すると# H=G ”= (g 1− g2 ]となる
2ビツトデータH=〔h1、h2〕を出力する。ただし
、入力C,Fのうちの1つ以上が〔1゜1〕のときけ)
(=[1,1)を出力する。出力Hはデータックス14
を通゛りてモジュロ3−数回路105の1人力となる。 モジュロ3−数回路105はデータノやス11全通して
モジュロ3値E1、データバス14を通してモジュロ3
値Ht−人力すると、EとHの一部チエツジを実行し、
H=Eのときはに=E=〔e1、e2〕となる2ビツト
データKを出力する。ただし、HNEまたは入力H,E
のうちの1つ以上が[1,1]のときはに=[1,1′
3t−出力する。 出力にはデータックス15を通。てモジュロ3回路10
00の出力となる。 モジュロ3回路1000において0例えば第2モジュロ
3回路102の故障によってデータノJ?ス12上にモ
ジュロ3の値として[1,1]が発生すると、この[1
,1]の値はモジュロ3減算回路104を経て、データ
ノやス141&:通りモジュロ3一致回路105を経て
、データバス15′1に通り。 モジュロ3値に=[1,1]i出力する。 また、第2の例として、入力A=(1、1]の時は、[
1,13の値はモジュロ3演算回路103を経て、デー
タバス13を通り、モジュロ3減算回路104i経て、
データバス14を通り、モヅエロ3一致回路105t−
経てデータバス15を通り、モジュロ3値に=[1,1
]i出力する。 さらに第3の例として、モジ−03回路1000金、N
ビットの2進数XとYとの和2の上位Mビットデータz
、ヲ求める加算回路のチェック回路として使用し、Xと
Yのそれぞれのモノユo3値をA、Bとすると、モジュ
ロ3演算回路103は。 AとBとの間でモジュロ3加算を実行し、A[ilul
モノュロ3値iD=〔d1、d2]とすると、 C=D
=Cdl e d2 ]となる2ビットデータC=〔c
1、c2〕をデータノぐス13全通して出力し、モジュ
ロ3減算回路の1人力とする。一方、加算結果のNビッ
トのデータ2のうち、下位N−Nビットのデータz2が
第2モジュロ3生成回路102に入力され、Z(Dモジ
ュロ3値F=Cfl 、 12 ) カテータt4ス1
2ft通ってモジュロ3減算回路の1人力となる。モジ
ュロ3減算回路でけC−Fのモジュロ3値をG=(g1
mg2 ]とすると、 H=G士〔gl。 g2)となる2ビツトデータHをデータノeス141&
:通して出力し、モジュロ3−数回路の1人力とする。 第1モジュロ3生成回路は加算結果のNビットのデータ
2のうち上位Nビットのデータz、ヲ入力し。 2、のモジュロ3値E’)生成しデータバス11i通し
て出力し、モジュロ3一致回路105の1入力とする。 ここで2のモジュロ3値=z1のモジュロ3値+22の
モジュロ3値=Xのモジュロ3値十Yのモジュロ3値と
いうモジュロ3演算における等式が成立するから、田を
モジュロ3加算1ロヲモ7ユロ3減算とすると、z、の
モジュロ3値E= A [EI B 9 F = C[
] F = H(7) h f T: アル。従ッテモ
ジュロ3一致回路の出力に=E=〔e4.e2〕となる
。しかし、XとYの加算回路の故障またはモジュロ3回
路内体の故障によりHOEまたはHlEのうち1つ以上
が[1,1)となった時は、出力に=〔1、1)となる
。 以上述べた様°に、モジュロ3回路1000内の故障、
または入力モジュロ3値の異常、また、はチェック対象
の演算回路の故障の時は、出力モジュロ3値には、モジ
ュロ3の値としては不正な値〔1゜1〕となり、モジュ
ロ3回路1000の出力により。 前段で故障が発生していることを後段のモジュロ3回路
に伝達する事ができる。 第2図は本発明の第2の実施例であシ1本発明のモジュ
ロ3回路をチェック回路として使用した演算回路のブロ
ック図である。 第2図を参照して、演算回路2000は、2個の2進デ
ータX、Yと、それぞれのモジュロ3値A。 Bとを入力とし、XとYとの間の演算結果Zのうちの1
部のデータz1と、Z、のモジュロ3値Cとを出力する
。 第1人力レジスタ701と、゛第2人カレソスタ702
ii’、それぞれXとYとを入力し、格納した後、それ
ぞれデータバス71.72i通してX。 Yi比出力1図示のように演算回路601と、第1人カ
モジュロ3生成回路602と、第2人カモジュロ3回路
603の1人力とする。 演算回路601は、データックスフ1全通してXを、デ
ータバス72全通してyl入力すると、XとYとの間で
演算を実行し、その演算結果zlデータ)4ス61を通
し、演算結果出力Vジスタフ03に出力する。 演算結果出力レソスタ703は、データ・ぐス61全通
してz1入力し、格納した後、データバス731全通し
て2の1部のデータZI Kl” mデータックスフ1
全通して残りのデータz2ヲ出力する。2.は演算回路
2000の出力となる。と共に。 第1結果モノーロ3生成回路201の1人力となり、z
2は第2結果モジュロ3生成回路202の1入力となる
。 第1人カモジュロ3生成回路602は、データバス71
を通してXを入力すると、そのモジュロ3値を生成し、
データバス62全通して出力し。 第1人カモジュロ3−数回路604の1入力とする。 第1結果モソユロ3生成回路603は、データバス72
全通してY全入力すると、そのモジュロ3値を生成し、
データ/ぐス63全通して出力し。 第1人カモジュロ3一致回路605の1人力とする。 第1結果モソユロ3生成回路201ば、データックスフ
1?通してz、全入力すると、そのモジュロ3値を生成
し、データバス21全通して出力し、第1結果モソユロ
3−数回路204の1人力とする。 第2結果モジュロ3生成回路202はデータックスフ1
全通して22全入力すると、そのモジュロ3値を生成し
、データフ9ス22全通して出力し。 モノーロ3減算回路20301人力とする。 第1結果モソユロ3一致回路604はデータノPス62
を通してXのモジュロ3値を入力すると共に、Xのモジ
ュロ3期待値Ae入力し、Xのモジュロ3値と、その期
待値Aが一致しているか否かをチェックし、一致してい
る時はXのモジュロ3値をそのまま出力し、Xのモジュ
ロ3値と期待値Aとのいずれかが〔1、1)の時、ある
いはXのモジュロ3値と期待値Aが一致していない時は
〔1、1)を出力し、出力されたモジュロ3値はデータ
バス21全通して第1モジュロ3保持レジスタ7040
1人力とする。 第2人力モジ−ロ3一致回路605はデータバス21全
通してYのモジュロ3値全入力すると共に、Yのモジュ
ロ3期待値Bを入力し、第1人カモジュロ3−数回路6
04と同様に一致チェックを実行し、Yのモジュロ3値
あるいは[1,13を、データックス65全通して出力
し、第2モジュロ3保持レジスタ705の1人力とする
。 第1モジュロ3保持レジスタ704は、データバス64
全通して、第1結果モジュロ3一致回路604の出力モ
ジュロ3値を入力し、ストローブ信号によって格納後、
データバス74全通して出力し、モジュロ3演算回路6
07の1人力とする。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が[1,1]のときはストローブ信号入力後も〔1、1
)が保持され、ストローブ信号に拘らず1本レジスタの
出力モジュロ3値は〔1、1:!を保ち、変化しない。 第2モジュロ3保持レジスタ705は、データバス65
を通し、第1結果モジュロ3一致回路605の出力モジ
ュロ3値全入力し、ストローブ信号によって格納後、デ
ータバス75全通して出力し、モジュロ3演算回路60
7の1人力とする。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が〔1、1)のときは、第1モジュロ3保持レノスタフ
04と同様に、(:1.1〕が保持され、出力は変化し
ない。 モジュロ3演算回路607は、第1モジュロ3保持レノ
スタフ04の出力モジュロ3値をデータノ’?スフ4を
通して入力とすると共に、第2モソユロ3保持レジスタ
705の出力モジュロ3値をデータバス75全通して入
力とし、いずれかのモノエコ3値が[:1,1]の時は
1(1*1)をそのまま出力し1両方共に[i、t)で
ない時には。 その2個のモジュロ3演算で、演算回路601に対応し
たモジュロ3演算を実行し、その結果を出力する。 モジュロ3演算回路607の出力は演算結果Zのモジュ
ロ3期待値として、データバス67七通してモノーロ3
減算回路203の1人力とする。 モジュロ3減算回路203はデータノfス22を通して
前記演算結果2の一部z2のモジュロ3値を入力すると
共に、データバス67全通して2のモジュロ3期待値全
入力とし、いずれかのモジュロ3値が〔1,1〕のとき
は〔1,1〕をそのまま出力し1両方共に[1,1]で
ない時には、Z−22のモジュロ3値金生成して出力す
る。 モジュロ3減算回路203の出力は、演算結果の一部z
1のモジュロ3値待値としてデータバス23全通して第
1結果モジュロ3−数回路204の1人力となる。 第1結果モジュロ3−数回路204は、データックス2
1全通して演算結果2の一部2.のモゾーロ3値を入力
すると共に、データ・ぐス23全通して2.のモジュロ
3期待値を入力すると、第1結果モジュロ3一致回路6
04.および第2人力モジ二ロ3一致回路605と同様
に、zlのモジュロ3値と、その期待値との一致チェッ
クを実行し、一致している時は2.のモジュロ3値をそ
のまま出力し、zlのモゾーロ3値と期待値とのいずれ
かが[1,1)の時、あるいはzlのモジュロ3値とそ
の期待値が一致していない時は[1,l〕’に出力し、
出力されたモジュロ3値は、データ・/4’ス24全通
してモジュロ3出力レヅスタ706の入力となる。 モジュロ3出力レジスタ706は第1結果モジュロ3−
数回路204の出力モジュロ3値をデータバス68を通
して入力し、ストローブ信号によって格納後、データノ
やスフ6全通して出力する。 この出力モジュロ3値Cは、演算回路2000の1出力
として後段のモジュロ3回路の入力等に用いられる。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が[1,1]の時は、第1.第2モジュロ3保持レジス
タ704.705と同様に、〔1゜l〕が保持され、出
力は変化しない。 演算回路2000において1例えば第1モジュロ3保持
レジスタ704の出力に故障が生じ、データバス23全
のモジュロ3値が[1,1]となった場合、モジュロ3
の値として不正な値〔1、11Fi、データバス74全
通り、モジュロ3演算回路607を経て、データノにス
67を通υ、モソユロ3減算回路203t−経て、デー
タバス23f、通り。 第1結果モジュロ3−数回路204を経て、データノ母
ス24t−通シモジュロ3出力レジスタ706を経て、
データIJ?スフ6を通って、モジュロ3値C=[1、
1]を出力する。 また第2の例として第2人カモジュロ3一致回路605
によシYのモジュロ3値と、その期待値Bが一致しない
時は、[1,1]がデータフ9ス65全通して出力され
、第2モジュロ3保持レソスタ705からデータi4ス
フ5を通り、モジュロ3演算回路607からデータバス
67を通り、モジ、口3減算回路203から、データA
?ス23を通り、第1結果モジュロ3−数回路204か
らデータバス24を通り、モジュロ3出力レジスタ70
6からデータノeスフ6f:通ってモジュロ3値C=[
1,1]を出力する。 さらに演算回路601の故障によって演算結果2が異常
な値のときは、データ)4ス21,22上のモジュロ3
値のいずれかのモジュロ3値が異常となる。データ/4
ス22上のモジュロ3値が異常な値のときは、モジュロ
3減算回路203を経てデータバス23を通り#z、の
モジュロ3期待値としては異常な値が第1結果モジュロ
3−数回路204に入力され、データ/?ス21からの
zlのモジュロ3値と一致チェックが実行され、一致し
ない時の値〔1、1:lがデータバス24全通って出力
され、モジュロ3出力レジスタ706からデータバス7
6を通って、モジュロ3値C=[1,13を出力する。 入力の期待値A=[:1.1]の場合も同様であり、デ
ータノfス64,74,67.23,24.及び76上
のモジュロ3値は[1,13とな9.モノ1口3値C=
[1,1]を出力する。 以上述べた様に、演算回路200o内に故障が生じた時
または入力データが不正の時には、出方モジュロ3値C
はモジ−口3の値としては不正な値[1,1]となり、
演算回路2000の出力Cより前段で故障が生じた事を
後段のモジュロ3回路に伝達する事ができる。 またこのモジュロ3値C=〔1、1)によって。 故障が報告された後回路全体のどの部分で故障が生じた
かを知るために、不正なモジュロ3値〔1゜■〕がどの
ように伝搬してきたかを調べれば、故障箇所を指摘する
ことが容易である。 第3図は本発明の第3の実施例を示すブロック図であシ
、第2図の演算回路2000内の3個のモジュロ3レジ
スタ704,705,706に入力モジュロ3値または
出力モジュロ3値が〔1,1〕の状態でストローブ信号
を入力すると〔l〕、その他の状態でストローブ信号を
入力すると
ックに用いられるモジュロW回路に関する。 以下倉口 〔従来の技術〕 モジュロW回路は、主に演算回路等のチェック回路とし
て、従来より頻繁に使用されているチェック回路の1つ
である。ところで、モジュラスWとしてはW=2”−1
(例えば、3,7.15.・・・)がしばしば用いられ
る。この理由は、モジュロWの値ftwビットで表現で
きるから、他のモジュラスに比べて低コストで実現でき
るからである(以下、 W=2”−1(DL代表トLテ
W= 2−1=3 を考エル。 Wは2以上の整数)。モジュロ3の3通りの値0゜1.
2に対し、2ビツトデータで表現することができる4通
りの値[0,O]、(:0,1)、(1゜0)、[1,
1)のうち3通りの値を定義づける。 例えば、0に対しくo、o)、iに対しく0.1)。 2に対しく1.03を対応させる。 第10図に従来のモジュロ3回路の一例を示す。 第10図を参照して、演算装置9000は第1人力デー
タと第2人力データとを入力すると、それぞ1141人
力オペランドレジスタ9001 m第2人力オ(ランド
レジスタ9002に格納し、演算回路9011によって
、第1人力オペランドと第2人力オペランドとの間の演
算を実行し、その結果を演算結果レジスタ9003に格
納し、その後出力する。 この演算装置9000におけるモジュロ3回路は。 モジュロ3期待値生成回路9012と、モジュロ3期待
値レジスタ9004と、モジュロ3一致チェック回路9
013と、エラー茨示フラグ9005とで構成される。 モジュロ3期待値生成回路9012は第1人力オペラン
ドレジスタ9001と第2人力オペランドレジスタ90
02とから、それぞれデータフ4ス901゜902を通
して第1人力オペランドと第2人力オ(ランドとを入力
すると、演算回路9011に対応したモジュロ3演算を
実行し、演算結果のモジュロ3の期待値を生成してデー
タバス912全通シテモジュロ3期待値レジスタ900
4に出力する。 モジュロ3期待値レジスタ9004はモジュロ3期待値
生成回路9012の出力であるモジュロ3期待値ヲデー
タi4ス912全通して入力し、格納した後、データバ
ス81全通してモジュロ3一致チェック回路9013に
出力する。 モジュロ3一致チェック回路9013は演算結果レジス
タ9003よりデータバス81全通して演算結果を入力
すると共に、モジュロ3期待値レジスタ9004よシデ
ータノ母ス904全通してモジ−フコ期待値を入力する
と、演算結果のモジュロ3を生成し、この値と、モジ−
フコ期待値が一致しているか否かをチェックし、一致し
ていないときはエラー報告をデータバス913全通して
エラー表示フラグ9005に出力する。 エラー表示フラグ(以後EIFと呼ぶ)9005は7’
−1;’ハス913 ’に通してエラー報告を入力する
とこれを格納し、以後解除信号金入力するまでその値を
保持すると共に、エラー報告をデータバス905全通し
、出力する。 上述した動作により、演算装置9000の故障が検出さ
れ、報告されるが一般的にモジュロ3チ工ツク回路にお
いては、第10図で説明したよりも詳細にチェックを実
行している。つまり、演算回路の最終結果だけでなく、
中間結果に対しても同様な一致チアックが実行されてい
る。この場合の中間結果のモジ−フコ期待値はデータッ
クス921を通って演算回路に入力される。 第11図は、演算装置内の演算回路の一部であって、そ
の中間結果に対してモジュロ3チエツクを実行する場合
の一例を示す図である。 第11図を参照して、演算回路8000は2個の2進デ
ータX、Yとそれぞれのモジュロ3値A。 Bとを入力し、XとYとの間の演算結果2と、2のモジ
ュロ3値Cと、モジュロ3チエツクの結果によるエラー
報告Eとを出力する。 第1人力レジスタ801と第2人力レジスタ802はそ
れぞれXとYとを入力し、格納した後。 それぞれデータックス81.82を通してX、Yを出力
し1図示のように演算回路811と、第1人カモジュロ
3生成回路812と第1人カモジュロ3生成回路813
の1人力とする。 演算回路811は、データフ4ス81を通してXを、r
−タックス82全通してYを入力するとXとYとの間で
演算を実行し、その演算結果z2データバス91全通し
、演算結果出力レジスタ803に出力する。 演算結果出力レジスタ803はデータバス81全通して
z2人力し格納した後、データバス81全通してzを出
力する。2は演算回路8000の出力となると共に、演
算結果モジュロ3生成回路816の1人力となる。 第1人カモジュロ3生成回路812はデータバス81全
通してXを入力すると、そのモジュロ3値を生成し、デ
ータバス92全通して出力し、−数回路814と、第1
モソユロ3保持レソスタ804の入力とする。 第2人カモジュロ3生成回路813t:tデータックス
82を通してYt−人力すると、そのモジュロ3値全生
成しデータバス93全通して出力し、−数回路815と
、第2モジュロ3保持レジスタ8050入力とする。 第1モジュロ3保持レジスタ804と第2モジエロ3保
持レジスタ805は、それぞれデータバス92.93’
を通してX、Yのモジュロ3値を入力し、格納した後、
それぞれデータックス84゜85全通してモジュロ3演
算回路817に入力される。 モジュロ3演算回路817はデータフ4ス84全通して
Xのモジュロ3値を、データバス85を通してYのモジ
ュロ3値を入力し、演算回路811の演算に対応したモ
ジュロ3演算を実行し、演算結果2のモソユロ3の期待
値を生成し、データバス97全通して出力し、−数回路
818の1人力とする。 演算結果モジュロ3生成回路816はデータバス81全
通して演算結果zを入力すると2のモジュロ3値全生成
しデータバス81全通して一致回路818と、モジュロ
3出力レジスタ806の1人力とする。 モジュロ3出力レジスタ806はデータバス96を通し
て2のモジュロ3値を入力し、格納した後、データフ9
ス86全通して2のモジュロ3値c6出力する。Cは演
算回路5oooの1出力として、後段のモジュロ3チェ
ック回路の入力等に用いられる。 一致回路814は、データ1?ス92を通して。 Xのモジュロ3値を入力すると共に、Xのモジュロ3期
待値Aを入力し、Xのモジュロ3値と、その期待値Aが
一致しているか否かをチェックし。 一致していないときはエラー報告をデータ・ぐス94全
通してEIF (エラー我示フラグ)808に出力する
。 一致回路815は、データ1?ス93よシ入力されるY
のモジュロ3値と、その期待値Bとを比較し、その結果
をデータバス95t−通してEIF’ 809に出力す
る。 さらに、−数回路818はデータバス96よシ入力され
る2のモジュロ3値と、データバス97より入力される
期待値とを比較し、その結果をデータックス98全通し
てEIF 807に出力する。 EIF 807 、808 、及び809は、それぞれ
データフ4ス98,94.及び95全通してエラー報告
全入力すると、これを格納し、以後解除信号全入力する
までその値を保持すると共に、その値を論理和回路81
0に出力する。 論理和回路810は、 EIF 807 # 808
、及び809のいずれかよシェラ−報告を入力すると。 故障発生を示すエラー報告Ei演算回路8000の1出
力として出力する。 〔発明が解決しようとする問題〕 第10図及び第11図に示す従来のモジュロ3回路では
、モジュロ3が「データの示す数値を3で割った余シ。 」であるという数学的理由から。 モジュロ3の値として3つまり2進データ[1,1]は
考慮されていないが1本来データ処理装置で用いられる
モジュロ3回路は回路の故障を検出するためのチェック
回路に用いられているのであるから、故障によってモジ
ュロ3の値が〔1、1)となるケースも考慮すべきであ
る。 例えば第11図において、第1人カモジュロ3生成回路
812の故障によシデータA?ス92のパス上に2進デ
ータ〔1、1,1が出力された場合。 従来のモジュロ3回路は(i、i)の入力に対する出力
は不定とされ、−数回路814.モジュロ3演算回路8
17.−数回路818等の出力は。 論理的な意味を持たず、その回路構成に依存する。 従ってモジュロ3回路自体の故障によって〔1゜1〕の
パターンが生じた場合、その故障を検出する事は困難で
あり、さらに演算回路上の故障によって演算結果が不正
となった場合もそのモジュロ3の値が、上記1:1.1
:lに対する出力と同じ値の場合には、その故障は検出
されず、そのチェック回路の検出率は著しく低下するば
かりでなく。 それより下段のチェック回路において、エラー我示フラ
グが点灯した時にはその故障箇所の指摘に誤りを生ずる
要因となる。 また演算回路の一部全LSI等で実現する様な場合その
LSI等単体の故障検出のための評価には。 通常ある種のテスト・ぐターンの入力に対する出力およ
びフリラグフロッグ内の値を用いて、LSI等内の論理
ダートや論理A?ターンの検証をする。 LSI内にモジュロ3回路を含む場合には、テスト入力
として〔1、1)のケースを含まないと、その検出率が
向上しないため、演算回路全体としては論理的に全く無
意味とされる〔1.1〕の入力に対しても論理の記述が
必要となりその論理は前述のように回路構成に完全に依
存するため、非常に複雑で容易に理解しがたい記述とな
ってしまう。 一方モジュロ3を用いたチェック方式としては。 前述の様にモジュロ3の期待値と、実際の演算結果から
生成されるモジュロ3の値とを一致チェックするため、
検出率を向上させるためには演算回路各部の期待値を生
成し、その個々にエラーフラグを設定する必要があり、
バー−ウェア量の増加が大きいと共に、その中の複数の
エラーフラグが点灯した時には、その原因が同じ故障に
よるものか否かの判別が困難である。 一般に、従来のモノーロW回路では2進値[1゜・・・
、1〕に対する考慮がされていないため、モジュロW回
路としての故障の検出率1分解能の向上が困難であり、
さらに近年のLSI化に伴うチェック回路の検証の際、
無意味な〔1、・・・、1〕の論理記述が設計効率向上
の妨げとなっているという欠点がある。 〔問題点を解決するための手段〕 本発明では、n(nは2以上の整数)個のW(Wは2以
上の整数)ビットデータA1=〔alll・・・’ ”
1w ] ”2”[A21 ” ”” ” 2w ]
’ ”” ”n=(”n+”・・・” ’nw 〕を入
力とし、該n個の入力A4.A2.・・・、An間での
モジュロW演算の結果”i: D= [d、 、・・・
、dw:]としたとき、前記入力A、 jk2.−・・
、Anのうちの1つ以上が〔1,・・・、l〕のときけ
C=〔1、・・・、1〕、その他のときはC=(d1、
・・・、d、)となるWビットデータC=〔C5,・・
・、ewE全出力するモソユロW演算回路と、Nビット
のデータ2のうち9MビットのデータZ1を入力とし、
該データ2.のモジュロW値E=(61m・・・、eW
″Jを生成し出方する第1モジュロW生成回路と、前記
データZのうち、前記データz、t−除いたN−Mビッ
トのデータz2を入力とし、該データz2のモジュロW
値F=(f1、・・・、 fw:1を生成し出力する第
2モジュロW生成回路と、前記モジュロW演算回路の出
力C=〔c1、・・・、cw)と、前記第2モジュロW
生成回路の出力F=〔f4.・・・” w )とを入力
とし、該入力CとFとの差C−FのモジュロW値をQ=
l:g1、・・・”w〕としたとき、前記入力C,Fの
うちの1つ以上が〔1,・・・、1〕のときはH=〔1
、・・・jl〕その他のときHH=[g1#・・・、g
w〕となるWビットデータI(=[h1、・・・、hW
Jを出力するモジュロW減算回路と、該モジュロW減算
回路の出力H=〔h1、・・・、hWJと、前記第1モ
ジュロW生成回路の出力E=〔e1、・・” # ew
]とを入力とし、n=Eのときはに==[61,−、e
W]、H!l:EまたHH,Eのうちの1つ以上が〔1
,・・・、1〕のときはに=〔1、・・・、1〕となる
Wビットデータに=[、に1.・・・、 碑) Th出
力するモジュロw一致回路とを備え、前記n個の入力デ
ータA、、A2.・・・。 An間の演算結果りから前記モジュロW値Fi差し引い
た結果Gと、前記モジュロW値Eとが一致し、かつ、入
力データのなかに[1,・・・、1)の値がないときF
in K =E ” (e 1 # ”’ # ew]
#その他のときはに=〔1、・・・、1〕となるWビ
ットデータに=[k1、・・・、 kW) !出力する
ようにしたことを特徴とするモジュロW回路が得られる
。 本発明ではさらに、モジュロW値の伝達パス上にあって
、該モジュロW値L=(t、、・・・、tW3と。 ストローブ信号とを入力とし、出力P=[1,・・・。 ■]の状態でストローブ信号を入力するとP=〔1,・
・・、1〕、その他の状態でストローブ信号を入力する
とp=(z1、・・・s tW]となるWビットデータ
P=[p1、・・・、pw)ta前記入方Lし〔t4.
・・・、 1.3の1ストローブ後のモジュロW値とし
て出力するモジュロWレジスタを備えておF:J#前記
n個の入力データA1 s A2 w ”” j An
間の演算結果りから前記モジュロW値F’(差し引いた
結果Gと、前記モジュロW値Eとが一致し、かつ、入力
データのなかに〔1,・−、i )の値がないときは、
Wビットデータに=E=〔C4,・・・、ew〕を出力
し、その他のときはに=[1,・・・、1〕を保持し、
出力すると共に、前記モジュロWレジスタの保持値によ
って、〔1,・・・、11の伝達経路を検出するように
したこと全特徴とするモジュロW回路が得られる。 また本発明では上記のモジュロWレジスタには。 前記入力L=〔1、・・・、1〕またはP=[1,・・
・。 1〕の状態でストローブ信号を入力するとq=t。 その他の状態でストローブ信号を入力するとq=Oとな
る1ビツトデータqを出力する機能が付加され、前記n
個の入力データA1 # A2 #・・・、An間の演
算結果りから前記モジュロW値Fを差し引いた結果Gと
、前記モジュロW値Eとが一致し。 かつ、入力データのなかに〔1,・・・、1〕の値がな
いときはwビットデータに=E=〔e1、・・・、ew
〕を出力し、その他のときはに=[1、・・・、1〕を
保持し、該Wビットデータにと前記1ピツトデータqに
よって、エラー報告とを出力すると共に前記モジュロW
レゾスタの保持値によって〔1,・・・。 1〕の伝達経路全検出するようにしたことを特徴とする
モジュロW回路が得られる。 〔実施例〕 次に本発明について図面を参照して説明する。 なお、ここでは、モジュロW回路の一例としてモジュロ
3回路について説明する。 第1図は1本発明の第1の実施例を示すブロック図であ
る。 第1図を参照して、モジュロ3回路1000は。 Nビットのデータ2と、2個の2ピツトデータA。 Bとを入力とし、2ONビツトのうちのNビット(M<
N )のデータ2.のモジュロ3値Kl出力する。 第1モジュロ3生成回路101は、Nビットの入力デー
タZのうちのNビットのデータz、f、入力すると、2
のモジュロ3値E ” Ce 1 a e2 :lを生
成し、データックス11を通して出力し、モジュロ3一
致回路10501人力とする。 第2モジュロ3生成回路102H,Nビットの入力デー
タZのうちのデータZ1t−除いたN−Nビットのデー
タz2ヲ入力すると、Z2のモジュロ3値F=〔f4.
f2〕を生成し、データバス12全通して出力し、モジ
ュロ3演算回路104の1入力とする。 モジュロ3演算回路103は、2個の2ビットデータA
、Bとを入力し、A、B間でモジュロ3演算を実行し、
その結果のモノユr:13値をD=〔d1、d2〕とす
ると、C=D=〔d4.d2〕となる2ピツトデータC
=〔c1、c2〕を出力する。ただし入力A、Hのうち
の1つ以上が[1,1〕のときはC=〔1、11を出力
する。出力Cは、データックス13を通ってモジュロ3
減算回路104の1人力となる。 モジュロ3減算回路104け、データバス12を通して
モジュロ3値Fを、データバス13を通してモジュロ3
値Cを入力すると、C−Fのモジュロ3減算を実行し、
その結果のモジュロ3値をG=[g 、g :lと
すると# H=G ”= (g 1− g2 ]となる
2ビツトデータH=〔h1、h2〕を出力する。ただし
、入力C,Fのうちの1つ以上が〔1゜1〕のときけ)
(=[1,1)を出力する。出力Hはデータックス14
を通゛りてモジュロ3−数回路105の1人力となる。 モジュロ3−数回路105はデータノやス11全通して
モジュロ3値E1、データバス14を通してモジュロ3
値Ht−人力すると、EとHの一部チエツジを実行し、
H=Eのときはに=E=〔e1、e2〕となる2ビツト
データKを出力する。ただし、HNEまたは入力H,E
のうちの1つ以上が[1,1]のときはに=[1,1′
3t−出力する。 出力にはデータックス15を通。てモジュロ3回路10
00の出力となる。 モジュロ3回路1000において0例えば第2モジュロ
3回路102の故障によってデータノJ?ス12上にモ
ジュロ3の値として[1,1]が発生すると、この[1
,1]の値はモジュロ3減算回路104を経て、データ
ノやス141&:通りモジュロ3一致回路105を経て
、データバス15′1に通り。 モジュロ3値に=[1,1]i出力する。 また、第2の例として、入力A=(1、1]の時は、[
1,13の値はモジュロ3演算回路103を経て、デー
タバス13を通り、モジュロ3減算回路104i経て、
データバス14を通り、モヅエロ3一致回路105t−
経てデータバス15を通り、モジュロ3値に=[1,1
]i出力する。 さらに第3の例として、モジ−03回路1000金、N
ビットの2進数XとYとの和2の上位Mビットデータz
、ヲ求める加算回路のチェック回路として使用し、Xと
Yのそれぞれのモノユo3値をA、Bとすると、モジュ
ロ3演算回路103は。 AとBとの間でモジュロ3加算を実行し、A[ilul
モノュロ3値iD=〔d1、d2]とすると、 C=D
=Cdl e d2 ]となる2ビットデータC=〔c
1、c2〕をデータノぐス13全通して出力し、モジュ
ロ3減算回路の1人力とする。一方、加算結果のNビッ
トのデータ2のうち、下位N−Nビットのデータz2が
第2モジュロ3生成回路102に入力され、Z(Dモジ
ュロ3値F=Cfl 、 12 ) カテータt4ス1
2ft通ってモジュロ3減算回路の1人力となる。モジ
ュロ3減算回路でけC−Fのモジュロ3値をG=(g1
mg2 ]とすると、 H=G士〔gl。 g2)となる2ビツトデータHをデータノeス141&
:通して出力し、モジュロ3−数回路の1人力とする。 第1モジュロ3生成回路は加算結果のNビットのデータ
2のうち上位Nビットのデータz、ヲ入力し。 2、のモジュロ3値E’)生成しデータバス11i通し
て出力し、モジュロ3一致回路105の1入力とする。 ここで2のモジュロ3値=z1のモジュロ3値+22の
モジュロ3値=Xのモジュロ3値十Yのモジュロ3値と
いうモジュロ3演算における等式が成立するから、田を
モジュロ3加算1ロヲモ7ユロ3減算とすると、z、の
モジュロ3値E= A [EI B 9 F = C[
] F = H(7) h f T: アル。従ッテモ
ジュロ3一致回路の出力に=E=〔e4.e2〕となる
。しかし、XとYの加算回路の故障またはモジュロ3回
路内体の故障によりHOEまたはHlEのうち1つ以上
が[1,1)となった時は、出力に=〔1、1)となる
。 以上述べた様°に、モジュロ3回路1000内の故障、
または入力モジュロ3値の異常、また、はチェック対象
の演算回路の故障の時は、出力モジュロ3値には、モジ
ュロ3の値としては不正な値〔1゜1〕となり、モジュ
ロ3回路1000の出力により。 前段で故障が発生していることを後段のモジュロ3回路
に伝達する事ができる。 第2図は本発明の第2の実施例であシ1本発明のモジュ
ロ3回路をチェック回路として使用した演算回路のブロ
ック図である。 第2図を参照して、演算回路2000は、2個の2進デ
ータX、Yと、それぞれのモジュロ3値A。 Bとを入力とし、XとYとの間の演算結果Zのうちの1
部のデータz1と、Z、のモジュロ3値Cとを出力する
。 第1人力レジスタ701と、゛第2人カレソスタ702
ii’、それぞれXとYとを入力し、格納した後、それ
ぞれデータバス71.72i通してX。 Yi比出力1図示のように演算回路601と、第1人カ
モジュロ3生成回路602と、第2人カモジュロ3回路
603の1人力とする。 演算回路601は、データックスフ1全通してXを、デ
ータバス72全通してyl入力すると、XとYとの間で
演算を実行し、その演算結果zlデータ)4ス61を通
し、演算結果出力Vジスタフ03に出力する。 演算結果出力レソスタ703は、データ・ぐス61全通
してz1入力し、格納した後、データバス731全通し
て2の1部のデータZI Kl” mデータックスフ1
全通して残りのデータz2ヲ出力する。2.は演算回路
2000の出力となる。と共に。 第1結果モノーロ3生成回路201の1人力となり、z
2は第2結果モジュロ3生成回路202の1入力となる
。 第1人カモジュロ3生成回路602は、データバス71
を通してXを入力すると、そのモジュロ3値を生成し、
データバス62全通して出力し。 第1人カモジュロ3−数回路604の1入力とする。 第1結果モソユロ3生成回路603は、データバス72
全通してY全入力すると、そのモジュロ3値を生成し、
データ/ぐス63全通して出力し。 第1人カモジュロ3一致回路605の1人力とする。 第1結果モソユロ3生成回路201ば、データックスフ
1?通してz、全入力すると、そのモジュロ3値を生成
し、データバス21全通して出力し、第1結果モソユロ
3−数回路204の1人力とする。 第2結果モジュロ3生成回路202はデータックスフ1
全通して22全入力すると、そのモジュロ3値を生成し
、データフ9ス22全通して出力し。 モノーロ3減算回路20301人力とする。 第1結果モソユロ3一致回路604はデータノPス62
を通してXのモジュロ3値を入力すると共に、Xのモジ
ュロ3期待値Ae入力し、Xのモジュロ3値と、その期
待値Aが一致しているか否かをチェックし、一致してい
る時はXのモジュロ3値をそのまま出力し、Xのモジュ
ロ3値と期待値Aとのいずれかが〔1、1)の時、ある
いはXのモジュロ3値と期待値Aが一致していない時は
〔1、1)を出力し、出力されたモジュロ3値はデータ
バス21全通して第1モジュロ3保持レジスタ7040
1人力とする。 第2人力モジ−ロ3一致回路605はデータバス21全
通してYのモジュロ3値全入力すると共に、Yのモジュ
ロ3期待値Bを入力し、第1人カモジュロ3−数回路6
04と同様に一致チェックを実行し、Yのモジュロ3値
あるいは[1,13を、データックス65全通して出力
し、第2モジュロ3保持レジスタ705の1人力とする
。 第1モジュロ3保持レジスタ704は、データバス64
全通して、第1結果モジュロ3一致回路604の出力モ
ジュロ3値を入力し、ストローブ信号によって格納後、
データバス74全通して出力し、モジュロ3演算回路6
07の1人力とする。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が[1,1]のときはストローブ信号入力後も〔1、1
)が保持され、ストローブ信号に拘らず1本レジスタの
出力モジュロ3値は〔1、1:!を保ち、変化しない。 第2モジュロ3保持レジスタ705は、データバス65
を通し、第1結果モジュロ3一致回路605の出力モジ
ュロ3値全入力し、ストローブ信号によって格納後、デ
ータバス75全通して出力し、モジュロ3演算回路60
7の1人力とする。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が〔1、1)のときは、第1モジュロ3保持レノスタフ
04と同様に、(:1.1〕が保持され、出力は変化し
ない。 モジュロ3演算回路607は、第1モジュロ3保持レノ
スタフ04の出力モジュロ3値をデータノ’?スフ4を
通して入力とすると共に、第2モソユロ3保持レジスタ
705の出力モジュロ3値をデータバス75全通して入
力とし、いずれかのモノエコ3値が[:1,1]の時は
1(1*1)をそのまま出力し1両方共に[i、t)で
ない時には。 その2個のモジュロ3演算で、演算回路601に対応し
たモジュロ3演算を実行し、その結果を出力する。 モジュロ3演算回路607の出力は演算結果Zのモジュ
ロ3期待値として、データバス67七通してモノーロ3
減算回路203の1人力とする。 モジュロ3減算回路203はデータノfス22を通して
前記演算結果2の一部z2のモジュロ3値を入力すると
共に、データバス67全通して2のモジュロ3期待値全
入力とし、いずれかのモジュロ3値が〔1,1〕のとき
は〔1,1〕をそのまま出力し1両方共に[1,1]で
ない時には、Z−22のモジュロ3値金生成して出力す
る。 モジュロ3減算回路203の出力は、演算結果の一部z
1のモジュロ3値待値としてデータバス23全通して第
1結果モジュロ3−数回路204の1人力となる。 第1結果モジュロ3−数回路204は、データックス2
1全通して演算結果2の一部2.のモゾーロ3値を入力
すると共に、データ・ぐス23全通して2.のモジュロ
3期待値を入力すると、第1結果モジュロ3一致回路6
04.および第2人力モジ二ロ3一致回路605と同様
に、zlのモジュロ3値と、その期待値との一致チェッ
クを実行し、一致している時は2.のモジュロ3値をそ
のまま出力し、zlのモゾーロ3値と期待値とのいずれ
かが[1,1)の時、あるいはzlのモジュロ3値とそ
の期待値が一致していない時は[1,l〕’に出力し、
出力されたモジュロ3値は、データ・/4’ス24全通
してモジュロ3出力レヅスタ706の入力となる。 モジュロ3出力レジスタ706は第1結果モジュロ3−
数回路204の出力モジュロ3値をデータバス68を通
して入力し、ストローブ信号によって格納後、データノ
やスフ6全通して出力する。 この出力モジュロ3値Cは、演算回路2000の1出力
として後段のモジュロ3回路の入力等に用いられる。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が[1,1]の時は、第1.第2モジュロ3保持レジス
タ704.705と同様に、〔1゜l〕が保持され、出
力は変化しない。 演算回路2000において1例えば第1モジュロ3保持
レジスタ704の出力に故障が生じ、データバス23全
のモジュロ3値が[1,1]となった場合、モジュロ3
の値として不正な値〔1、11Fi、データバス74全
通り、モジュロ3演算回路607を経て、データノにス
67を通υ、モソユロ3減算回路203t−経て、デー
タバス23f、通り。 第1結果モジュロ3−数回路204を経て、データノ母
ス24t−通シモジュロ3出力レジスタ706を経て、
データIJ?スフ6を通って、モジュロ3値C=[1、
1]を出力する。 また第2の例として第2人カモジュロ3一致回路605
によシYのモジュロ3値と、その期待値Bが一致しない
時は、[1,1]がデータフ9ス65全通して出力され
、第2モジュロ3保持レソスタ705からデータi4ス
フ5を通り、モジュロ3演算回路607からデータバス
67を通り、モジ、口3減算回路203から、データA
?ス23を通り、第1結果モジュロ3−数回路204か
らデータバス24を通り、モジュロ3出力レジスタ70
6からデータノeスフ6f:通ってモジュロ3値C=[
1,1]を出力する。 さらに演算回路601の故障によって演算結果2が異常
な値のときは、データ)4ス21,22上のモジュロ3
値のいずれかのモジュロ3値が異常となる。データ/4
ス22上のモジュロ3値が異常な値のときは、モジュロ
3減算回路203を経てデータバス23を通り#z、の
モジュロ3期待値としては異常な値が第1結果モジュロ
3−数回路204に入力され、データ/?ス21からの
zlのモジュロ3値と一致チェックが実行され、一致し
ない時の値〔1、1:lがデータバス24全通って出力
され、モジュロ3出力レジスタ706からデータバス7
6を通って、モジュロ3値C=[1,13を出力する。 入力の期待値A=[:1.1]の場合も同様であり、デ
ータノfス64,74,67.23,24.及び76上
のモジュロ3値は[1,13とな9.モノ1口3値C=
[1,1]を出力する。 以上述べた様に、演算回路200o内に故障が生じた時
または入力データが不正の時には、出方モジュロ3値C
はモジ−口3の値としては不正な値[1,1]となり、
演算回路2000の出力Cより前段で故障が生じた事を
後段のモジュロ3回路に伝達する事ができる。 またこのモジュロ3値C=〔1、1)によって。 故障が報告された後回路全体のどの部分で故障が生じた
かを知るために、不正なモジュロ3値〔1゜■〕がどの
ように伝搬してきたかを調べれば、故障箇所を指摘する
ことが容易である。 第3図は本発明の第3の実施例を示すブロック図であシ
、第2図の演算回路2000内の3個のモジュロ3レジ
スタ704,705,706に入力モジュロ3値または
出力モジュロ3値が〔1,1〕の状態でストローブ信号
を入力すると〔l〕、その他の状態でストローブ信号を
入力すると
〔0〕となる1ビツトデータを出力する機能
全加え、さらに論理和回路507を追加した例を示すブ
ロック図である。 第3図全参照して、第1モジュロ3保持レジスタ504
は、信号線64を通して、第1結果モジュロ3一致回路
604の出力モジュロ3値を入力し、ストローブ信号に
よって格納後、データバス74全通して出力し、モジュ
ロ3演算回路607の1人力とする。 ただしストローブ信号入力前の本レジスタ内の保持値が
[1,1]のとき、またはデータバス24全通して入力
するモジュロ3値が[1,1)のときは、ストローブ信
号入力後も〔1、1)が保持され、ストローブ信号に拘
らず本しソスタの出力モジュロ3値は[1,1]を保ち
、変化しないと共にエラー報告の1ビットデータt、=
1がデータバス54を通して出力され、論理和回路50
7の1人力となる。 第2モジュロ3保持レノスタ505は、データノJ?ス
65全通して、第2モジュロ3−数回路605の出力モ
ジュロ3値を入力し、ストローブ信号によって格納後、
データtJ?スフ5全通して出方し。 モジュロ3演算回路607の1人力とする。 ただしストローブ入力前の本レジスタ内の保持値が[1
,1:Iのとき、または入カモジュロ3値が(:1.1
)のときは、第1モジュロ3保持レジスタ504と同様
に[1,1]が保持され変化しないと共に、エラー報告
の1ビツトデータt2=1がデータバス55全通して出
力され、論理和回路507の1人力となる。 モジュロ3出力レジスタ506は第1結果モジュロ3−
数回路608の出方モジュロ3値ヲ信号線68を通して
入力し、ストローブ信号によって格納後、データバス6
7通して出力する。この出力モジュロ3値Cは演算回路
3000の1出力として、後段のモジュロ3回路の入力
等に用いられる。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が〔1、13のとき、または入力モジュロ3値が[1,
1]のときは、第1.第2モジュロ3保持レジスタ50
4.505と同様に[:1,1]が保持され、変化しな
いと共にエラー報告の1ピツトデータt3=1がデータ
ノ母ス561Fr、通して出力され、論理和回路507
の1人力となる。 論理和回路507は゛、データノJ?ス54全通してt
1’k eデータフ4ス55′f:通してt22 #デ
ータバス67通して131人力すると、t、とt2とt
3の論理和Eを生成し出力する。11.1211.はそ
レソれのモジュロ3レジスタの保持値が〔1、1)のと
き、つまり故障を検出したときに1となる1ビツトデー
タであるから、論理和E=1は演算回路3000内で故
障を検出した事を示すことになる。 演算回路3000内の他の回路は、第2図の演算回路2
000と同等であるので説明は省略する。 第4図は本発明の第4の実施例を示すブロック図である
。第4図を参照して、演算回路4000は2個の2進デ
ータX、Yとそれぞれのモジュロ3値A、Bとを入力と
し、XとYとの間の演算結果2と、2の1部のデータz
1のモジュロ3値Cと。 残りのデータz2のモジュロ3値りとを出力する。 本実施例では演算結果のデータzを、後段の回路におい
て、zlと22との2個のデータとして態別に扱う様な
場合に適したモジュロ3回路の例e示す。 モジュロ3値C,Dを生成する回路より前段の回路、す
なわち、第1.第2人力レジスタ701゜702、演算
回路601.演算結果出力レジスタ703、第1.第2
人カモジュロ3生成回路602゜603、第1.第2モ
ジュロ3一致回路604゜605、第1.第2モジュロ
3保持レジスタ704゜705Fi第2図の演算回路2
000と同等なので説明は省略する。 第1結果モジュロ3生成回路401はデータバス731
fj!:通して演算結果2の一部のデータz、ヲ入力す
ると、そのモジュロ3値を生成し、データバス74全通
して出力し、第1結果モジュロ3一致回路405と第2
結果モジュロ3減算回路404との1人力とする。 第2結果モジュロ3生成回路402ば、データツヤスフ
32全通して演算結果2のうち、データz、ヲ除いた残
りのデータz2ヲ入力すると、そのモジュロ3値を生成
し、データiJ?ス・12を通して出力し、第2結果モ
ジュロ3一致回路406と。 第1結果モジュロ3減算回路403との1入力とする。 モジュロ3演算回路607は、第1モジュロ3保持レジ
スタ704の出力モジュロ3値をデータバス74全通し
て入力とすると共に、第2モジュロ3保持レジスタ70
5の出力モジュロ3値をデータ・ぐスフ5全通して入力
とし、いずれかのモジュロ3値が〔1、1)の時は、C
t、x′3をそのまま出力し1両方共に〔1、11でな
い時は、その2個のモジュロ3値間で演算回路601に
対応したモジュロ3演算を実行し、その結果を出力する
。 モジュロ3演算回路607の出力は、演算結果2のセフ
103期待値として、データi4?ス67全通して第1
結果モジュロ3減算回路403と第2結果モジュロ3減
算回路404との1人力とする。 第1結果モジュロ3減算回路403は、データi4ス4
2t−通して演算結果2の一部z2のモジュロ3値全入
力すると共に、データバス67全通して2のセフ103
期待値を入力とし、いずれかのモジュロ3値が[1,1
]のときは[1,1:lをそのまま出力し1両方共に[
1,1]でない時には。 z−22のモジュロ3値を生成して出力する。 第1結果モジュロ3減算回路403の出力は。 演算結果の一部z1のモジュロ3期待値としてデータバ
ス67全通して第1結果モジュロ3一致回路405の1
人力となる。 第2結果モノーロ3減算回路404はデータ/IPス4
1を通して演算結果2の一部z1のモジュロ3値を入力
すると共に、データ/’Pス67を通して2のモジュロ
3値待値を入力とし、いずれかのモジュロ3値が[1,
1]のときは[1,1]をそのまま出力し2両方共に[
1,1]でない時には。 2−2.のモジュロ3値を生成して出力する。 第2結果モジュロ3減算回路404の出力は前記演算結
果の一部z2のモジュロ3期待値として。 信号線44全通して、第2結果モソユロ3−数回路40
6の1入力となる。 第1結果モジュロ3−数回路405は、データバス41
全通して演算結果2の一部2.のモジュロ3値をデータ
バス43全通してそのモジュロ3期待値を入力すると、
一致チェック全実行し、一致している時ば2.のモジュ
ロ3値をそのまま出力し、zlのモジュロ3値と期待値
とのいずれかが〔1゜l〕の時、あるいは2.のモジュ
ロ3値とその期待値が一致していない時は、[1,1]
’に出力し。 出力されたモジュロ3値はデータバス45全通して第1
モソユロ3出力レジスタ407の入力となる。 第2結果モソユロ3−数回路406はデータックス42
を通して演算結果2の一部z2のモジュロ3値全データ
・ぐス43fr、通してその期待値を入力すると、一致
チェック全実行し、一致している時はz2のモジュロ3
加算そのまま出力し、Z2のモジュロ3値と期待値との
いずれかが[1,1]の時、あるいは、z2のモジュロ
3値とその期待値が一致してい゛な、い時は、[tsl
)を出力し、出力されたモジュロ3値はデータックス4
6を通して第2モジュロ3出力レジスタ408の入力と
なる。 第1モジュロ3出力Vソスタ407は第1結果モジュロ
3−数回路405の出力モジュロ3値をデータバス41
全通して入カレ、ストローブ信号によって格納後、デー
タ・ぐス47全通して出力する。この出力モジュロ3値
Cは、演算回路4000の1出力として後段のモジュロ
3回路の入力等に用いられる。 ただしストローブ信号入力前の本しソスタ内の保持値が
[1,1]の時は、C1,1:]が保持され、出力は変
化しない。 第2モジュロ3出力レジスタ408は第1結果モジュロ
3−数回路406の出力モジュロ3値を。 データバス46を通して入力し、ストローブ信号によっ
て格納後、データックス48を通して出力する。このモ
ジュロ3値りは演算回路4000の1出力として後段の
モジュロ3回路の入力等に用いられる。 ただしストローブ信号入力前の本しソスタ内の保持値が
[1,1]の時は(: 1 ’* 1 )が保持され出
力は変化しない。 演算回路4000内に故障が生じた時、または入力デー
タが不正の時には、出力モジュロ3値C1Dはモジ−口
3の値としては不正な値〔1、1)となり、演算回路4
000の出力CまたはDより前段で故障が生じた事を、
後段のモジュロ3回路に伝達する事ができ、またモジュ
ロ3値CまたはD” Ct e i 〕によって故障が
報告された後1回路全体のどの部分で故障が生じたかを
知るために。 不正なモジュロ3値[1,1]がどのように伝搬してき
たかを調べれば故障箇所を指摘する事が容易であるとい
う点において、第2図の演算回路2000と同様である
ので説明を省略する。 第5図Y′i、本発明に使用されるモジュロ3演算回路
の例を示す真理値表である。第5図(a)は加算回路、
(b)は減算回路、(C)は乗算回路、(d)は反転回
路に対応し、それぞれモジュロ3加算、モジュロ3減算
、モジュロ3乗算、モジュロ3反転回路の真理@表であ
る。ただし、−は任意の値を示す。 ここで第5図(、)の加算回路の例について説明する。 任意の2個の2進数XとYの和zを求める加算回路のチ
ェック回路において、入力2進数Xのモジュロ3の値を
、A=[a4.a2]、入力2進数Yのモジュロ3の値
をB=〔b1、b2〕とすると、2進数XとYの加算結
果Zのモジュロ3の値としての期待値C=[c1、c2
]を準備する。例えばA=[0,1]。 B=[1、O〕の時はM5図(、)の真理値表よりC=
〔0,0〕となる。 以上は従来のモジュロ3回路と同等であるが。 本回路の特徴は、モジュロ3の値として(i、i)を考
慮した事にある。 もし、2進数Xよりモジュロ3の値A =Ca 1 #
a2]を生成する回路の故障によってA=[1、1:
lとなった場合、第5図(、)の真理値表に示す様に1
期待値C=[e c ]=[:1.1]となる。 1嘗 2 2進数Y側の故障についても同様である。つまり期待値
Cがtt*t〕となるのは3ケース存在し。 1つはA=[1,13の場合、他の1つばB=[: 1
.1’)の場合、そしてモジュロ3加算回路自体の故障
によってC=〔1、1)となる場合である。 第6図は本発明に使用されるモジュロ3−数回路の真理
値表である。2個の2ビツトデータA=[a1ma2
:]とB =[b4.b2]がA=Hのとき、C=[C
15ez ]”’ [a、 ma2] a A ”<
BのときおよびAまたはB=[1,1]のときC=CC
15C2:]=(1# 1 )となる2ビツトデータC
i出力する。 第7図は第5図の真理値表で示した論理で構成されたモ
ジュロ3演算回路302と、第6図の真理値表で示した
論理で構成されたモジュロ3−数回路303t−含むチ
ェック回路のブロック図である。 例えば2個の2進データX=[0,1,1,0:lとY
=[0,1,0,1]の加算により、XとYとの和Z=
X+Y=CI 、 0 、1 、1 ’) i出力すル
加算回路のチェック回路の場合、モジュロ3演算回路3
02はXのモジュロ3値A=〔a1、a2〕=〔0,0
〕とYのモジュロ3値B=〔b4.b2〕=〔I、0〕
とを入力し、AとBとの和C=A田B=〔C1,C2〕
=〔1,0〕をモジュロ3値待値として生成し、データ
/IPス32全通して、モジュ数回路致回路303の1
入力とする。 モジュロ3生成回路307は和の2進数2を入力すると
zのモジュロ3の値D=[: d4.d2.]=[1。 0]を生成しデータ・ぐス31全通してモジュロ3−数
回路303の1人力とする。 モジュロ3−数回路303けデータックス31をaして
2のモジュロ3値りを、データックス32を通して、そ
の期待値Cを入力すると、D=CのときはM ;(ml
mm2 )=(dl sd2 ) # n)cのとき
、およびDまたはC=[1,1]のときはM= (:
m1@m2 )=[:1,1)となる2ビツトデータM
を出力する。 ここでモジュロ3生成回路301に故障が発生してD=
[1,1]となった場合、モジュロ3演算回fW302
の入力AまたJd B=[1、1〕となった場合、モジ
ュロ3演算回路302に故障が発生してC=CI 、
1 :]となった場合、モモジュロ一致回路303自体
に故障が発生してM=[1,1]となった場合、演算回
路部またはモジュロ3演算回路302に故障が発生して
D’tCとなった場合、のいずれの場合にも出力M=[
1,1,lとなり、出力M以前の回路に故障が発生した
事を検出し、故障を示すモジュロ3の値C1,1]’!
r後段のチェック回路に出力する事になる。後段のチェ
ック回路では[1,1]以外の値全入力した時は正常な
データ。 [1,1]の時は故障が検出されている事を判別する事
ができる。 第8図(a)及び(b)は本発明に使用されるモジュロ
3レソスタの真理値表及びブロック図である。 第8図(a)及び(b)を参照して、モジュロ3Vノス
タ501は2ビツトデータD=(d1#d2 :)とス
トローブ信号STB i入力とし、真理値表で示す論理
構成により、2ピツトデータE=〔e1、e2〕が出力
される。例えばストローブ信号入力前の出力E=[1,
0]の時、D=[”0.1]でストローブ信号が入力さ
れると、出力Eは〔1、0)から[0,1]に変化する
。同様にこの状態でD=[0,0]でストローブ信号が
入力されると、出力Eは[0,1)から[0,0]に変
化する。但し出力Eの元の状態が[1,1]の時は、D
の値に拘らず〔1,1〕の状態を保つことになる。従っ
てD=[1、1〕またはE=〔1、1)の場合のストロ
ーブ入力後の出力Eは[1,13に固定され1本来モジ
ュロ3の値として〔1、1)は不正データであるから1
本回路以前の回路に故障が発生している事を検出した事
になる。 また本回路の不正データ[1,1]からエラー報告信号
を生成すれば本回路はエラー表示フラグとしての役割も
兼ねることになる。 第9図(a)及び(b)は、第8図のモジュロ3レジス
タ5′01に、エラー報告等に用いることのできるビッ
トデータfを出力する機能を追加したモジュロ3Vノス
タの真理値表及びブロック図である。 第9図(a)及び(b)t−参照してモジュロ3レジス
タ502は、2ピツトデータD=〔d1、d2]とスト
ローブ信号STB i入力とし、真理値表で示す論理構
成により、2ピツトデータE=〔e1、e2〕と1ピツ
トデータfが出力される。1ピツトデータfは。 入力D=[1,1]の状態でストローブ信号が入力され
ると′11となり、その後は出力E=〔1、1)と共に
f=1の状態を保つことになる。この1ビツトデータf
=1は不正データ[:1.1]が入力された裏金意味す
るのでそのままエラー報告信号として用いる事ができる
。その他の動作は第8図において説明したモジュロ3レ
ジスタ501と同様なので、説明を省略する。 なお、上述の実施例では、 W = 3 m即ち、セフ
303回路について説明したが、 W=2”−1(wは
2以上の繋数)の場合についても同様に構成できる。 〔発明の効果〕 以上説明した様に本発明ではモジュロWの値として不正
なデータ〔1,・・・、1〕を考慮し、〔1,・・・。 1〕を故障検出時のモジュロWの値とすることによって
、チェック回路自体の〔1,・・・、1〕の故障も検出
できると共に、後段のチェック回路に前段の故障検出全
伝達する事ができ、さらに〔1,・・・。 1〕の伝達経路をたどる事によって、故障箇所を判別し
易いため、チェック回路全体の検出率1分解能を向上さ
せ、さらにLSI化等に適した構成にできるという効果
がある。
全加え、さらに論理和回路507を追加した例を示すブ
ロック図である。 第3図全参照して、第1モジュロ3保持レジスタ504
は、信号線64を通して、第1結果モジュロ3一致回路
604の出力モジュロ3値を入力し、ストローブ信号に
よって格納後、データバス74全通して出力し、モジュ
ロ3演算回路607の1人力とする。 ただしストローブ信号入力前の本レジスタ内の保持値が
[1,1]のとき、またはデータバス24全通して入力
するモジュロ3値が[1,1)のときは、ストローブ信
号入力後も〔1、1)が保持され、ストローブ信号に拘
らず本しソスタの出力モジュロ3値は[1,1]を保ち
、変化しないと共にエラー報告の1ビットデータt、=
1がデータバス54を通して出力され、論理和回路50
7の1人力となる。 第2モジュロ3保持レノスタ505は、データノJ?ス
65全通して、第2モジュロ3−数回路605の出力モ
ジュロ3値を入力し、ストローブ信号によって格納後、
データtJ?スフ5全通して出方し。 モジュロ3演算回路607の1人力とする。 ただしストローブ入力前の本レジスタ内の保持値が[1
,1:Iのとき、または入カモジュロ3値が(:1.1
)のときは、第1モジュロ3保持レジスタ504と同様
に[1,1]が保持され変化しないと共に、エラー報告
の1ビツトデータt2=1がデータバス55全通して出
力され、論理和回路507の1人力となる。 モジュロ3出力レジスタ506は第1結果モジュロ3−
数回路608の出方モジュロ3値ヲ信号線68を通して
入力し、ストローブ信号によって格納後、データバス6
7通して出力する。この出力モジュロ3値Cは演算回路
3000の1出力として、後段のモジュロ3回路の入力
等に用いられる。 ただし、ストローブ信号入力前の本レジスタ内の保持値
が〔1、13のとき、または入力モジュロ3値が[1,
1]のときは、第1.第2モジュロ3保持レジスタ50
4.505と同様に[:1,1]が保持され、変化しな
いと共にエラー報告の1ピツトデータt3=1がデータ
ノ母ス561Fr、通して出力され、論理和回路507
の1人力となる。 論理和回路507は゛、データノJ?ス54全通してt
1’k eデータフ4ス55′f:通してt22 #デ
ータバス67通して131人力すると、t、とt2とt
3の論理和Eを生成し出力する。11.1211.はそ
レソれのモジュロ3レジスタの保持値が〔1、1)のと
き、つまり故障を検出したときに1となる1ビツトデー
タであるから、論理和E=1は演算回路3000内で故
障を検出した事を示すことになる。 演算回路3000内の他の回路は、第2図の演算回路2
000と同等であるので説明は省略する。 第4図は本発明の第4の実施例を示すブロック図である
。第4図を参照して、演算回路4000は2個の2進デ
ータX、Yとそれぞれのモジュロ3値A、Bとを入力と
し、XとYとの間の演算結果2と、2の1部のデータz
1のモジュロ3値Cと。 残りのデータz2のモジュロ3値りとを出力する。 本実施例では演算結果のデータzを、後段の回路におい
て、zlと22との2個のデータとして態別に扱う様な
場合に適したモジュロ3回路の例e示す。 モジュロ3値C,Dを生成する回路より前段の回路、す
なわち、第1.第2人力レジスタ701゜702、演算
回路601.演算結果出力レジスタ703、第1.第2
人カモジュロ3生成回路602゜603、第1.第2モ
ジュロ3一致回路604゜605、第1.第2モジュロ
3保持レジスタ704゜705Fi第2図の演算回路2
000と同等なので説明は省略する。 第1結果モジュロ3生成回路401はデータバス731
fj!:通して演算結果2の一部のデータz、ヲ入力す
ると、そのモジュロ3値を生成し、データバス74全通
して出力し、第1結果モジュロ3一致回路405と第2
結果モジュロ3減算回路404との1人力とする。 第2結果モジュロ3生成回路402ば、データツヤスフ
32全通して演算結果2のうち、データz、ヲ除いた残
りのデータz2ヲ入力すると、そのモジュロ3値を生成
し、データiJ?ス・12を通して出力し、第2結果モ
ジュロ3一致回路406と。 第1結果モジュロ3減算回路403との1入力とする。 モジュロ3演算回路607は、第1モジュロ3保持レジ
スタ704の出力モジュロ3値をデータバス74全通し
て入力とすると共に、第2モジュロ3保持レジスタ70
5の出力モジュロ3値をデータ・ぐスフ5全通して入力
とし、いずれかのモジュロ3値が〔1、1)の時は、C
t、x′3をそのまま出力し1両方共に〔1、11でな
い時は、その2個のモジュロ3値間で演算回路601に
対応したモジュロ3演算を実行し、その結果を出力する
。 モジュロ3演算回路607の出力は、演算結果2のセフ
103期待値として、データi4?ス67全通して第1
結果モジュロ3減算回路403と第2結果モジュロ3減
算回路404との1人力とする。 第1結果モジュロ3減算回路403は、データi4ス4
2t−通して演算結果2の一部z2のモジュロ3値全入
力すると共に、データバス67全通して2のセフ103
期待値を入力とし、いずれかのモジュロ3値が[1,1
]のときは[1,1:lをそのまま出力し1両方共に[
1,1]でない時には。 z−22のモジュロ3値を生成して出力する。 第1結果モジュロ3減算回路403の出力は。 演算結果の一部z1のモジュロ3期待値としてデータバ
ス67全通して第1結果モジュロ3一致回路405の1
人力となる。 第2結果モノーロ3減算回路404はデータ/IPス4
1を通して演算結果2の一部z1のモジュロ3値を入力
すると共に、データ/’Pス67を通して2のモジュロ
3値待値を入力とし、いずれかのモジュロ3値が[1,
1]のときは[1,1]をそのまま出力し2両方共に[
1,1]でない時には。 2−2.のモジュロ3値を生成して出力する。 第2結果モジュロ3減算回路404の出力は前記演算結
果の一部z2のモジュロ3期待値として。 信号線44全通して、第2結果モソユロ3−数回路40
6の1入力となる。 第1結果モジュロ3−数回路405は、データバス41
全通して演算結果2の一部2.のモジュロ3値をデータ
バス43全通してそのモジュロ3期待値を入力すると、
一致チェック全実行し、一致している時ば2.のモジュ
ロ3値をそのまま出力し、zlのモジュロ3値と期待値
とのいずれかが〔1゜l〕の時、あるいは2.のモジュ
ロ3値とその期待値が一致していない時は、[1,1]
’に出力し。 出力されたモジュロ3値はデータバス45全通して第1
モソユロ3出力レジスタ407の入力となる。 第2結果モソユロ3−数回路406はデータックス42
を通して演算結果2の一部z2のモジュロ3値全データ
・ぐス43fr、通してその期待値を入力すると、一致
チェック全実行し、一致している時はz2のモジュロ3
加算そのまま出力し、Z2のモジュロ3値と期待値との
いずれかが[1,1]の時、あるいは、z2のモジュロ
3値とその期待値が一致してい゛な、い時は、[tsl
)を出力し、出力されたモジュロ3値はデータックス4
6を通して第2モジュロ3出力レジスタ408の入力と
なる。 第1モジュロ3出力Vソスタ407は第1結果モジュロ
3−数回路405の出力モジュロ3値をデータバス41
全通して入カレ、ストローブ信号によって格納後、デー
タ・ぐス47全通して出力する。この出力モジュロ3値
Cは、演算回路4000の1出力として後段のモジュロ
3回路の入力等に用いられる。 ただしストローブ信号入力前の本しソスタ内の保持値が
[1,1]の時は、C1,1:]が保持され、出力は変
化しない。 第2モジュロ3出力レジスタ408は第1結果モジュロ
3−数回路406の出力モジュロ3値を。 データバス46を通して入力し、ストローブ信号によっ
て格納後、データックス48を通して出力する。このモ
ジュロ3値りは演算回路4000の1出力として後段の
モジュロ3回路の入力等に用いられる。 ただしストローブ信号入力前の本しソスタ内の保持値が
[1,1]の時は(: 1 ’* 1 )が保持され出
力は変化しない。 演算回路4000内に故障が生じた時、または入力デー
タが不正の時には、出力モジュロ3値C1Dはモジ−口
3の値としては不正な値〔1、1)となり、演算回路4
000の出力CまたはDより前段で故障が生じた事を、
後段のモジュロ3回路に伝達する事ができ、またモジュ
ロ3値CまたはD” Ct e i 〕によって故障が
報告された後1回路全体のどの部分で故障が生じたかを
知るために。 不正なモジュロ3値[1,1]がどのように伝搬してき
たかを調べれば故障箇所を指摘する事が容易であるとい
う点において、第2図の演算回路2000と同様である
ので説明を省略する。 第5図Y′i、本発明に使用されるモジュロ3演算回路
の例を示す真理値表である。第5図(a)は加算回路、
(b)は減算回路、(C)は乗算回路、(d)は反転回
路に対応し、それぞれモジュロ3加算、モジュロ3減算
、モジュロ3乗算、モジュロ3反転回路の真理@表であ
る。ただし、−は任意の値を示す。 ここで第5図(、)の加算回路の例について説明する。 任意の2個の2進数XとYの和zを求める加算回路のチ
ェック回路において、入力2進数Xのモジュロ3の値を
、A=[a4.a2]、入力2進数Yのモジュロ3の値
をB=〔b1、b2〕とすると、2進数XとYの加算結
果Zのモジュロ3の値としての期待値C=[c1、c2
]を準備する。例えばA=[0,1]。 B=[1、O〕の時はM5図(、)の真理値表よりC=
〔0,0〕となる。 以上は従来のモジュロ3回路と同等であるが。 本回路の特徴は、モジュロ3の値として(i、i)を考
慮した事にある。 もし、2進数Xよりモジュロ3の値A =Ca 1 #
a2]を生成する回路の故障によってA=[1、1:
lとなった場合、第5図(、)の真理値表に示す様に1
期待値C=[e c ]=[:1.1]となる。 1嘗 2 2進数Y側の故障についても同様である。つまり期待値
Cがtt*t〕となるのは3ケース存在し。 1つはA=[1,13の場合、他の1つばB=[: 1
.1’)の場合、そしてモジュロ3加算回路自体の故障
によってC=〔1、1)となる場合である。 第6図は本発明に使用されるモジュロ3−数回路の真理
値表である。2個の2ビツトデータA=[a1ma2
:]とB =[b4.b2]がA=Hのとき、C=[C
15ez ]”’ [a、 ma2] a A ”<
BのときおよびAまたはB=[1,1]のときC=CC
15C2:]=(1# 1 )となる2ビツトデータC
i出力する。 第7図は第5図の真理値表で示した論理で構成されたモ
ジュロ3演算回路302と、第6図の真理値表で示した
論理で構成されたモジュロ3−数回路303t−含むチ
ェック回路のブロック図である。 例えば2個の2進データX=[0,1,1,0:lとY
=[0,1,0,1]の加算により、XとYとの和Z=
X+Y=CI 、 0 、1 、1 ’) i出力すル
加算回路のチェック回路の場合、モジュロ3演算回路3
02はXのモジュロ3値A=〔a1、a2〕=〔0,0
〕とYのモジュロ3値B=〔b4.b2〕=〔I、0〕
とを入力し、AとBとの和C=A田B=〔C1,C2〕
=〔1,0〕をモジュロ3値待値として生成し、データ
/IPス32全通して、モジュ数回路致回路303の1
入力とする。 モジュロ3生成回路307は和の2進数2を入力すると
zのモジュロ3の値D=[: d4.d2.]=[1。 0]を生成しデータ・ぐス31全通してモジュロ3−数
回路303の1人力とする。 モジュロ3−数回路303けデータックス31をaして
2のモジュロ3値りを、データックス32を通して、そ
の期待値Cを入力すると、D=CのときはM ;(ml
mm2 )=(dl sd2 ) # n)cのとき
、およびDまたはC=[1,1]のときはM= (:
m1@m2 )=[:1,1)となる2ビツトデータM
を出力する。 ここでモジュロ3生成回路301に故障が発生してD=
[1,1]となった場合、モジュロ3演算回fW302
の入力AまたJd B=[1、1〕となった場合、モジ
ュロ3演算回路302に故障が発生してC=CI 、
1 :]となった場合、モモジュロ一致回路303自体
に故障が発生してM=[1,1]となった場合、演算回
路部またはモジュロ3演算回路302に故障が発生して
D’tCとなった場合、のいずれの場合にも出力M=[
1,1,lとなり、出力M以前の回路に故障が発生した
事を検出し、故障を示すモジュロ3の値C1,1]’!
r後段のチェック回路に出力する事になる。後段のチェ
ック回路では[1,1]以外の値全入力した時は正常な
データ。 [1,1]の時は故障が検出されている事を判別する事
ができる。 第8図(a)及び(b)は本発明に使用されるモジュロ
3レソスタの真理値表及びブロック図である。 第8図(a)及び(b)を参照して、モジュロ3Vノス
タ501は2ビツトデータD=(d1#d2 :)とス
トローブ信号STB i入力とし、真理値表で示す論理
構成により、2ピツトデータE=〔e1、e2〕が出力
される。例えばストローブ信号入力前の出力E=[1,
0]の時、D=[”0.1]でストローブ信号が入力さ
れると、出力Eは〔1、0)から[0,1]に変化する
。同様にこの状態でD=[0,0]でストローブ信号が
入力されると、出力Eは[0,1)から[0,0]に変
化する。但し出力Eの元の状態が[1,1]の時は、D
の値に拘らず〔1,1〕の状態を保つことになる。従っ
てD=[1、1〕またはE=〔1、1)の場合のストロ
ーブ入力後の出力Eは[1,13に固定され1本来モジ
ュロ3の値として〔1、1)は不正データであるから1
本回路以前の回路に故障が発生している事を検出した事
になる。 また本回路の不正データ[1,1]からエラー報告信号
を生成すれば本回路はエラー表示フラグとしての役割も
兼ねることになる。 第9図(a)及び(b)は、第8図のモジュロ3レジス
タ5′01に、エラー報告等に用いることのできるビッ
トデータfを出力する機能を追加したモジュロ3Vノス
タの真理値表及びブロック図である。 第9図(a)及び(b)t−参照してモジュロ3レジス
タ502は、2ピツトデータD=〔d1、d2]とスト
ローブ信号STB i入力とし、真理値表で示す論理構
成により、2ピツトデータE=〔e1、e2〕と1ピツ
トデータfが出力される。1ピツトデータfは。 入力D=[1,1]の状態でストローブ信号が入力され
ると′11となり、その後は出力E=〔1、1)と共に
f=1の状態を保つことになる。この1ビツトデータf
=1は不正データ[:1.1]が入力された裏金意味す
るのでそのままエラー報告信号として用いる事ができる
。その他の動作は第8図において説明したモジュロ3レ
ジスタ501と同様なので、説明を省略する。 なお、上述の実施例では、 W = 3 m即ち、セフ
303回路について説明したが、 W=2”−1(wは
2以上の繋数)の場合についても同様に構成できる。 〔発明の効果〕 以上説明した様に本発明ではモジュロWの値として不正
なデータ〔1,・・・、1〕を考慮し、〔1,・・・。 1〕を故障検出時のモジュロWの値とすることによって
、チェック回路自体の〔1,・・・、1〕の故障も検出
できると共に、後段のチェック回路に前段の故障検出全
伝達する事ができ、さらに〔1,・・・。 1〕の伝達経路をたどる事によって、故障箇所を判別し
易いため、チェック回路全体の検出率1分解能を向上さ
せ、さらにLSI化等に適した構成にできるという効果
がある。
第1図は本発明の一実施例を示すブロック図。
第2図は本発明のモジュロ3回路をチェック回路として
使用した演算回路の一例を示すブロック図。 第3図は演算回路の他の例を示すブロック図、第4図は
演算回路のさらに他の例を示すブロック図。 第5図は本発明に使用されるモジュロ3演算回路の真理
値宍ヲ示す図、第6図は本発明に使用されるモジュロ3
一致回路の真理値表を示す図、第7図はモジュロ3演算
回路とモジュロ3一致回路とを含むチェック回路の一例
を示すブロック図、第8図(a)及び(b)はそれぞれ
本発明に使用されるモジュロ3レジスタの真理値表を示
す図及びブロック図、第9図(a)及び(b)はそれぞ
れモジュロ3レジスタの他の例である真理値表を示す図
及びブロック図、第10図は従来のモジュロ3チ812
回路の一例を示すブロック図、第11図は演算装置内の
一部であり、その中間結果に対するモジュロ3チ工ツク
回路の一例を示すブロック図である。 101.102,602,603,201゜202 、
401 、402 、301 、812 、813゜8
16・・・モジュロ3生成回路、103,607゜30
2.817・・・モジュロ3演算回路、104゜203
.403,404・・・モジュロ3減算回路。 105 、604 、605 、204 、405 、
406゜303・・・モジュロ3一致回路、1ooo・
・・モジュロ3回路、704.705.706.504
.505゜506 、407 、408 、501 、
502 、804゜805.806・・・モジュロ3レ
ジスタ、701゜702.801,802・・・入力レ
ジスタ、 601゜811・・・演算回路、703.8
03・・・演算結果出カレノスタ、507,810・・
・論理和回路、 2000゜3000.4000.80
00・・・演算回路、814゜815.818・・・一
致回路、807,808゜809・・・EIF 、90
01.9002・・・入力オベランドレジスタ、900
3・・・演算結果レジスタ、9011・・・演算回路、
9012・・・モジュロ3期待値生成回路、9004・
・・モジュロ3し侍値レジスタ、 9013・・・モジ
ュロ3一致チェソク回178.9005・・・エラー表
示フラグ、9000・・・演算装置。 晃5図 (α)(b) (C)(d) 第6図 鴇7図 ト、33303 関 第8図 (α) (b) 鞄9図 (a> (b) 双 第10図
使用した演算回路の一例を示すブロック図。 第3図は演算回路の他の例を示すブロック図、第4図は
演算回路のさらに他の例を示すブロック図。 第5図は本発明に使用されるモジュロ3演算回路の真理
値宍ヲ示す図、第6図は本発明に使用されるモジュロ3
一致回路の真理値表を示す図、第7図はモジュロ3演算
回路とモジュロ3一致回路とを含むチェック回路の一例
を示すブロック図、第8図(a)及び(b)はそれぞれ
本発明に使用されるモジュロ3レジスタの真理値表を示
す図及びブロック図、第9図(a)及び(b)はそれぞ
れモジュロ3レジスタの他の例である真理値表を示す図
及びブロック図、第10図は従来のモジュロ3チ812
回路の一例を示すブロック図、第11図は演算装置内の
一部であり、その中間結果に対するモジュロ3チ工ツク
回路の一例を示すブロック図である。 101.102,602,603,201゜202 、
401 、402 、301 、812 、813゜8
16・・・モジュロ3生成回路、103,607゜30
2.817・・・モジュロ3演算回路、104゜203
.403,404・・・モジュロ3減算回路。 105 、604 、605 、204 、405 、
406゜303・・・モジュロ3一致回路、1ooo・
・・モジュロ3回路、704.705.706.504
.505゜506 、407 、408 、501 、
502 、804゜805.806・・・モジュロ3レ
ジスタ、701゜702.801,802・・・入力レ
ジスタ、 601゜811・・・演算回路、703.8
03・・・演算結果出カレノスタ、507,810・・
・論理和回路、 2000゜3000.4000.80
00・・・演算回路、814゜815.818・・・一
致回路、807,808゜809・・・EIF 、90
01.9002・・・入力オベランドレジスタ、900
3・・・演算結果レジスタ、9011・・・演算回路、
9012・・・モジュロ3期待値生成回路、9004・
・・モジュロ3し侍値レジスタ、 9013・・・モジ
ュロ3一致チェソク回178.9005・・・エラー表
示フラグ、9000・・・演算装置。 晃5図 (α)(b) (C)(d) 第6図 鴇7図 ト、33303 関 第8図 (α) (b) 鞄9図 (a> (b) 双 第10図
Claims (1)
- 【特許請求の範囲】 1)n(nは2以上の整数)個のw(wは2以上の整数
)ビットデータA_1=〔a_1_1、・・・、a_1
_w〕、A_2=〔a_2_1、・・・、a_2_w〕
、・・・、An=〔a_n_1、・・・、a_n_w〕
を入力とし、該n個の入力A_1、A_2、・・・、A
_n間でのモジュロW(W=2^w−1)演算の結果を
D=〔d_1、・・・、d_w〕としたとき、前記入力
A_1、A_2、・・・、A_nのうちの1つ以上が〔
1、・・・、1〕のときはC=〔1、・・・、1〕、そ
の他のときはC=〔d_1、・・・、d_w〕となるw
ビットデータC=〔c_1、・・・、c_w〕を出力す
るモジュロ演算回路と、NビットのデータZのうち、M
ビットのデータZ_1を入力とし該データZ_1のモジ
ュロW値E=〔e_1、・・・、e_w〕を生成し出力
する第1モジュロW生成回路と、前記データZのうち、
前記データZ_1を除いたN−MビットのデータZ_2
を入力とし、該データZ_2のモジュロW値F=〔f_
1、・・・、d_w〕を生成し出力する第2モジュロW
生成回路と、前記モジュロW演算回路の出力C=〔c_
1、・・・、c_w〕と、前記第2モジュロW生成回路
の出力F=〔f_1、・・・、f_w〕とを入力とし、
該入力CとFとの差C−FのモジュロW値をG=〔g_
1、・・・、g_w〕としたとき、前記入力C、Fのう
ちの1つ以上が〔1、・・・、1〕のときはH=〔1、
・・・、1〕、その他のときはH=〔g_1、・・・、
g_w〕となるwビットデータH=〔h_1、・・・、
h_w〕を出力するモジュロW減算回路と、該モジュロ
W減算回路の出力H=〔h_1、・・・、h_w〕と、
前記第1モジュロW生成回路の出力E=〔e_1、・・
・、e_w〕とを入力とし、H=EのときはK=〔e_
1、・・・、e_w〕、H≠EまたはH、Eのうちの1
つ以上が〔1、・・・、1〕のときはK=〔1、・・・
、1〕となるwビットデータK=〔k_1、・・・、k
_w〕を出力するモジュロW一致回路とを備え、前記n
個の入力データA_1、A_2、・・・、A_n間の演
算結果Dから、前記モジュロW値Fを差し引いた結果G
と、前記モジュロW値Eとが一致し、かつ入力データの
なかに〔1、・・・、1〕の値がないときは、K=E=
〔e_1、・・・、e_w〕、その他のときはK=〔1
、・・・、1〕となるwビットデータK=〔k_1、・
・・、k_w〕を出力するようにしたことを特徴と ■驛cWュロW回路。 2)n(nは2以上の整数)個のw(wは2以上の整数
)ビットデータA_1=〔a_1_1、・・・、a_1
_w〕、A_2=〔a_2_1、・・・、a_2_w〕
、・・・、A_n=〔a_n_1、・・・、a_n_w
〕を入力とし、該n個の入力A_1、A_2、・・・、
A_n間でのモジュロW(W=2^w−1)演算の結果
をD=〔d_1、・・・、d_w〕としたとき、前記入
力A_1、A_2、・・・、A_nのうちの1つ以上が
〔1、・・・、1〕のときはC=〔1、・・・、 1〕
、その他のときはC=〔d_1、・・・、d_w〕とな
るwビットデータC=〔c_1、・・・c_w〕を出力
するモジュロW演算回路と、NビットのデータZのうち
、MビットのデータZ_1を入力とし、該データZ_1
のモジュロW値E=〔e_1、・・・、e_w〕を生成
し出力する第1モジュロW生成回路と、前記データZの
うち、前記データZ_1を除いたN−Mビットのデータ
Z_2を入力とし、該データZ_2のモジュロW値F=
〔f_1、・・・、f_w〕を生成し出力する第2モジ
ュロW生成回路と、前記モジュロW演算回路の出力C= 〔c_1、・・・、c_w〕と、前記第2モジュロW生
成回路の出力F=〔f_1、・・・、f_w〕とを入力
とし、該入力CとFとの差C−FのモジュロW値をG=
〔g_1、・・・、g_w〕としたとき、前記入力C、
Fのうちの1つ以上が〔1、・・・、1〕のときはH=
〔1、・・・、1〕その他のときはH=〔g_1、・・
・、g_w〕となるwビットデータH=〔h_1、・・
・、h_w〕を出力するモジュロW減算回路と、該モジ
ュロW減算回路の出力H=〔h_1、・・・、h_w〕
と、前記第1モジュロW生成回路の出力E=〔e_1、
・・・、e_w〕とを入力とし、H=EのときはK=〔
e_1、・・・、e_w〕、H≠EまたはH、Eのうち
の1つ以上が〔1、・・・、1〕のときはK=〔1、・
・・、1〕となるwビットデータK=〔k_1、・・・
、k_2〕を出力するモジュロW一致回路と、モジュロ
W値の伝達パス上にあって、該モジュロW値L=〔l_
1、・・・、l_w〕と、ストローブ信号とを入力とし
、出力P=〔1、・・・、1〕の状態でストローブ信号
を入力するとP=〔1、・・・、1〕、その他の状態で
ストローブ信号を入力するとP=〔l_1、・・・、l
_w〕となるwビットデータP=〔p_1、・・・、p
_w〕を前記入力L=〔l_1、・・・l_w〕の1ス
トローブ後のモジュロW値として出力するモジュロWレ
ジスタとを備え、前記n個の入力データA_1、A_2
、・・・、A_n間の演算結果Dから、前記ジュロW値
Fを差し引いた結果Gと、前記モジュロW値Eとが一致
し、かつ入力データのなかに〔1、・・・、1〕の値が
ないときは、wビットデータK=E=〔e_1、・・・
、e_w〕を出力し、その他のときはK=〔1、・・・
、1〕を保持し、出力すると共に前記モジュロWレジス
タの保持値によって〔1、・・・、1〕の伝達経路を検
出するようにしたことを特徴とするモジュロW回路。 3)n(nは2以上の整数)個のw(wは2以上の整数
)ビットデータA_1=〔a_1_1、・・・、a_1
_w〕、A_2=〔a_2_1、・・・、a_2_w〕
、・・・、A_n=〔a_n_1、・・・、a_n_w
〕を入力とし、該n個の入力A_1、A_2、・・・、
A_n間でのモジュロW(W=2^w−1)演算の結果
をD=〔d_1、・・・、d_w〕としたとき、前記入
力A_1、A_2、・・・、A_nのうちの1つ以上が
〔1、・・・、1〕のときはC=〔1、・・・、1〕、
その他のときはC=〔d_1、・・・、d_w〕となる
wビットデータC=〔c_1、・・・、c_w〕を出力
するモジュロW演算回路と、NビットのデータZのうち
、MビットのデータZ_1を入力とし、該データZ_1
のモジュロW値E=〔e_1、・・・、e_w〕を生成
し出力する第1モジュロW生成回路と、前記データZの
うち、前記データZ_1を除いたN−Mビットのデータ
Z_2を入力とし、該データZ_2のモジュロW値F=
〔f_1、・・・、f_w〕を生成し出力する第2モジ
ュロW生成回路と、前記モジュロW演算回路の出力C=
〔c_1、・・・、c_w〕と、前記第2モジュロW生
成回路の出力F=〔f_1、・・・、f_w〕とを入力
とし、該入力CとFとの差C−FのモジュロW値をG=
〔g_1、・・・、g_w〕としたとき、前記入力C、
Fのうちの1つ以上が〔1、・・・、1〕のときはH=
〔1、・・・、1〕、その他のときはH=〔g_1、・
・・、g_w〕となるwビットデータH=〔h_1、・
・・、h_w〕を出力するモジュロW減算回路と、該モ
ジュロW減算回路の出力H=〔h_1、・・・、h_w
〕と、前記第1モジュロW生成回路の出力E=〔e_1
、・・・、e_w〕とを入力とし、H=EのときはK=
〔e_1、・・・、e_w〕、H≠EまたはH、Eのう
ちの1つ以上が〔1、・・・、1〕のときはK=〔1、
・・・、1〕となるwビットデータK=〔k_1、・・
・、k_w〕を出力するモジュロW一致回路と、モジュ
ロW値の伝達パス上にあって、該モジュロW値L=〔l
_1、・・・、l_w〕と、ストローブ信号とを入力と
し、出力P=〔1、・・・、1〕の状態でストローブ信
号を入力するとp=〔1、・・・、1〕、その他の状態
でストローブ信号を入力するとP=〔l_1、・・・、
l_w〕となるwビットデータP=〔p_1、・・・、
p_w〕を、前記入力L=〔l_1、・・・、l_ 浴lの1ストローブ後のモジュロW値として出力すると
ともに前記入力L=〔1、・・・、1〕またはP=〔1
、・・・、1〕の状態でストローブ信号を入力するとq
=1、その他の状態でストローブ信号を入力するとq=
0となる1ビットデータqを出力するモジュロWレジス
タとを備え、前記n個の入力データA_1、A_2、・
・・、A_n間の演算結果Dから前記モジュロW値Fを
差し引いた結果Gと、前記モジュロW値Eとが一致し、
かつ入力データのなかに〔1、・・・、1〕の値がない
ときはwビットデータK=E=〔e_1、・・・、e_
w〕を出力し、その他のときはK=〔1、・・・、1〕
を保持し、該wビットデータKと前記1ビットデータq
とによってエラー報告とを出力すると共に、前記モジュ
ロWレジスタの保持値によって、〔1、・・・、1〕の
伝達経路を検出するようにしたことを特徴とするモジュ
ロW回路。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61-155008 | 1986-07-03 | ||
| JP15500886 | 1986-07-03 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS63145546A true JPS63145546A (ja) | 1988-06-17 |
| JPH0542017B2 JPH0542017B2 (ja) | 1993-06-25 |
Family
ID=15596672
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP62158807A Granted JPS63145546A (ja) | 1986-07-03 | 1987-06-27 | モジュロw回路 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS63145546A (ja) |
-
1987
- 1987-06-27 JP JP62158807A patent/JPS63145546A/ja active Granted
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0542017B2 (ja) | 1993-06-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Efanov et al. | Conditions for detecting a logical element fault in a combination device under concurrent checking based on Berger’s code | |
| JPS63145546A (ja) | モジュロw回路 | |
| Vasudevan et al. | A technique for modular design of self-checking carry-select adder | |
| Roy | Diagnosis and fault equivalence in combinational circuits | |
| US6027243A (en) | Parity check circuit | |
| JPH0542015B2 (ja) | ||
| JPS63145539A (ja) | モジュロw回路 | |
| JPS63145547A (ja) | モジュロw回路 | |
| JPH01169544A (ja) | モジュロn回路 | |
| Vedeshenkov | On the BGM model-based diagnosis of failed modules and communication lines in digital systems | |
| JPS63145542A (ja) | モジュロw回路 | |
| Friedman et al. | Restricted checking sequences for sequential machines | |
| US20050086279A1 (en) | Methods and apparatus for performing multi-value range checks | |
| JPS5821174A (ja) | 検査回路 | |
| JPH0713653B2 (ja) | 故障検出回路 | |
| Narayanan et al. | Carry Select Adder Based on Dual Rail Error Detection and Easy Testability | |
| Chakravarty | Synthesis of delay fault testability circuits | |
| JPS59201148A (ja) | 誤り訂正符号復号方式 | |
| JP3052900B2 (ja) | テスト回路 | |
| JPH0535514A (ja) | 故障検出回路 | |
| JPS63115240A (ja) | 障害検出方式 | |
| Mohan | Error Detection and Correction in RNS | |
| JPS5916303B2 (ja) | デ−タ処理装置 | |
| JPH02105635A (ja) | データ誤り検出回路 | |
| JPH06350437A (ja) | 信号衝突検出回路 |