講演抄録/キーワード |
講演名 |
2022-03-01 14:45
SATを用いた遅延故障BIST向けLFSRシード生成法 ○岩本岬汰郎・大竹哲史(大分大) DC2021-74 |
抄録 |
(和) |
LFSRを用いたLSIのBISTにおいて,ランダムパターン耐性故障を検出するシードを求めるニーズがある.これまでに,ATPGにより直接シードを生成する1パスシード生成法が提案されており,従来の一旦ATPGでスキャンテストを求めてからシードへ変換する2パスシード生成法におけるシード変換の失敗を回避することができる.しかし,LFSRの機能に基づいてATPGを制約する1パスシード生成モデルの複雑さのため,依然として商用ATPGが妥当な時間で十分な故障検出率を達成できないという問題がある.本稿では,近年ATPGの高速化で定評のあるSATを用いることができるようにこの1パスシード生成モデルを拡張し,遅延故障に対してSATを用いたLFSRシード生成法を提案する.
ITC'99ベンチマーク回路を使用した実験により,提案法がランダムパターン耐性故障に対して完全な故障検出効率を達成することを示す. |
(英) |
So far, a one-pass LFSR seed generation method for delay fault BIST has been proposed. The method directly generates seeds by using ATPG and avoids unsuccessful encoding of conventional two-pass generation methods. However, there is a problem that a commercial ATPG cannot achieve acceptable fault coverage with reasonable time because of the complexity of the one-pass seed generation model which constrains ATPG based on LFSR functionality. In this paper, the one-pass seed generation model is extended so that it can be applied to SAT-based ATPG, and an LFSR seed generation method using SAT-based ATPG for delay faults is proposed. The effectiveness of the proposed method is evaluated through experiments using the ITC'99 benchmark circuits. The results show that the proposed method achieves complete fault efficiency for random pattern resistant faults. |
キーワード |
(和) |
SATベースATPG / ScanベースBIST / LFSR / シード生成 / 遅延故障テスト / / / |
(英) |
SAT-based ATPG / scan based BIST / LFSR / seed generation / delay fault testing / / / |
文献情報 |
信学技報, vol. 121, no. 388, DC2021-74, pp. 57-62, 2022年3月. |
資料番号 |
DC2021-74 |
発行日 |
2022-02-22 (DC) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DC2021-74 |