Using Constraint Satisfaction Approach to Solve the Capacity Allocation Problem for Photolithography Area
This paper addresses the capacity allocation problem for photo- lithography area (CAPPA) under an advanced technology environment. The CAPPA problem has two characteristics: process window and machine dedication. Process window means that a wafer needs to be processed on machines that can satisfy its process capability (process specification). Machine dedication means that after the first critical layer of a wafer lot is being processed on a certain machine, subsequent critical layers of this lot must be processed on the same machine to ensure good quality of final products. A production plan, constructed without considering the above two characteristics, is difficult to execute and to achieve its production targets. Thus, we model the CAPPA problem as a constraint satisfaction problem (CSP), which uses an efficient search algorithm to obtain a feasible solution. Additionally, we propose an upper bound of load unbalance estimation to reduce the search space of CSP for searching an optimal solution. Experimental results show that the proposed model is useful in solving the CAPPA problem in an efficient way.
KeywordsProcess Capability Constraint Satisfaction Problem Planning Period Critical Layer Wafer Fabrication
Unable to display preview. Download preview PDF.
- 3.Chung, S.H., Huang, C.Y., Lee, A.H.I.: Capacity Allocation Model for Photolithography Workstation with the Constraints of Process Window and Machine Dedication. Production Planning and Control (2006) (accepted)Google Scholar
- 5.Hung, Y.F., Cheng, G.J.: Hybrid Capacity Modeling for Alternative Machine Types in Linear Programming Production Planning. IIE Transactions 34(2), 157–165 (2002)Google Scholar
- 6.ILOG Inc.: ILOG OPL Studio 3.5. ILOG Inc., France (2001)Google Scholar
- 7.Kim, S., Yea, S.H., Kim, B.: Shift Scheduling for Steppers in the Semiconductor Wafer Fabrication Process. IIE Transactions 34(2), 167–177 (2002)Google Scholar
- 11.Lustig, I.J., Puget, J.-F.P.: Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming. Interfaces 31(6), 29–53 (2001)Google Scholar