JP2014106928A - 試験方法、試験プログラム、および、試験制御装置 - Google Patents
試験方法、試験プログラム、および、試験制御装置 Download PDFInfo
- Publication number
- JP2014106928A JP2014106928A JP2012261729A JP2012261729A JP2014106928A JP 2014106928 A JP2014106928 A JP 2014106928A JP 2012261729 A JP2012261729 A JP 2012261729A JP 2012261729 A JP2012261729 A JP 2012261729A JP 2014106928 A JP2014106928 A JP 2014106928A
- Authority
- JP
- Japan
- Prior art keywords
- test
- instruction sequence
- instruction
- arithmetic
- address
- 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/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2273—Test methods
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
【解決手段】
実施形態にかかる方法では、第1〜第3の演算器を有する装置の試験を行うことができる。実施形態にかかる方法では、第1の演算器と第2の演算器を接続する第1の回路を使用する処理を含む命令列である処理命令列を用いて、第2の演算器と第3の演算器を接続する第2の回路を使用する処理を含む試験命令列を生成する。ここで、試験命令列は、処理命令列の先頭に、処理命令列に含まれる命令の演算結果に変化を与えない命令列である追加命令列を追加したものである。処理命令列の先頭から試験命令列を装置に実行させることにより、前記第1の回路の故障の有無を判定する。また、追加命令列から試験命令列を装置に実行させることにより、第2の回路の故障の有無を検出する。
【選択図】図1
Description
特定の試験命令列は、特定の演算器の間を接続する回路の故障を検出することができるものの、他の演算器の間を接続する回路の故障を検出できないという問題がある。そこで、他の演算器間を接続する回路に対して、故障の検出を行うためには、演算器の数に応じた複数の新しい試験命令列を作成しなければならない。新しく作成された試験命令列は、故障の検出に有効であるかどうかを判断しなければならず、検証に多くの人手と時間を費やしていた。
図1は、試験方法の例である。図1(a)は、試験命令列100と、試験制御部101とを示す。試験命令列100は、メモリアドレス111、112にNOP命令を備え、メモリアドレス113〜118の各々に演算命令を備える処理命令列110と、メモリアドレス119にリターン命令とを備える命令列である。NOP命令は、何も処理を実行しない(No Operation)命令であり、また、他の演算命令に何ら影響を与えない演算命令である。メモリアドレス113〜118に格納された演算命令は、特定の演算器間で発生した故障を検出する演算命令列である。簡略化のため、特定の演算器間で発生した故障を検出する演算命令列のことを、「処理命令列」と称す。
(1)メモリアドレス113に格納されている処理命令列110の先頭の演算命令から複数の演算器に実行されるパターン
(2)メモリアドレス112に格納されているNOP命令から複数の演算器に実行されるパターン
(3)メモリアドレス111に格納されているNOP命令から複数の演算器に実行されるパターン
パターン(1)〜(3)の命令列において、処理命令列は、命令シーケンスを変更されない。
メモリアドレス113の演算命令:演算器A
メモリアドレス114の演算命令:演算器B
メモリアドレス115の演算命令:演算器C
メモリアドレス116の演算命令:演算器A
メモリアドレス117の演算命令:演算器B
メモリアドレス118の演算命令:演算器C
メモリアドレス119のリターン命令:演算器A
メモリアドレス112のNOP命令:演算器A
メモリアドレス113の演算命令:演算器B
メモリアドレス114の演算命令:演算器C
メモリアドレス115の演算命令:演算器A
メモリアドレス116の演算命令:演算器B
メモリアドレス117の演算命令:演算器C
メモリアドレス118の演算命令:演算器A
メモリアドレス119のリターン命令:演算器B
メモリアドレス111のNOP命令:演算器A
メモリアドレス112のNOP命令:演算器B
メモリアドレス113の演算命令:演算器C
メモリアドレス114の演算命令:演算器A
メモリアドレス115の演算命令:演算器B
メモリアドレス116の演算命令:演算器C
メモリアドレス117の演算命令:演算器A
メモリアドレス118の演算命令:演算器B
メモリアドレス119のリターン命令:演算器C
(ii)メモリアドレス402に格納されているNOP命令から複数の演算器に実行されるパターン
(iii)メモリアドレス403に格納されているNOP命令から複数の演算器に実行されるパターン
(iv)メモリアドレス404に格納されている処理命令列の先頭の演算命令から複数の演算器に実行されるパターン(メモリアドレス401,402、403に格納されているNOP命令は、演算器で実行されない)
最初の処理として、試験命令列生成部210は、試験命令列400を生成する(ステップS201)。試験命令列400は、パターン(i)〜(iv)で共通して使用する試験命令列である。そのため、2回目以降の試験では、試験命令列400を再度生成する処理を有さない。試験開始アドレス設定部220は、試験開始アドレスの初期値としてメモリアドレス401を設定する(ステップS202)。試験データ設定部230は、試験に使用するデータを設定する(ステップS203)。試験に使用するデータは、試験命令列400、演算器の数、予測値、所定の試験環境情報、試験番号などである。試験命令列制御部240は、試験開始アドレスとしてメモリアドレス401を指定し、試験開始命令を出力する(ステップS204)。複数の演算器270は、試験開始アドレスから試験命令列を実行する(ステップS205)。パターン(i)の試験では、試験命令列400の各演算命令は、図5Aに示すように演算器A〜Dに割り当てられる。メモリアドレス404とメモリアドレス409に格納された命令を実行する演算器が、レジスタ中の同じアドレスに対するアクセスを重複して行う。そのため、パターン(i)の試験は、演算器D−A間のバイパス回路を使用している。試験命令列制御部240は、パターン(i)の演算結果を受信し、演算結果を予測値と比較処理を行い、演算器D−A間のバイパス回路が故障しているかを判断する(ステップS206)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスを算出する(ステップS207)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスをメモリアドレス402とする。試験命令列制御部240は、演算器数と同じ回数の試験を実行したかを判断する(ステップS208)。パターン(i)は1回目の試験であるため、演算器数と同じ4回の試験を実行しておらず、ステップS208では、NOと判断され、処理をステップS203に返す。
試験データ設定部230は、試験に使用するデータを設定する(ステップS203)。ここで設定されるデータは、1回目の試験のステップS207で算出された、次に実行する試験命令列の試験開始アドレスである。1回目の試験のステップS207の算出の結果、試験データ設定部230は、次に実行する試験命令列の試験開始アドレスとして、メモリアドレス402を設定する。なお、1回目の試験のステップS203で設定した試験命令列400、演算器の数、予測値、所定の試験環境情報は、2回目の試験でも同じものを使用する。試験命令列制御部240は、試験開始アドレスとしてメモリアドレス402を指定し、試験開始命令を出力する(ステップS204)。複数の演算器270は、試験開始アドレスから試験命令列を実行する(ステップS205)。パターン(ii)の試験では、試験命令列400の各演算命令は、図5Bに示すように、演算器A〜Dに割り当てられる。試験命令列400のメモリアドレス401に格納されているNOP命令は、演算器で実行されない。メモリアドレス404とメモリアドレス409に格納された命令を実行する演算器が、レジスタ中の同じアドレスに対するアクセスを重複して行う。そのため、パターン(ii)の試験は、演算器C−D間のバイパス回路を使用している。試験命令列制御部240は、パターン(ii)の演算結果を受信し、演算結果を予測値と比較することにより、演算器C−D間のバイパス回路が故障しているかを判断する(ステップS206)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスを算出する(ステップS207)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスをメモリアドレス403とする。試験命令列制御部240は、演算器数と同じ回数の試験を実行したかを判断する(ステップS208)。パターン(ii)は2回目の試験であるため、演算器数と同じ4回の試験を実行していない。このため、ステップS208では、NOと判断され、処理がステップS203から繰り返される。
試験データ設定部230は、試験に使用するデータを設定する(ステップS203)。ここで設定されるデータは、2回目の試験のステップS207で算出された、次に実行する試験命令列の試験開始アドレスである。2回目の試験のステップS207の算出の結果、試験データ設定部230は、次に実行する試験命令列の試験開始アドレスとして、メモリアドレス403を設定する。なお、1回目の試験のステップS203で設定した試験命令列400、演算器の数、予測値、所定の試験環境情報は、3回目の試験でも同じものを使用する。試験命令列制御部240は、試験開始アドレスとしてメモリアドレス403を指定し、試験開始命令を出力する(ステップS204)。複数の演算器270は、試験開始アドレスから試験命令列を実行する(ステップS205)。パターン(iii)の試験では、試験命令列400の各演算命令は、図5Cに示すように、演算器A〜Dに割り当てられる。試験命令列400のメモリアドレス401、402に格納されているNOP命令は、演算器で実行されない。メモリアドレス404とメモリアドレス409に格納された命令を実行する演算器が、レジスタ中の同じアドレスに対するアクセスを重複して行う。そのため、パターン(iii)の試験は、演算器B−C間のバイパス回路を使用している。試験命令列制御部240は、パターン(iii)の演算結果を受信し、演算結果を予測値と比較することにより、演算器B−C間のバイパス回路が故障しているかを判断する(ステップS206)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスを算出する(ステップS207)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスをメモリアドレス404とする。試験命令列制御部240は、演算器数と同じ回数の試験を実行したかを判断する(ステップS208)。パターン(iii)は3回目の試験であるため、演算器数と同じ4回の試験を実行していない。このため、ステップS208では、NOと判断され、処理をステップS203から繰り返される。
試験データ設定部230は、試験に使用するデータを設定する(ステップS203)。ここで設定されるデータは、3回目の試験のステップS207で算出された、次に実行する試験命令列の試験開始アドレスである。3回目の試験のステップS207の算出の結果、試験データ設定部230は、次に実行する試験命令列の試験開始アドレスとして、メモリアドレス404を設定する。なお、1回目の試験のステップS203で設定した試験命令列400、演算器の数、予測値、所定の試験環境情報は、4回目の試験でも同じものを使用する。試験命令列制御部240は、試験開始アドレスとしてメモリアドレス404を指定し、試験開始命令を出力する(ステップS204)。複数の演算器270は、試験開始アドレスから試験命令列を実行する(ステップS205)。パターン(iv)の試験では、試験命令列400の各演算命令は、図5Bに示すように、を演算器A〜Dに割り当てられる。試験命令列400のメモリアドレス401、402に格納されているNOP命令は、演算器で実行されない。メモリアドレス404とメモリアドレス409に格納された命令を実行する演算器が、レジスタ中の同じアドレスに対するアクセスを重複して行う。そのため、パターン(iv)の試験は、演算器A−B間のバイパス回路を使用している。試験命令列制御部240は、パターン(iv)の演算結果を受信し、演算結果を予測値と比較することにより、演算器A−B間のバイパス回路が故障しているかを判断する(ステップS206)。試験命令列制御部240は、次に実行する試験命令列の試験開始アドレスを算出する(ステップS207)。試験命令列制御部240は、演算器数と同じ回数の試験を実行したかを判断する(ステップS208)。パターン(iv)は4回目の試験であるため、演算器数と同じ4回の試験を実行している。そのため、ステップS208では、YESと判断され、処理をステップS209に移す。
試験開始アドレス設定部220は、試験番号を指すTest_Noに0を設定する(ステップS401)。試験番号は、試験開始アドレスに対応づけて付与される番号である。試験開始アドレス設定部220は、試験開始アドレスの初期値としてメモリアドレスを指すtest_addressを設定する(ステップS402)。test_addressは、以下の数式1で算出される。
なお、実施形態は上記に限られるものではなく、様々に変形可能である。以下にその例をいくつか述べる。
101 試験制御部
110 処理命令列
111〜119 メモリアドレス
210 試験命令列生成部
220 試験開始アドレス設定部
230 試験データ設定部
240 試験命令列制御部
250 試験結果出力部
260 データベース
270 複数の演算器
271a〜271c バイパス回路
280 レジスタ
300 情報処理装置
301 CPU
302 メモリ
303 入力装置インターフェース
304 バス
305 記憶装置
306 出力装置インターフェース
307 ディスプレイ装置
400 試験命令列
401〜412 メモリアドレス
Claims (6)
- 第1〜第3の演算器を有する装置の試験方法であって
前記第1の演算器と前記第2の演算器を接続する第1の回路を使用する処理を含む命令列である処理命令列の先頭に、前記処理命令列に含まれる命令の演算結果に変化を与えない命令列である追加命令列を追加することにより、前記第2の演算器と前記第3の演算器を接続する第2の回路を使用する処理を含む試験命令列を生成し、
前記処理命令列の先頭から前記試験命令列を前記装置に実行させることにより、前記第1の回路の故障の有無を判定し、
前記追加命令列から前記試験命令列を前記装置に実行させることにより、前記第2の回路の故障の有無を判定する
処理を前記装置に行わせることを特徴とする試験方法。 - 前記装置は、
前記処理命令列の実行によって得られると予測される予測値を記憶し、
前記処理命令列の先頭から前記試験命令列を実行することにより得られる第1の演算結果が前記予測値と異なると、前記第1の回路に故障があると判定し、
前記追加命令列の先頭から前記試験命令列を実行することにより得られる第2の演算結果が前記予測値と異なると、前記第2の回路に故障があると判定する
ことを特徴とする請求項1に記載の試験方法。 - 前記追加命令列は、1つ以上の命令を含み、
前記装置は、
前記試験命令列の実行を開始するアドレスである開始アドレスの初期値を、前記処理命令列の先頭に割り当てられたアドレスの番地に設定し、
前記試験命令列を実行すると、次に前記試験命令列を実行するときの開始アドレスを、前記試験命令列の実行のときに用いた開始アドレスに割り当てられた前記追加命令列中の1つの命令の格納に使用されるメモリサイズを減算して得られる番地に変更し、
前記試験命令列を実行した回数が、前記追加命令列に含まれている命令の数以下の所定の閾値に達すると処理を終了する
ことを特徴とする請求項1または2に記載の試験方法。 - 前記追加命令列は、1つ以上の命令を含み、
前記装置は、
前記試験命令列の実行を開始するアドレスである開始アドレスの初期値を、前記試験命令列の先頭に割り当てられたアドレスの番地に設定し、
前記試験命令列を実行すると、次に前記試験命令列を実行するときの開始アドレスを、前記試験命令列の実行のときに用いた開始アドレスに割り当てられた前記追加命令列中の1つの命令の格納に使用されるメモリサイズを加算して得られる番地に変更し、
前記試験命令列を実行した回数が、前記追加命令列に含まれている命令の数以下の所定の閾値に達すると処理を終了する
ことを特徴とする請求項1または2に記載の試験方法。 - 第1〜第3の演算器を有する装置の試験プログラムであって
前記第1の演算器と前記第2の演算器を接続する第1の回路を使用する処理を含む命令列である処理命令列の先頭に、前記処理命令列に含まれる命令の演算結果に変化を与えない命令列である追加命令列を追加することにより、前記第2の演算器と前記第3の演算器を接続する第2の回路を使用する処理を含む試験命令列を生成し、
前記処理命令列の先頭から前記試験命令列を前記装置に実行させることにより、前記第1の回路の故障の有無を判定し、
前記追加命令列から前記試験命令列を前記装置に実行させることにより、前記第2の回路の故障の有無を判定する
処理を前記装置に行わせることを特徴とする試験プログラム。 - 第1〜第3の演算器を有する装置の試験制御装置であって
前記第1の演算器と前記第2の演算器を接続する第1の回路を使用する処理を含む命令列である処理命令列の先頭に、前記処理命令列に含まれる命令の演算結果に変化を与えない命令列である追加命令列を追加することにより、前記第2の演算器と前記第3の演算器を接続する第2の回路を使用する処理を含む試験命令列を生成する生成部と、
前記処理命令列の先頭から前記試験命令列を前記装置に実行させることにより、前記第1の回路の故障の有無を判定し、前記追加命令列から前記試験命令列を前記装置に実行させることにより、前記第2の回路の故障の有無を判定する制御部
を備えることを特徴とする試験制御装置。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2012261729A JP5983362B2 (ja) | 2012-11-29 | 2012-11-29 | 試験方法、試験プログラム、および、試験制御装置 |
| US14/068,019 US20140149800A1 (en) | 2012-11-29 | 2013-10-31 | Test method and test control apparatus |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2012261729A JP5983362B2 (ja) | 2012-11-29 | 2012-11-29 | 試験方法、試験プログラム、および、試験制御装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2014106928A true JP2014106928A (ja) | 2014-06-09 |
| JP5983362B2 JP5983362B2 (ja) | 2016-08-31 |
Family
ID=50774403
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2012261729A Expired - Fee Related JP5983362B2 (ja) | 2012-11-29 | 2012-11-29 | 試験方法、試験プログラム、および、試験制御装置 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US20140149800A1 (ja) |
| JP (1) | JP5983362B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109408309A (zh) * | 2018-10-18 | 2019-03-01 | 北京海泰方圆科技股份有限公司 | 多终端的测试方法及装置 |
Families Citing this family (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US9411699B1 (en) * | 2015-11-20 | 2016-08-09 | International Business Machines Corporation | Prioritization metrics for efficient post-Si failure localization |
| US9934118B2 (en) * | 2016-01-22 | 2018-04-03 | International Business Machines Corporation | Reducing SPQL tester time for the critical paths stress test |
| US10467114B2 (en) * | 2016-07-14 | 2019-11-05 | International Business Machines Corporation | Hierarchical data processor tester |
| CN109165123A (zh) * | 2018-08-02 | 2019-01-08 | 佛山鑫达智汇科技有限公司 | 矿机故障的检测方法、检测装置、服务器和存储介质 |
| US10901878B2 (en) * | 2018-12-19 | 2021-01-26 | International Business Machines Corporation | Reduction of pseudo-random test case generation overhead |
| US11314584B1 (en) * | 2020-11-25 | 2022-04-26 | International Business Machines Corporation | Data quality-based confidence computations for KPIs derived from time-series data |
| US12619509B1 (en) * | 2023-11-09 | 2026-05-05 | Synopsys, Inc. | Integrated circuit test pattern interleaving |
| KR20250081430A (ko) * | 2023-11-29 | 2025-06-05 | 에스케이하이닉스 주식회사 | 반도체 장치 및 그 동작 방법 |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05342055A (ja) * | 1992-06-05 | 1993-12-24 | Fujitsu Ltd | パイプライン動作検証用命令列の自動生成方式 |
| JPH06187190A (ja) * | 1992-12-15 | 1994-07-08 | Fujitsu Ltd | 先行制御機構の試験方法 |
| JPH09282166A (ja) * | 1996-04-09 | 1997-10-31 | Hitachi Ltd | パイプライン演算装置 |
| JP2013206293A (ja) * | 2012-03-29 | 2013-10-07 | Fujitsu Semiconductor Ltd | リコンフィグ可能な集積回路装置 |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5600788A (en) * | 1994-01-19 | 1997-02-04 | Martin Marietta Corporation | Digital test and maintenance architecture |
| JP3502216B2 (ja) * | 1995-07-13 | 2004-03-02 | 富士通株式会社 | 情報処理装置 |
| JP2001188691A (ja) * | 1999-12-28 | 2001-07-10 | Toshiba Corp | 検証プログラム自動生成方法及び検証プログラム自動生成プログラムを記録したコンピュータ読み取り可能な記録媒体 |
| KR100358919B1 (ko) * | 2000-11-18 | 2002-10-31 | 주식회사 메모리앤테스팅 | 마스터-슬레이브방식을 이용한 반도체칩 검사장치 |
| US7725793B2 (en) * | 2007-03-21 | 2010-05-25 | Advantest Corporation | Pattern generation for test apparatus and electronic device |
| WO2008125998A1 (en) * | 2007-04-12 | 2008-10-23 | Nxp B.V. | Analog circuit testing and test pattern generation |
| JP4855355B2 (ja) * | 2007-07-18 | 2012-01-18 | 株式会社日立製作所 | フェールオーバにおける引き継ぎ先を自律的に変更する計算機システム及び方法 |
| JP2012099035A (ja) * | 2010-11-05 | 2012-05-24 | Fujitsu Ltd | プロセッサの動作検証方法、プロセッサの動作検証装置、及びプロセッサの動作検証プログラム |
| JP2013120558A (ja) * | 2011-12-08 | 2013-06-17 | Fujitsu Ltd | 情報処理装置、試験方法、及びプログラム |
-
2012
- 2012-11-29 JP JP2012261729A patent/JP5983362B2/ja not_active Expired - Fee Related
-
2013
- 2013-10-31 US US14/068,019 patent/US20140149800A1/en not_active Abandoned
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05342055A (ja) * | 1992-06-05 | 1993-12-24 | Fujitsu Ltd | パイプライン動作検証用命令列の自動生成方式 |
| JPH06187190A (ja) * | 1992-12-15 | 1994-07-08 | Fujitsu Ltd | 先行制御機構の試験方法 |
| JPH09282166A (ja) * | 1996-04-09 | 1997-10-31 | Hitachi Ltd | パイプライン演算装置 |
| JP2013206293A (ja) * | 2012-03-29 | 2013-10-07 | Fujitsu Semiconductor Ltd | リコンフィグ可能な集積回路装置 |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109408309A (zh) * | 2018-10-18 | 2019-03-01 | 北京海泰方圆科技股份有限公司 | 多终端的测试方法及装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| US20140149800A1 (en) | 2014-05-29 |
| JP5983362B2 (ja) | 2016-08-31 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5983362B2 (ja) | 試験方法、試験プログラム、および、試験制御装置 | |
| US9990458B2 (en) | Generic design rule checking (DRC) test case extraction | |
| JP6995451B2 (ja) | 回路適正化装置及び回路適正化方法 | |
| JP2014507710A (ja) | 処理装置、トレースユニット、および診断装置 | |
| WO2020137566A1 (ja) | テスト環境決定装置及びテスト環境決定方法 | |
| JP2018160191A (ja) | ハードウェア試験装置及びハードウェア試験方法 | |
| US20080209375A1 (en) | Variable Threshold System and Method For Multi-Corner Static Timing Analysis | |
| US7380104B2 (en) | Method and apparatus for back to back issue of dependent instructions in an out of order issue queue | |
| JP2011138211A (ja) | 故障制御装置、プロセッサコア、演算処理装置、情報処理装置および擬似故障制御方法 | |
| JP6903249B2 (ja) | テストケース生成装置、テストケース生成方法、およびテストケース生成プログラム | |
| WO2019077738A1 (ja) | データ検証装置、データ検証方法及びデータ検証プログラム | |
| US8739091B1 (en) | Techniques for segmenting of hardware trace and verification of individual trace segments | |
| JP2012198065A (ja) | 半導体集積回路、試験方法、情報処理装置、及びプログラム | |
| US9588179B2 (en) | Scheme for masking output of scan chains in test circuit | |
| JP4461934B2 (ja) | キャッシュメモリ試験システム、試験方法、試験プログラム | |
| JP6912104B2 (ja) | 試験装置、試験方法及びコンピュータプログラム | |
| JP6318976B2 (ja) | デバッグ回路、デバッガ装置、半導体装置及びデバッグ方法 | |
| JP5017396B2 (ja) | 情報処理装置およびプログラムの検証方法 | |
| US20190384610A1 (en) | Arithmetic processing apparatus and control method | |
| WO2020262257A1 (ja) | バグ同定支援装置、バグ同定支援方法及びプログラム | |
| JP2007058450A (ja) | 半導体集積回路 | |
| JP2016009232A (ja) | フォーマル検証装置およびプログラム | |
| JP2015036839A (ja) | プロセッサ試験命令列生成方法、生成プログラム、及び生成装置 | |
| JP7497582B2 (ja) | 情報処理装置,試験プログラムおよび試験方法 | |
| WO2021246050A1 (ja) | 検証処理装置、検証処理方法およびプログラム |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20150706 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20160318 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20160405 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160606 |
|
| 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: 20160705 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160718 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 5983362 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| LAPS | Cancellation because of no payment of annual fees |