An effective problem decomposition method for scheduling of diffusion processes based on mixed integer linear programming

Diffusion processes in semiconductor fabrication facilities (Fabs) usually refer to the series of processes from wafer cleaning processes to furnace processes. Most furnace tools are batch tools with large batch sizes and have relatively long process times when compared to the other processes. Strict time window constraints link cleaning processes with furnace processes for quality control. Those operational requirements for diffusion processes make their scheduling very difficult. This paper proposes an advanced scheduling approach based on a rolling horizon scheduling concept. Due to the combinatorial nature of the scheduling problem, the complexity of the problem increases exponentially when the number of jobs and tools increase. However, the computation time allowed for the scheduler is limited in practice, because the variability in most fabs requires schedulers to update the schedule in short intervals. We suggest an MILP (Mixed Integer Linear Programming) model for diffusion processes and propose an effective decomposition method to deal with this complexity problem. The decomposition method repeats multiple scheduling iterations as it gradually extends the number of runs on tools enabling the scheduler to generate near-optimal schedules in limited time intervals. The scheduler could make large improvements on KPIs such as queue time violation rates, batch sizes, throughput, etc. The software architecture of the scheduler implementation is also addressed in this paper.

[1]  Yeong-Dae Kim,et al.  Scheduling Wafer Lots on Diffusion Machines in a Semiconductor Wafer Fabrication Facility , 2010, IEEE Transactions on Semiconductor Manufacturing.

[2]  Chris N. Potts,et al.  Scheduling with batching: A review , 2000, Eur. J. Oper. Res..

[3]  Stéphane Dauzère-Pérès,et al.  A batching and scheduling algorithm for the diffusion area in semiconductor manufacturing , 2012 .

[4]  Andreas Klemmt,et al.  Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing , 2008, 2008 Winter Simulation Conference.

[5]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[6]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[7]  Jaehyung An,et al.  IP-Based Real-Time Dispatching for Two-Machine Batching Problem With Time Window Constraints , 2011, IEEE Transactions on Automation Science and Engineering.

[8]  J. Domaschke,et al.  Implementation of modeling and simulation in semiconductor wafer fabrication with time constraints between wet etch and furnace operations , 1999, 1999 IEEE International Symposium on Semiconductor Manufacturing Conference Proceedings (Cat No.99CH36314).

[9]  Peter B. Luh,et al.  Near optimal furnace tool allocation with batching and waiting time constraints , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[10]  Erhan Kutanoglu,et al.  Heuristic based scheduling system for diffusion in semiconductor manufacturing , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).