基於共享記憶體多核心系統上具確定性之平行化自動測試圖樣產生技術

本論文提出一個基於共享記憶體多核心處理器系統下，使用錯誤分配概念之平行化測試圖樣產生器，不同於之前所提出的方法 [6, 7, 8]，我們消除了平行執行時所產生圖樣數量膨脹的問題，我們所提出的平行化測試圖樣產生器，能夠產生具確定性且無任何圖樣數量膨脹的結果，此外我們產生出的結果不因使用的核心個數而改變，使得平行化測試圖樣產生器更容易驗證其正確性，在我們的測試實驗中，大部分的電路 (s35932, s38417, s38584, b15s, b17s, D1, D2) 都可以使用我們的方法得到良好的加速 (3.5x ~ 9.6x 在使用8 cores的環境下)。

關鍵字

自動測試圖樣產生技術；平行計算；確定性平行化程式

並列摘要

This thesis proposed a new fault partitioning parallel ATPG for shared-memory multi-core systems. Based on a pipelined fault processing principle and process synchronization, the proposed ATPG introduces no test inflation and achieves high parallelism. Furthermore, the returned test set is deterministic, even with respect to the number of utilized CPU cores; this simplifies the debugging process. Experimental results show that it achieves good speedup (3.5x ~ 9.6x with 8 cores) on the benchmarks circuits (s35932, s38417, s38584, b15s, b17s, D1, D2).

並列關鍵字

automatic test pattern generation ； parallel computing ； deterministic parallel program

參考文獻

[2] E. A. Lee, The problem with threads, Computer, 2006.

[3] P. Goel, “An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits”, IEEE Transactions on Computers, vol. 30, no. 3, pp. 676-683, March 1981.

[4] H. Fujiwara and T. Shimono, “On the Acceleration of Test Generation Algorithms“, Proc. Int’l Fault-Tolerance Computing Symp., pp.98-105, 1983.

[5] J. P. Roth, “Diagnosis of Automata Failures: A Calculus and a Method,” IBM Journal of Research and Development, vol. 10, no. 4, pp278-291, 1966.

[6] X. Cai, P. Wohl, J.A. Waicukauski and P. Notiyath, “Highly efficient parallel ATPG based on shared memory”, International Test Conference, 2010.

國際替代計量

基於共享記憶體多核心系統上具確定性之平行化自動測試圖樣產生技術

全文下載

主題瀏覽