JPS5831457A - デ−タ処理装置 - Google Patents
デ−タ処理装置Info
- Publication number
- JPS5831457A JPS5831457A JP56129105A JP12910581A JPS5831457A JP S5831457 A JPS5831457 A JP S5831457A JP 56129105 A JP56129105 A JP 56129105A JP 12910581 A JP12910581 A JP 12910581A JP S5831457 A JPS5831457 A JP S5831457A
- Authority
- JP
- Japan
- Prior art keywords
- shift
- logic
- flop
- flip
- data
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0751—Error or fault detection not based on redundancy
- G06F11/0754—Error or fault detection not based on redundancy by exceeding limits
- G06F11/076—Error or fault detection not based on redundancy by exceeding limits by exceeding a count or rate limit, e.g. word- or bit count limit
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
本尭明は、シフトパスを持つデータ処濁装雪に関し、特
に、シフトパスのデエッタに関するものである。
に、シフトパスのデエッタに関するものである。
従来のシフ）パスを持つ装置に於て、シフトパスを利用
してシフトパスに接続畜れているフリップフ璽ツブ（レ
ジスタを含む）の内容な表示威−社摘出して記憶する方
式がよく採られてｈた。
してシフトパスに接続畜れているフリップフ璽ツブ（レ
ジスタを含む）の内容な表示威−社摘出して記憶する方
式がよく採られてｈた。
しかしながら１ジツトパスを利用した鳩舎に、シフトパ
ス中の７リツプ７−ツブ等に故障が参ると、故障の７リ
ツブ７ａツブ以降＆−接ＩＩＲ畜れた７リツプフ田ツブ
の内容がすべて論ｍ＠ｏ”Ｃなりた１％論論理１”にな
ったりする虞れがあった。
ス中の７リツプ７−ツブ等に故障が参ると、故障の７リ
ツブ７ａツブ以降＆−接ＩＩＲ畜れた７リツプフ田ツブ
の内容がすべて論ｍ＠ｏ”Ｃなりた１％論論理１”にな
ったりする虞れがあった。
以鎗紘これに対し、シフトパス＆：Ｒ知のデータを違し
璽してシアトアウ）されるデータと比較す１事によって
、シフトパスの故障を判断して−た。
璽してシアトアウ）されるデータと比較す１事によって
、シフトパスの故障を判断して−た。
しかしながら、との方式であると、シフトパス中に多量
な７９ツブ７１１７ブが存在する場合ｈ−は、シフト間
数が多くなるために時間がかかる欠点があった。ｍち、
シフ）パスのループを１巡するだけで韓辿中に故障があ
るか蕾かの判断がａ１乗な一矢点があった０、 ・ 本＊＠１１従来の上記欠点を除去する為＆：な１れたも
のであ９％従って本発明の目的社、ループを廖威するシ
フ）パス内に論理照会用アリツブフロップを挿入し、シ
フ ）ｊｘｃｌｌｌ畜れたシフトパスチェツタ−路によ
タ論ｍ＊合用フリップ７ｗツブかもシフトアウトされた
データと予めシフト固数Ｃ対応した論、ｍｓ舎用データ
と比較する事によって、ジアドパス及びシフトパスに會
ｔｈｉフｖップフーツプａ欽障を容易＆：尭見する事、
及び最初の論ｍｊｌ舎用７リツブ７０ツブのり７トイン
入力にシフトパスチェック［１１ｔ−接続することによ
、ｌ 、ｙ ｙ ）パスを１巡させる事で故障がな一場
舎＆：は各７リツブフロツブの状態が元の内？！ｃ４ど
ろようにした新規なデータ４６１１装置を提供すること
にある。
な７９ツブ７１１７ブが存在する場合ｈ−は、シフト間
数が多くなるために時間がかかる欠点があった。ｍち、
シフ）パスのループを１巡するだけで韓辿中に故障があ
るか蕾かの判断がａ１乗な一矢点があった０、 ・ 本＊＠１１従来の上記欠点を除去する為＆：な１れたも
のであ９％従って本発明の目的社、ループを廖威するシ
フ）パス内に論理照会用アリツブフロップを挿入し、シ
フ ）ｊｘｃｌｌｌ畜れたシフトパスチェツタ−路によ
タ論ｍ＊合用フリップ７ｗツブかもシフトアウトされた
データと予めシフト固数Ｃ対応した論、ｍｓ舎用データ
と比較する事によって、ジアドパス及びシフトパスに會
ｔｈｉフｖップフーツプａ欽障を容易＆：尭見する事、
及び最初の論ｍｊｌ舎用７リツブ７０ツブのり７トイン
入力にシフトパスチェック［１１ｔ−接続することによ
、ｌ 、ｙ ｙ ）パスを１巡させる事で故障がな一場
舎＆：は各７リツブフロツブの状態が元の内？！ｃ４ど
ろようにした新規なデータ４６１１装置を提供すること
にある。
本発明の上記目的は、シフトモード信号を受けると入力
データバスを切１離してクーツタが１Ｉ１４！！する毎
に鍵段の７リツプフロツプのに力をシフトイン入力とし
てセットするシフト機能付アリツブフロップと、シフト
機能付７リフプフロツプ間のシフトイン入力と７リツプ
アロツプの出力をそれぞれ接続してループを形成するシ
フトパスと、シフト開始時には常に論１１＠１”（又、
は＠０”）になっているシフト機能付の論！１１１”（
又は“０”）照会用フダフプ７０ツブと、シフト開始時
には常に論ｍ＠ｏ″（又Ｆｉ＠１”）となって−るシフ
ト機能付の論ｍ＠ｏ”（又轄＠１”）ｊｌｌｌ会用アリ
ツブフ曹ツブと、前記２つの論理照合用７９ツブ７０ツ
ブは連続して接続されかつ前記シフトパスのループの内
に會すれて訃り、前記２つの論理照合用７ｖツブフロフ
プのうち最初の論ｍａ舎用７リフプ７ｗツブのシフトイ
ン入力への７７）パス＆−擬続畜れ、シフトパスのデー
タが１巡した時点で前記最初の論１照会用フリツプフ冒
ツブからシフトアウトされたデータの照合を完了するシ
フトパスチェツタ回路とを有する事を轡徽としたデータ
処理装置、によって達成される。
データバスを切１離してクーツタが１Ｉ１４！！する毎
に鍵段の７リツプフロツプのに力をシフトイン入力とし
てセットするシフト機能付アリツブフロップと、シフト
機能付７リフプフロツプ間のシフトイン入力と７リツプ
アロツプの出力をそれぞれ接続してループを形成するシ
フトパスと、シフト開始時には常に論１１＠１”（又、
は＠０”）になっているシフト機能付の論！１１１”（
又は“０”）照会用フダフプ７０ツブと、シフト開始時
には常に論ｍ＠ｏ″（又Ｆｉ＠１”）となって−るシフ
ト機能付の論ｍ＠ｏ”（又轄＠１”）ｊｌｌｌ会用アリ
ツブフ曹ツブと、前記２つの論理照合用７９ツブ７０ツ
ブは連続して接続されかつ前記シフトパスのループの内
に會すれて訃り、前記２つの論理照合用７ｖツブフロフ
プのうち最初の論ｍａ舎用７リフプ７ｗツブのシフトイ
ン入力への７７）パス＆−擬続畜れ、シフトパスのデー
タが１巡した時点で前記最初の論１照会用フリツプフ冒
ツブからシフトアウトされたデータの照合を完了するシ
フトパスチェツタ回路とを有する事を轡徽としたデータ
処理装置、によって達成される。
次に本−明をその良好な−！ｌ！麹例にクーてｍ藺を参
照して詳細に説明する。
照して詳細に説明する。
＊１ｍａ本尭明の一実施例を示すブロック構成間である
。
。
１１１１１ｃＴｈｈｒ、参ｊｌｌ［Ｉ４！１ ｔｌＶｙ
）４−Ｆ信号が与えられて−な一時Ｃは常に論理１１
”の状態を保持するシフト機能付の論１１＠１″照会用
ツリツブアーツプでＬｊｔ、 ２ｆｌｌ鍵記７響ツブフ
ーツブ１の逆でシフト篭−ドＩＩＪ）が与えられて−な
い時に鉱常に論ｍ”ｏ″の状態を保持するシフト機能付
の論：ｓ”ｏ”照会用アリフプ７−ツプである。
）４−Ｆ信号が与えられて−な一時Ｃは常に論理１１
”の状態を保持するシフト機能付の論１１＠１″照会用
ツリツブアーツプでＬｊｔ、 ２ｆｌｌ鍵記７響ツブフ
ーツブ１の逆でシフト篭−ドＩＩＪ）が与えられて−な
い時に鉱常に論ｍ”ｏ″の状態を保持するシフト機能付
の論：ｓ”ｏ”照会用アリフプ７−ツプである。
壇た、−ｍ ＠ｏ”照合用フリップ７−ツプ２の出力か
ら順次接続されている１個のシフト機能付フリップ７−
ツプ３社、シフト信号が与えられて−ない時にはデータ
ＩＩ＆理装置の機能を溝足畜せるた・めに、データレジ
スタ、−或いは制御ＩＩ奇期用７リツプフ１１ツブして
使用畜れる。
ら順次接続されている１個のシフト機能付フリップ７−
ツプ３社、シフト信号が与えられて−ない時にはデータ
ＩＩ＆理装置の機能を溝足畜せるた・めに、データレジ
スタ、−或いは制御ＩＩ奇期用７リツプフ１１ツブして
使用畜れる。
４＆ｔシフトパスのループを形成するためのシフトパス
用＊＊＊である。
用＊＊＊である。
５はシフ）モード信号の売先、シフ）１ｍ数のカランＦ
及びシフト回数が蜆走値になると予め用意した論理値と
論理照会用７リツブ７Ｗフプか６０データを照合する機
能を有するシフトパステエツ＃−路である。
及びシフト回数が蜆走値になると予め用意した論理値と
論理照会用７リツブ７Ｗフプか６０データを照合する機
能を有するシフトパステエツ＃−路である。
以上の如き構成に於ては、シフトモード信号が尭生して
Ｎ＋２Ｗ４シフ）が行なわれれば１巡するわけで番るが
、論理＠０”照合用フリップ７Ｗツブ２よ１先のシフト
機能付７リフブ７−ツブ暴威、ｖ＆はｖｙ＞パス４に故
障がめり、データが雷に論理＠１”に化ける場合Ｃは、
＃＋１１１■のデータが論理＠ｏ’ ｃ ｔ ｂないた
めに、Ｖ７トパスデエフター１Ｉｌｓで予め周章された
Ｎ＋１誉Ｉ用の論理１０”データと一歇がとれない事が
検幽畜れる。
Ｎ＋２Ｗ４シフ）が行なわれれば１巡するわけで番るが
、論理＠０”照合用フリップ７Ｗツブ２よ１先のシフト
機能付７リフブ７−ツブ暴威、ｖ＆はｖｙ＞パス４に故
障がめり、データが雷に論理＠１”に化ける場合Ｃは、
＃＋１１１■のデータが論理＠ｏ’ ｃ ｔ ｂないた
めに、Ｖ７トパスデエフター１Ｉｌｓで予め周章された
Ｎ＋１誉Ｉ用の論理１０”データと一歇がとれない事が
検幽畜れる。
★た、論理＠１１′照合用７リツブ７０ツブ１より先の
論ｍ ＠ｏ″照会照会用フリップフジツブ２シフト機能
付７リツプ７ａフブ５或いはシフトパス４に故障が６り
、データが常に論理＠０″に化ける鳩舎に社、Ｎ＋２Ｉ
ＩＩｉのデータが論理＠１”にならないために、シフト
バスチェック回路５で予め用意されたＮ＋２番目用０論
１１＠１”データと一歇がとれ＆−事が検出畜れる。
論ｍ ＠ｏ″照会照会用フリップフジツブ２シフト機能
付７リツプ７ａフブ５或いはシフトパス４に故障が６り
、データが常に論理＠０″に化ける鳩舎に社、Ｎ＋２Ｉ
ＩＩｉのデータが論理＠１”にならないために、シフト
バスチェック回路５で予め用意されたＮ＋２番目用０論
１１＠１”データと一歇がとれ＆−事が検出畜れる。
かくして、Ｎ＋２−のシフトでデータが１巡し、故障が
あれば検出される。もし故障がなければ各７リツプ７ｗ
ツブの内容は尤の値にもどる。
あれば検出される。もし故障がなければ各７リツプ７ｗ
ツブの内容は尤の値にもどる。
もし、１つのシフトパスチェック回路５で被数のシフト
パスループのチェックを行つ鳩舎には、シフトパスへの
接続切替ａｍと対応するシフトバスループの１巡する鴎
数の選択動作が必要であるが、ＩＦＪＣＩ！現出来る。
パスループのチェックを行つ鳩舎には、シフトパスへの
接続切替ａｍと対応するシフトバスループの１巡する鴎
数の選択動作が必要であるが、ＩＦＪＣＩ！現出来る。
本発明には、以上説明したように、シフトバスループ内
の既知の位置に既知の一履値をとる一履鳳舎用７９ツブ
７−フブを挿入することにより、シフトパスの故障を容
１に検出できるという効果がある。
の既知の位置に既知の一履値をとる一履鳳舎用７９ツブ
７−フブを挿入することにより、シフトパスの故障を容
１に検出できるという効果がある。
９１図は本発明の一実施例を示すプロフタ構成図である
。 １・・・論１１＠１″照合用アリツブアロツブ、２・・
・論理ＩｌＯ”照合用アリツブフロップ、３・・・シフ
ト機能付７リツブフロツプ、４・・・シフトパス用接続
線、５・・・シフトパスチェツタ回路 特許崗願入 日本電気株式条社
。 １・・・論１１＠１″照合用アリツブアロツブ、２・・
・論理ＩｌＯ”照合用アリツブフロップ、３・・・シフ
ト機能付７リツブフロツプ、４・・・シフトパス用接続
線、５・・・シフトパスチェツタ回路 特許崗願入 日本電気株式条社
Claims (1)
- シフトモード信号を受けると入力データバスを１！ＩＩ
ＩＩＩしてタロツタが発生する毎に＃、ＩＩの７リツプ
７０ツブの出力をシフトイン入力としてセットする複数
個のシフト機能付７リツプ７０ツフト、シフト−始時＆
：は常に論１１＠１’（又は１ｏ”）になって−るシフ
ト機能付の論１１”ｌ”（又は＠０″）照会用フリツブ
ツーツブと、シフトＷＲ＃時Ｃは常に論理＠０″（Ｘ社
１１”）Ｃなって−る？／７）１！能付ｅ論１１＠ｏ”
（５１＠１”）ＩＮ合用７’ｊ”／ブ７ａ−７プと、＃
Ｉ配各ｍｙ讐フプ７−ツプの各シフトイン入力Ｃ前段の
各フリップフ圏フブの出力をそｈ−ｔ’ｈ、ｍ貌ル、シ
フト方崗に―記２個の論理照会用ｙｖ）ツフ→−ツブ、
シフト機能付アリップア謬ツブの履にｔｔｔｔへて閉ル
ープを形成するシフトパルスト、遭−して接続畜れた鍵
記２個の論通照合用７リツプ７ｗフプのうち最初に接続
された動態照合用７リップ７ｖツブのシフトイン入力に
擬ＩＩＲｔｒれ、繍記シフトバスのデータが１巡した時
点で鮪記最初＆ｌ：接続された論！ＩＩＩＡ合用７リフ
ブ７０ツブからシフドア？）畜れたデータと予めシフト
回数に対応した論理照合用データとを比較してシフトパ
ス及び７リツブフロツプのチェックをするシフトパスチ
ェック回路とを有する仁とを特徴としたデータ魁濡装置
。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP56129105A JPS5831457A (ja) | 1981-08-17 | 1981-08-17 | デ−タ処理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP56129105A JPS5831457A (ja) | 1981-08-17 | 1981-08-17 | デ−タ処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS5831457A true JPS5831457A (ja) | 1983-02-24 |
| JPS6141426B2 JPS6141426B2 (ja) | 1986-09-16 |
Family
ID=15001188
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP56129105A Granted JPS5831457A (ja) | 1981-08-17 | 1981-08-17 | デ−タ処理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS5831457A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63123135A (ja) * | 1986-11-13 | 1988-05-26 | Nec Corp | シフトパス診断方式 |
| JPS63280342A (ja) * | 1987-05-13 | 1988-11-17 | Nec Corp | シフトパス故障診断装置 |
-
1981
- 1981-08-17 JP JP56129105A patent/JPS5831457A/ja active Granted
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63123135A (ja) * | 1986-11-13 | 1988-05-26 | Nec Corp | シフトパス診断方式 |
| JPS63280342A (ja) * | 1987-05-13 | 1988-11-17 | Nec Corp | シフトパス故障診断装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPS6141426B2 (ja) | 1986-09-16 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Lomazova | Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems | |
| Clark et al. | IC-Prolog language features | |
| Probst et al. | Using partial-order semantics to avoid the state explosion problem in asynchronous systems | |
| Devillers | Maximality preserving bisimulation | |
| Clarke et al. | A unified approach for showing language containment and equivalence between various types of ω-automata | |
| Berger et al. | Fault detection in fanout-free combinational networks | |
| JPS5831457A (ja) | デ−タ処理装置 | |
| Groote et al. | Modelling and analysis of communicating systems | |
| US20060085172A1 (en) | Transaction-based system and method for abstraction of hardware designs | |
| US6637009B2 (en) | Optimization of a logic circuit having a hierarchical structure | |
| JPS61500990A (ja) | 浮動小数点条件符号生成方式 | |
| Jarrow | An integrated axiomatic approach to the existence of ordinal and cardinal utility functions | |
| Yelowitz et al. | Data structures and program correctness: Bridging the gap | |
| US9292390B2 (en) | Pulsed-latch based razor with 1-cycle error recovery scheme | |
| US2974309A (en) | Magnetic core logical circuits | |
| Mukund | Finite-state automata on infinite inputs | |
| Punčochář et al. | Substructural Logics' by Ondrej Majer | |
| Lischner | Enumerations | |
| US20230080172A1 (en) | Transmitting node instructions | |
| JPH06314229A (ja) | 連関構造を用いた知識表現方法 | |
| SU1119023A1 (ru) | Устройство дл моделировани веро тностного графа | |
| SU1012268A2 (ru) | Модель ветви графа | |
| SU357563A1 (ja) | ||
| Panangaden | A Proof System for Dataflow | |
| Moitra et al. | A Proof System for Dataflow Networks with Indeterminate Modules |