講演抄録/キーワード |
講演名 |
2017-02-21 14:25
到達不能状態を用いたSATベース順序回路のテスト不能故障判定法 ○二関森人・細川利典(日大)・吉村正義(京都産大)・新井雅之(日大)・四柳浩之・橋爪正樹(徳島大) DC2016-79 |
抄録 |
(和) |
スキャン設計回路は,ハードウェアオーバヘッドやテスト実行時間の増加が課題として挙げられている.上述の課題を解決するために,非スキャンベースでのテスト生成が求められている.しかしながら,非スキャンベースでの順序回路のテスト生成では,高い故障検出効率を得ることが困難であり,特にテスト不能故障判定に多大な時間を必要とする.そのため,テスト生成時間を削減するために,テスト生成前にあらかじめテスト不能故障を判定する手法が提案されている.本論文では,SATを用いて数個のフリップフロップの状態が到達不能状態かを判定する手法を提案し,その到達不能状態と時間展開モデルを用いたテスト不能故障判定法を提案する.既存の順序回路のテスト不能故障判定法と提案手法を組み合わせて,ISCAS’89ベンチマーク回路にテスト不能故障を判定し,その数を評価する. |
(英) |
Scan design has problems such as large hardware overhead and long test application time. Non-scan based test generation is required to resolve the above mentioned problems. However, it is hard to achieve high fault efficiency using non-scan based test generation and an untestable fault identification is especially time-consuming. Therefore, untestable fault identification methods before test generation have been proposed to reduce test generation time. In this paper, an unreachable state identification method, which identifies whether states on a few flip-flops are justified using SAT, is proposed and an untestable fault identification method is proposed using the unreachable states and time expansion models. Untestable faults are identified by applying the combination of conventional methods and our proposed method to ISCAS’89 benchmark circuits, and the number of untestable faults is evaluated. |
キーワード |
(和) |
順序回路 / テスト不能故障 / 到達不能状態 / 時間展開モデル / / / / |
(英) |
sequential circuits / untestable faults / unreachable states / time expansion models / / / / |
文献情報 |
信学技報, vol. 116, no. 466, DC2016-79, pp. 29-34, 2017年2月. |
資料番号 |
DC2016-79 |
発行日 |
2017-02-14 (DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DC2016-79 |