第四章 彩色時間斐式網模組自動合成演算法及其模型驗證
4.2 模擬執行與初步驗證
根據合成完畢之叢聚式 PVD 設備斐式網,使用 CPN tools® 開放式軟體進行 模擬(如圖 4.2 所示),我們將其與使用 Push 推式手臂控制邏輯之實際線上機台 監測參數進行比較。觀察其手臂控制邏輯影響下,平均晶圓輸出時間間隔之預測 誤差值在一標準差之內(如圖 4.3 所示),在分析手臂控制邏輯運作下手臂隨著時 間變化的行為預測情形與實際手臂行為相吻合(如圖 4.4 所示),最後分析其資源 占用情形百分比,與實際線上作業資料也不謀而合。
圖 4.2 CPN tools ® 模擬介面
~ 50 ~
圖 4.3 平均晶圓輸出時間間隔
圖 4.4 手臂隨著時間變化的行為預測(1)
圖 4.5 手臂隨著時間變化的行為預測(2)
~ 51 ~
第五章 結論
本研究針對觀察到的叢聚式設備手臂控制邏輯提出一建模流程,此建模流程針對 叢聚式設備之作業順序與手臂控制邏輯的彩色時間斐式網建模及其模組合成,並以 PVD 設備作為本研究建模討論案例,最終目的是為了建構一個標準化的建模流程。在 PVD 設備作業上可分為 Loadlock、晶圓 process flow 及 Transfer 模組,手臂控制邏輯 上可分為 Push 推式、Pull 拉式、FIFO 先進先出式控制邏輯模組,而主要所面對的挑 戰為:(1) 如何將觀察到的叢聚式設備手臂控制邏輯建模,及(2) 如何將斐式網模組 合成。
對此,本研究採用語意式的手臂控制邏輯建模概要建構模組化的彩色時間斐式 網,並提出模組化的彩色時間斐式網合成演算法結合 PVD 設備作業模組、手臂控制 邏輯模組,最後使用斐式網模擬環境 CPN tools® 進行模擬,針對合成完成之彩色時 間斐式網比對實際作業機台進行效能分析,探討 (1)晶圓產出時間間隔 (2) 手臂運輸 觸發時間 及(3) 設備占用時間。
根據合成完畢之叢聚式 PVD 設備斐式網,使用 CPN tools® 開放式軟體進行模擬,
我們將其與使用 Push 推式手臂控制邏輯之實際線上機台監測參數進行比較。觀察其 手臂控制邏輯影響下,平均晶圓輸出時間間隔之預測誤差值在一標準差之內,在分析 手臂控制邏輯運作下手臂隨著時間變化的行為預測情形與實際手臂行為相吻合,最後 分析其資源占用情形百分比,與實際線上作業資料也不謀而合。
最後我們整理本研究中之建模流程如下圖 5.1 所示,在標準化的建模流程中,我 們提出
(A) 模組化的斐式網建模方式,含括了控制邏輯模組、Loadlock 模組、晶圓 生產流程模組 及 一般資源模組。
~ 52 ~
(B) 設計三步驟模組合成演算法將模組化的斐式網合成為一能忠實反映實 際線上作業機台之斐式網。
(C) 透過模擬結果轉換機制,我們把 CPN tools 模擬結果透過製程分析軟體 來加以分析模型的平均晶圓輸出時間間隔、反應室及手臂資源使用率及 特殊控制邏輯下手臂特色呈現結果驗證。
圖 5.1 本研究中之建模流程
本研究著重在於探討如何將叢聚式半導體生產設備之手臂控制邏輯使用斐 式網加以建模並進行其效能分析,未來仍有許多後續研究值得後進繼續延伸開花 結果:
2. 對於合成完畢之斐式網,我們該如何檢查其之完整、合理性?
3. 完成斐式網建構後,該如何將既有斐式網轉換成相對應之數學模式?
A B
C
C
~ 53 ~
4. 該如何建該完整的手臂控制邏輯語意網,含括現今半導體設備製造業中 各種手臂控制邏輯?
~ 54 ~
參考文獻
[1] G.-M. Chen. (2008). The trend of development of semiconductor technology [Online].
Available: http://ctle.cyu.edu.tw/tew/Teacher/data/971223/971223-1.pdf
[2] T. Pomorski, "Managing Overall Equipment Effectiveness [OEE] to Optimize Factory Performance," Proc. of 1997 IEEE Intl. Symp. on Semi. Mfg. Conf., Oct. S.F., A33 - A36.
[3] R. S. Srinivasan, "Modeling and Performance Analysis of Cluster Tools Using Petri Nets," IEEE Trans. on Semi. Mfg., 11:394-403, 1998.
[4] A.N. Swe, A.K. Gupta, A.I. Sivakumar, P. Lendermann, "Cycle Time Reduction at Cluster Tool in Semiconductor 晶圓 Fabrication," Electr. Packaging Tech. Conf.
EPTC '06. 8th, SG pp. 671-677 Dec., 2006.
[5] H. Y. Lee, T. E. Lee, "Scheduling Single-armed Cluster Tools with Reentrant 晶圓 Flows," IEEE Trans. on Semi. Mfg., 19:226-240, 2006.
[6] CPN tools [Online]. Available: http://wiki.daimi.au.dk /cpntools
[7] Dümmler, M. 2004. “Modeling and Optimization of Cluster Tools in Semiconductor Manufacturing.” PhD thesis, Department of Computer Science. University of Würzburg, Germany.
[8] N. Wu and M. C. Zhou, “Schedulability and scheduling of dual-arm cluster tools with residency time constraints based on Petri net,” in Proc. IEEE Conf. Autom. Sci.
Eng.,Shanghai, China, 2006, pp. 85–90.
[9] Applied Endura® 2 [Online]. Available:
http://www.appliedmaterials.com/products/assets/conductor_deposition/31_End2_noK PI.pdf
[10] F. S. Hsieh and S. C. Chang, “Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, IEEE Trans. Robotics Automat., vol. 10, no. 2, pp. 196-209, 1994.
[11] Centura 5200 Systems Platform Functional Description, Applied material Corporation, Taiwan, Oct. 1997.
[12] E. Keller, J. Bukhman, S. Gonzales, C. Magnella, J. Nulman, R. Mosely, H. Grunes, and A. Tepman, “Manufacturing Evaluation of an Endura 5500 PVD Multichamber System,” Solid state technology, vol. 35, no2, pp. 71-74, Feb. 1992
~ 55 ~
附錄
一、合成演算法對應程式碼
輸入
1. 子斐式網路 ANet = { PA, TA, BA
-, BA+, A, MA0} 2. 子斐式網路 BNet = { PB, TB, BB
-, BB+, B, MB0} 輸出
1. 合成完之斐式網路 CNet = { PC, TC, BC
-, BC+, C, C0}
Step1 搜尋兩子斐式網之共同 Transition If TA TB {} then
Go to step2 Else
Go to step4
~ 56 ~ End if
Step2 合成兩子斐式網
Update six-tuples of Petri Net
TN = TA TB // TA {tAv', v'1,2,...,|TA|}
~ 57 ~
~ 58 ~ Place 丟回再處理(取聯集)
Step3 合成完畢 Net = { PN, TN, BN
-, BN+, N, MN0}即合併之所得
Step4 終止合併