(54.236.58.220) 您好!臺灣時間:2021/02/27 17:07
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:陳彥后
研究生(外文):Chen, Yan-Hou
論文名稱:針對開放式線段缺陷的診斷性自動測試向量產生器與其診斷流程設計
論文名稱(外文):Diagnostic ATPG for Open-Segment Defects and Its Diagnosis Flow
指導教授:溫宏斌
指導教授(外文):Wen, Hung-Pin
學位類別:碩士
校院名稱:國立交通大學
系所名稱:電信工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2010
畢業學年度:99
語文別:英文
論文頁數:42
中文關鍵詞:open defectdiagnostic ATPGdiagnosisByzantine effectsingle defect assumptiontestability
外文關鍵詞:開放式缺陷診斷性自動測試向量產生器診斷拜占庭效應單一錯誤假設可測性
相關次數:
  • 被引用被引用:0
  • 點閱點閱:118
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
當電路發生開放式線段缺陷,實體電路上的缺陷周圍的其他邏輯閘造成的偶和電容及拜占庭效應對缺陷影響到的輸出會隨著缺陷的位置改變,許多先前的研究針對開放式缺陷的測試和檢驗。這篇論文提供了一個利用兩個階段產生診斷性測試向量的方法:首先使用布林可滿足性引擎在單一缺陷的假設下,針對發生缺陷影響到的邏輯閘自動產生向量。另外搭配上兩階段的診斷方法,分別使用一個修正的字典(dictionary)診斷法,去減少可能發生錯誤開放式缺陷的候選線段數量,接著在利用注入和評估(inject-and-evaluate)診斷法使得結果能夠達到很高的準確性。實驗執行在ISCAS85的電路上,結果顯示在檢測方面最後的解析度(即對應的候選線段數量)可以達到幾乎接近1的準確性。
As an open defect occurs on one segment in the circuit, the coupling capacitances from the neighboring nets and the Byzantine effect based on the physical layout and cell library can result in different faulty behaviors. Many previous researches focus on the test and diagnosis issue for open defects. However, the diagnosability of test patterns is not well addressed. Therefore, in this paper, we propose a high-resolution algorithm which consists of two stages: (1) a diagnostic ATPG and (2) its diagnosis flow. A Boolean Satisfiability solver is incorporated to generate patterns for target driven gates of the open segment under the single defect assumption. Later, the diagnosis flow first constructs the set of candidates based on a dictionary-based approach followed by an inject-and-evaluate analysis with the assistance of physical information to greatly reduce the candidate size. Experiments are conducted on ISCAS85 benchmark circuits and the results show that the proposed algorithm runs efficiently and can deduce nearly 1 candidate for each individual open-segment defect.
Contents

LIST OF FIGURES V
LIST OF TABLES VII
INTRODUCTION 1
PREVIOUS WORKS 6
FAULT MODEL OF OPEN SEGMENTS 10
DIAGNOSTIC AUTOMATION TEST PATTERN GENERATION(ATPG) FLOW 12
DIAGNOSIS FLOW 26
EXPERIMENTAL RESULTS 32
CONCLUSION 39
BIBLIOGRAPHY 41

1. Jaume, S. and F.H. Charles, CMOS Electronics: How It Works, How It Fails. 2004: John Wiley \& Sons.
2. Huang, S.Y., Diagnosis of Byzantine Open-Segment Faults, in Test Symposium, 2002. Proceedings. 11th Asian. 2002. p. 248-253.
3. Wei, Z., C. Wu-Tung, and S.M. Reddy. Interconnect Open Defect Diagnosis with Physical Information. in Test Symposium, 2006. ATS '06. 15th Asian. 2006.
4. Laung-Terng, W., C.-W. WU, and X. WEN, eds. VLSI Test Principles and Architectures: Design for Testability. 2006, Elsevier Morgan Kaufmann Publishers: Boston.
5. Tafertshofer, P. and A. Ganz. SAT based ATPG using fast justification and propagation in the implication graph. in Computer-Aided Design, 1999. Digest of Technical Papers. 1999 IEEE/ACM International Conference on. 1999.
6. Roth, J., Diagnosis of automata failures: A calculus and a methods. 1966, IBM. p. 278-291.
7. Goel, P., an implicit enumeration algorithm to generate tests for combinational logic circuits. IEEE Trans. Comput, 1981: p. 215-222.
8. Larrabee, T., Test pattern generation using Boolean satisfiability. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 1992. 11(1): p. 4-15.
9. Chess, B. and T. Larrabee, Creating small fault dictionaries [logic circuit fault diagnosis]. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 1999. 18(3): p. 346-356.
10. Jue, W. and E.M. Rudnick, Bridge fault diagnosis using stuck-at fault simulation. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 2000. 19(4): p. 489-495.
11. Abramovici, M., P.R. Menon, and D.T. Miller, Critical Path Tracing: An Alternative to Fault Simulation. Design & Test of Computers, IEEE, 1984. 1(1): p. 83-93.
12. Waicukauski, J.A. and E. Lindbloom, Failure diagnosis of structured VLSI. Design & Test of Computers, IEEE, 1989. 6(4): p. 49-60.
13. Kuehlmann, A., et al. Error Diagnosis for Transistor-Level Verification. in Design Automation, 1994. 31st Conference on. 1994.
14. Shi-Yu, H., et al. ErrorTracer: a fault simulation-based approach to design error diagnosis. in Test Conference, 1997. Proceedings., International. 1997.
15. Shi-Yu, H. On improving the accuracy of multiple defect diagnosis. in VLSI Test Symposium, 19th IEEE Proceedings on. VTS 2001. 2001.
16. Fujiwara, H. and T. Shimono, On the Acceleration of Test Generation Algorithms. Computers, IEEE Transactions on, 1983. C-32(12): p. 1137-1144.
17. Pomeranz, I. and S.M. Reddy. On the generation of small dictionaries for fault location. in Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on. 1992.
18. Camurati, P., et al. A diagnostic test pattern generation algorithm. in Test Conference, 1990. Proceedings., International. 1990.
19. Hartanto, I., et al. Diagnostic test pattern generation for sequential circuits. in VLSI Test Symposium, 1997., 15th IEEE. 1997.
20. Xue, H., C. Di, and J.A.G. Jess. Probability analysis for CMOS floating gate faults. in European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings. 1994.
21. Rodriguez-Montanes, R., et al. Diagnosis of Full Open Defects in Interconnecting Lines. in VLSI Test Symposium, 2007. 25th IEEE. 2007.
22. Needham, W., C. Prunty, and Y. Eng Hong. High volume microprocessor test escapes, an analysis of defects our tests are missing. in Test Conference, 1998. Proceedings., International. 1998.
23. Henderson, C.L., J.M. Soden, and C.F. Hawkins. THE BEHAVIOR AND TESTING IMPLICATIONS OF CMOS IC LOGIC GATE OPEN CIRCUITS. in Test Conference, 1991, Proceedings., International. 1991.
24. Makki, R.Z., S. Shyang-Tai, and T. Nagle. Transient power supply current testing of digital CMOS circuits. in Test Conference, 1995. Proceedings., International. 1995.
25. Konuk, H., Voltage- and current-based fault simulation for interconnect open defects. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 1999. 18(12): p. 1768-1779.
26. Spinner, S., et al. Automatic Test Pattern Generation for Interconnect Open Defects. in VLSI Test Symposium, 2008. VTS 2008. 26th IEEE. 2008.
27. Xijiang, L. and J. Rajski. Test Generation for Interconnect Opens. in Test Conference, 2008. ITC 2008. IEEE International. 2008.
28. Hillebrecht, S., et al. Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model. in Test Conference, 2008. ITC 2008. IEEE International. 2008.
29. Devtaprasanna, N., et al. Test Generation for Open Defects in CMOS Circuits. in Defect and Fault Tolerance in VLSI Systems, 2006. DFT '06. 21st IEEE International Symposium on. 2006.
30. Gomez, R., A. Giron, and V.H. Champac, A Test Generation Methodology for Interconnection Opens Considering Signals at the Coupled Lines. J Electron Test, 2008: p. 529-538.
31. Shi-Yu, H. Diagnosis of Byzantine open-segment faults [scan testing]. in Test Symposium, 2002. (ATS '02). Proceedings of the 11th Asian. 2002.
32. Chen-Yuan, K., L. Chien-Hui, and C.H.P. Wen. An ILP-Based Diagnosis Framework for Multiple Open-Segment Defects. in Microprocessor Test and Verification (MTV), 2009 10th International Workshop on. 2009.
33. Renovell, M. and G.N. Cambon, Electrical analysis and modeling of floating-gate fault. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 1992. 11(11): p. 1450-1458.
34. Lu, X. and W. Shi. Layout and Parasitic Information for ISCAS Circuits. 2004 [cited; Available from: http://dropzone.tamu.edu/~xiang/iscas.html.



連結至畢業學校之論文網頁點我開啟連結
註: 此連結為研究生畢業學校所提供,不一定有電子全文可供下載,若連結有誤,請點選上方之〝勘誤回報〞功能,我們會盡快修正,謝謝!
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關論文
 
系統版面圖檔 系統版面圖檔