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
Application number
JP62158807A
Other languages
English (en)
Other versions
JPH0542017B2 (ja
Inventor
Teru Ishizuka
輝 石塚
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Publication of JPS63145546A publication Critical patent/JPS63145546A/ja
Publication of JPH0542017B2 publication Critical patent/JPH0542017B2/ja
Granted legal-status Critical Current

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〕、その他の状態でストローブ信号を
入力すると
〔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化等に適した構成にできるという効果
がある。
【図面の簡単な説明】
第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図

Claims (1)

  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回路。
JP62158807A 1986-07-03 1987-06-27 モジュロw回路 Granted JPS63145546A (ja)

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)

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) 信号衝突検出回路