講演抄録/キーワード |
講演名 |
2020-03-06 14:30
パーシャルMAX-SATを用いた抵抗性オープン故障に対するテスト生成法 ○山崎紘史・石山悠太・松田竜馬・細川利典(日大)・吉村正義(京都産大)・新井雅之(日大)・四柳浩之・橋爪正樹(徳島大) VLD2019-131 HWS2019-104 |
抄録 |
(和) |
従来,VLSIのテストでは,縮退故障モデルや遷移故障モデルが広く用いられてきた.しかしながら,半導体微細化技術の進展に伴い,従来使用されてきた故障モデルを対象としたテストでは検出困難な欠陥が増加している.このような欠陥の一つは,抵抗性オープン故障モデルでモデル化できる.抵抗性オープン故障は,回路内の配線の導電率の低下を表現しており,タイミング故障を引き起こす微小遅延故障である.そのため,可能な限り長い経路でテスト生成を行うことが重要である.また,抵抗性オープン故障の付加的な遅延サイズは,その隣接信号線の値と並走距離によって変化する.そのため,抵抗性オープン故障のテスト生成では,故障伝搬経路と隣接信号線の考慮が重要である.本論文では,パーシャルMaxSATを用いて故障伝搬経路と隣接信号線を考慮した抵抗性オープン故障のテスト生成法を提案する.さらに,生成したテスト集合を故障シミュレーションによって評価する. |
(英) |
In VLSI testing, stuck-at fault model and transition fault model have been widely used. However, with advance of semiconductor technologies, it is increasing in defects whose detection is difficult in testing using conventional fault models. One of such defects is modeled by resistive open fault model. Resistive open faults represent degradation in conductivity within circuit's interconnects and result in small delay faults that causing timing failures. Hence, it is important to generate test patterns consider longest possible path. The size of an additional delay at a resistive open fault is determined by the logic values at the adjacent lines and the length of the adjacent lines. Therefore, it is important to fault propagation paths and adjacent lines in test generation for resistive open faults. In this paper, we propose a test generation method for resistive open faults which considers fault propagation paths and the number of reversed phase transitions on adjacent lines using Partial MaxSAT. Moreover, we evaluate the generated test set using a fault simulation. |
キーワード |
(和) |
抵抗性オープン故障 / パーシャルMaxSAT / テスト生成 / 隣接信号線 / / / / |
(英) |
resistive open faults / Partial MaxSAT / test generation / adjacent lines / / / / |
文献情報 |
信学技報, vol. 119, no. 443, VLD2019-131, pp. 215-220, 2020年3月. |
資料番号 |
VLD2019-131 |
発行日 |
2020-02-26 (VLD, HWS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2019-131 HWS2019-104 |