Causal modelling of semiconductor fabrication

Abstract Semiconductor fabrication is the manufacturing process by which wafers of silicon are turned into integrated circuits. Reasoning about how wafers are affected by fabrication operations is an important aspect in getting computers to aid in the diagnosis of manufacturing faults and in the design of new fabrication processes. Our research has been aimed at characterizing the knowledge needed to construct qualitative, causal models that can support diagnosis and design of the processes by which semiconductors are manufactured. This article presents our models of wafer structure and the operations that are used in semiconductor fabrication, and describes how a domain-independent simulator uses these models to determine how the operations affect the wafer structure. We also demonstrate how the causal dependencies recorded by the simulator can be used to diagnose manufacturing faults. We conclude with a comparison of our method of using discrete, causal models to other methods of modelling semiconductor fabrication.

[1]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[2]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[3]  Daniel S. Weld The Use of Aggregation in Causal Simulation , 1986, Artif. Intell..

[4]  Jay M. Tenenbaum,et al.  PIES: An Engineer's Do-It-Yourself Knowledge System for Interpretation of Parametric Test Data , 1986, AI Mag..

[5]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[6]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[7]  Tom Michael Mitchell,et al.  Explanation-based generalization: A unifying view , 1986 .

[8]  R. Simmons Representing and Reasoning About Change in Geologic Interpretation , 1983 .

[9]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[10]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[11]  Reid Simmons,et al.  Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems , 1988 .

[12]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[13]  Reid G. Simmons,et al.  Commonsense Arithmetic Reasoning , 1986, AAAI.

[14]  Ramesh S. Patil,et al.  Causal representation of patient illness for electrolyte and acid-base diagnosis , 1981 .

[15]  Randall Davis,et al.  Issues in Model Based Troubleshooting , 1987 .