JP4600313B2 - 論理回路の故障検出回路の生成方法およびその装置 - Google Patents
論理回路の故障検出回路の生成方法およびその装置 Download PDFInfo
- Publication number
- JP4600313B2 JP4600313B2 JP2006051477A JP2006051477A JP4600313B2 JP 4600313 B2 JP4600313 B2 JP 4600313B2 JP 2006051477 A JP2006051477 A JP 2006051477A JP 2006051477 A JP2006051477 A JP 2006051477A JP 4600313 B2 JP4600313 B2 JP 4600313B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- detection circuit
- logic circuit
- failure detection
- logic
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02T—CLIMATE CHANGE MITIGATION TECHNOLOGIES RELATED TO TRANSPORTATION
- Y02T10/00—Road transport of goods or passengers
- Y02T10/80—Technologies aiming to reduce greenhouse gasses emissions common to all road transportation technologies
- Y02T10/82—Elements for improving aerodynamics
Description
〔実施の形態1〕
図1は、本発明の実施の形態1における、故障検出回路の生成方法の流れを示す図である。
Analysis、以下STA)と呼ばれるもので、STAを行うための市販のソフトウェアなどが多数存在し、これらのソフトウェアを用いて解析処理を行うことが出来る。
23を含み、2つの入力ポート24、26と2つの出力ポート25、27を有する論理回路31のブロック図の例である。
(eXclusive−OR、以下XORと表記する)をとるXOR回路72と、8ビットのデータ信号102のXORをとるXOR回路74があり、それぞれ、レジスタ群52の入力データパリティと、出力データパリティを生成している。
XOR回路132,8ビットのデータ信号102のXORをとるXOR回路134,パリティを保持するレジスタ133,比較回路135の構成は、図5で示したパリティチェック回路71と同様である。
[ns]”であることを示している。
〔実施の形態2〕
次に、本発明における故障検出回路生成方法において、故障検出回路を付加する箇所のレジスタの取り扱い方についての一例を説明する。
203、4ビットのイネーブル付きレジスタ群204から成る論理回路を示すブロック図であり、この論理回路に対してパリティチェック回路209を生成し、論理回路の故障検出を行うことを示している。
304から出力されるパリティ信号と比較され、一致していれば比較信号353の値が0になり、不一致であれば比較信号353の値は1になる。
〔実施の形態3〕
図13は、本発明における故障検出回路生成方法の流れの一例を示したものであるが、実施の形態1の図1と比較して、故障検出回路データベース15が追加されている。
0.50μwであることを示している。
23…組み合わせ回路、51,52,53,54,82…レジスタ群、71,76,209,312…パリティチェック回路、72,74,77,79…排他的論理和回路、73,78…レジスタ、75,80,83…比較回路、81…レジスタ多重化回路、91…ECC回路、131…パリティ多重化回路、501,502…回路記述、503…回路付加結果、511…故障検出回路テーブル。
Claims (9)
- 論理回路が稼動中に発生した故障を検出するための故障検出回路をコンピュータに生成させるプログラムにおいて、
前記論理回路内にあるレジスタの故障を検出する故障検出回路を生成する機能、
前記論理回路内にある各レジスタ間パスのディレイ値を計算する機能、
生成された前記故障検出回路のディレイ値に、前記レジスタ間パスのディレイ値を加えて合計ディレイ値が前記論理回路に対するディレイ制約条件に収まらない場合は、別の故障検出回路が生成され、前記ディレイ制約条件に収まった故障検出回路を前記論理回路に付加する機能、
同一のイネーブル信号が入力され、同一のクロック信号に同期して動作する複数の前記レジスタが前記論理回路内にある場合に、前記レジスタ群に対して1種類の前記故障検出回路を生成し、前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
前記故障検出回路として、パリティチェック回路,誤り訂正回路,レジスタ多重化回路又はパリティ多重化回路の回路が選択され、前記論理回路に付加することを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1または2に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
生成された前記故障検出回路が前記論理回路に付加できた場合は付加できた論理箇所と前記故障検出回路の種類を出力し、付加できなかった場合は付加できなかった論理箇所と前記故障検出回路の種類を出力することを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項3に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
同一のクロック信号と同一のイネーブル信号に同期して動作する複数のレジスタが前記論理回路内にある場合に、前記レジスタ群に対して1種類の前記故障検出回路を生成し、前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
前記論理回路の面積を計算し、
前記論理回路の面積値と、前記論理回路に対する面積制約を有し、
生成された前記故障検出回路の面積値に、前記論理回路の面積値を加えた合計面積値が論理回路の面積制約条件に収まらない場合は、別の故障検出回路が生成され、前記面積制約に収まった故障検出回路を前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
前記論理回路の消費電力を計算し、
前記論理回路の消費電力値と、前記論理回路に対する消費電力制約を有し、
生成された前記故障検出回路の消費電力値に、前記論理回路の消費電力値を加えた合計消費電力値が論理回路の消費電力制約に収まらない場合は、別の故障検出回路が生成され、前記消費電力制約に収まった故障検出回路を前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
前記論理回路内にあるレジスタの故障を検出する故障検出回路を生成する機能、
前記論理回路の面積を計算し、
前記論理回路の面積値と、前記論理回路に対する面積制約を有し、
生成された前記故障検出回路の面積値に、前記論理回路の面積値を加えた合計面積値が論理回路の面積制約条件に収まらない場合は、別の故障検出回路が生成され、前記面積制約に収まった故障検出回路を前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
前記論理回路内にあるレジスタの故障を検出する故障検出回路を生成する機能、
前記論理回路の消費電力を計算し、
前記論理回路の消費電力値と、前記論理回路に対する消費電力制約を有し、
生成された前記故障検出回路の消費電力値に、前記論理回路の消費電力値を加えた合計消費電力値が論理回路の消費電力制約に収まらない場合は、別の故障検出回路が生成され、前記消費電力制約に収まった故障検出回路を前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。 - 請求項1に記載の故障検出回路をコンピュータに生成させるプログラムにおいて、
論理回路が稼動中に発生した故障を検出するための故障検出回路の回路記述および前記
故障検出回路のディレイ値が記載されたデータファイルと、前記論理回路内にある各レジスタ間パスのディレイ値と、を用いて、
前記レジスタ間パスの前記ディレイ値に前記データファイルに記載された故障検出回路のディレイ値を加えたディレイ値が前記論理回路に対するディレイ制約条件に収まるような故障検出回路を前記データファイルから選択し、前記論理回路に付加する機能を備えたことを特徴とする故障検出回路をコンピュータに生成させるプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006051477A JP4600313B2 (ja) | 2006-02-28 | 2006-02-28 | 論理回路の故障検出回路の生成方法およびその装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006051477A JP4600313B2 (ja) | 2006-02-28 | 2006-02-28 | 論理回路の故障検出回路の生成方法およびその装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007233496A JP2007233496A (ja) | 2007-09-13 |
JP4600313B2 true JP4600313B2 (ja) | 2010-12-15 |
Family
ID=38554062
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006051477A Expired - Fee Related JP4600313B2 (ja) | 2006-02-28 | 2006-02-28 | 論理回路の故障検出回路の生成方法およびその装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4600313B2 (ja) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05100877A (ja) * | 1991-10-04 | 1993-04-23 | Fujitsu Ltd | パリテイ反転試験方式 |
JPH0644336A (ja) * | 1992-07-22 | 1994-02-18 | Hitachi Ltd | 故障検出回路の生成方法および生成装置 |
JP2002032423A (ja) * | 2000-07-13 | 2002-01-31 | Hitachi Ltd | テスト容易性考慮論理合成方法及びシステム |
JP2004234770A (ja) * | 2003-01-31 | 2004-08-19 | Renesas Technology Corp | 半導体記憶装置とテスト方法 |
-
2006
- 2006-02-28 JP JP2006051477A patent/JP4600313B2/ja not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05100877A (ja) * | 1991-10-04 | 1993-04-23 | Fujitsu Ltd | パリテイ反転試験方式 |
JPH0644336A (ja) * | 1992-07-22 | 1994-02-18 | Hitachi Ltd | 故障検出回路の生成方法および生成装置 |
JP2002032423A (ja) * | 2000-07-13 | 2002-01-31 | Hitachi Ltd | テスト容易性考慮論理合成方法及びシステム |
JP2004234770A (ja) * | 2003-01-31 | 2004-08-19 | Renesas Technology Corp | 半導体記憶装置とテスト方法 |
Also Published As
Publication number | Publication date |
---|---|
JP2007233496A (ja) | 2007-09-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6050083B2 (ja) | 半導体装置 | |
Krishnaswamy et al. | Enhancing design robustness with reliability-aware resynthesis and logic simulation | |
JP4540540B2 (ja) | 遅延計算装置 | |
JP4147842B2 (ja) | 論理検証システム及び方法、論理コーン抽出装置及び方法、論理検証及び論理コーン抽出プログラム | |
US9305125B2 (en) | Integrated circuit design timing path verification tool | |
JP4586864B2 (ja) | プロパティ自動生成装置 | |
JP5040758B2 (ja) | シミュレーション装置、シミュレーション方法及びプログラム | |
US20110295536A1 (en) | Clock jitter analyzing method and apparatus | |
JP4600313B2 (ja) | 論理回路の故障検出回路の生成方法およびその装置 | |
Wang et al. | On probability of detection lossless concurrent error detection based on implications | |
JP5830955B2 (ja) | 検証装置、検証方法及び検証プログラム | |
JP2010073136A (ja) | ホールドタイムエラーの収束方法、収束装置、及び収束プログラム | |
JP5259082B2 (ja) | 一致検証方法及び装置 | |
May et al. | A rapid prototyping system for error-resilient multi-processor systems-on-chip | |
US9991008B2 (en) | Systems and methods for analyzing soft errors in a design and reducing the associated failure rates thereof | |
JP2009093635A (ja) | 回路検証方法、及び回路検証プログラム、回路検証装置 | |
JP2011070343A (ja) | 論理エミュレーション方法及び論理エミュレーションプログラム | |
US11023633B2 (en) | High-level synthesis method, high-level synthesis apparatus, and high-level synthesis system | |
JP2008243092A (ja) | マルチサイクルパス検出装置、マルチサイクルパス検出方法及びマルチサイクルパス検出プログラム | |
CN110750956B (zh) | 逻辑闸阶层验证方法以及验证系统 | |
Kuo et al. | Symbiotic controller design using a memory-based FSM model | |
JP2002259488A (ja) | クロックスキュー検証方法 | |
JP6303509B2 (ja) | 回路検証方法、及び回路検証プログラム | |
JP5729546B2 (ja) | 半導体設計支援装置、タイミング制約生成方法、およびプログラム | |
Wang et al. | An implication-based test scheme for both diagnosis and concurrent error detection applications |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080312 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20091215 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100215 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100518 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100625 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20100831 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20100913 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131008 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131008 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |