💠 Fábrica de semicondutores Modelo ao vivo

Base — o modelo por trás dos números

Todas as relações que o simulador usa, com a respetiva fonte. As constantes marcadas como pressupostos são calibrações ilustrativas.

Os estados do equipamento seguem a SEMI E10: produtivo, em espera, engenharia, paragem programada e não programada.

Availability = up tools / 8 · Utilization = productive tool-hours / total[1]

Os equipamentos falham aleatoriamente com tempo até à falha exponencial; as reparos esperam por um técnico livre.

P(fail in Δt) = 1 − e^(−Δt/MTBF), MTBF = 250 h; repair ~ Exp(mean 6 h) once a technician is free[17][1]Premissa: as grandezas (MTBF, taxas de geração, k, τ) são calibrações ilustrativas, não dados de uma fábrica real.

A lei de Little relaciona o trabalho em curso, o vazão e o tempo de ciclo.

CT = WIP / TH = T0 + queue / TH, T0 = 1 h[6][5]

Numa linha estável, a vazão é igual à taxa de lançamento, então um wafer não lançado é um wafer que nunca sai. Wafers que esperam demais entre etapas estouram a janela de tempo de fila.

TH = release rate while u < 1 ⇒ wafers out ≈ Σ starts; queue wait = CT − T0 = queue / TH ≤ queue-time window (3.5 h CT in semi-tool-crash)[5][16]Premissa: o limite de 3,5 h de tempo de ciclo representa uma janela de tempo de fila (queue time); as janelas reais são definidas etapa por etapa pela engenharia de processo, e wafers que as estouram normalmente são sucateados.

Aproximação de Kingman: o tempo de fila cresce como u/(1−u) — explode quando a utilização se aproxima de 100 %.

CTq ≈ ((ca² + ce²)/2) · (u/(1−u)) · te[5]Mostrado para dar intuição: a fila do simulador resulta de chegadas aleatórias e capacidade aleatória, e não desta fórmula.

Limite da classe ISO 14644-1 para partículas de tamanho D; a 0,1 µm a classe é o logaritmo da concentração.

Cn = 10^N · (0.1/D)^2.08 ⇒ N = log10(C≥0.1µm)[2]

Sala bem misturada: concentração = geração ÷ (renovações de ar × volume × eficiência do filtro).

C = G / (ACH · V · η)[13][11]Premissa: as grandezas (MTBF, taxas de geração, k, τ) são calibrações ilustrativas, não dados de uma fábrica real.

Lei de afinidade dos ventiladores: a potência sobe com o cubo da velocidade do ventilador.

P_fan = P_max · (speed)³[10]

Rendimento binomial negativo: os defeitos agrupam-se, portanto, o rendimento cai mais devagar do que o modelo de Poisson prevê.

Y = (1 + A·D/α)^(−α), α = 2 (α→∞: Y = e^(−A·D))[3][4][15][14]

Aprendizado do rendimento: a densidade de defeitos decai para um nível maduro à medida que se gasta tempo de engenharia.

D(t+Δt) = D∞ + (D − D∞)·e^(−Δt/τ), τ = 120 h · (0.10 / engineering share)[15][18]Premissa: o τ está comprimido no tempo cerca de 100× face às taxas de aprendizado da indústria reportadas (4–6,5 % por mês, Leachman) para que um cenário de 14 dias mostre o efeito.

As partículas que pousam nos wafers acrescentam defeitos fatais em proporção à concentração no ar.

D_total = D_learn + k · C, k = 4·10⁻⁶ cm⁻² per particle/m³Premissa: uma constante ilustrativa — as fábricas reais calibram as taxas de defeitos fatais com seus próprios dados de inspeção.

Rendimento paramétrico: a proporção de um processo normal que cai dentro dos limites da especificação; o Cpk mede a margem.

Y_param = Φ((USL−μ)/σ) − Φ((LSL−μ)/σ), Cpk = min(USL−μ, μ−LSL)/(3σ)[7][8][19]

SPC: médias de n amostras, com limites de controle ±3σ/√n e regras de zonas.

x̄ ~ N(μ, σ/√n), control limits ±3σ/√n; zone rules (2 of 3 beyond 2σ, 4 of 5 beyond 1σ, 8 on one side)[8][7][12]

Outras constantes de funcionamento usadas pelo modelo.

8 scanners × 6 wafer-starts/h · metrology −0.5 % capacity per sampled wafer/h · rollback: 2 h at half capacity + 4 wafer-equivalents reworked · drift 0.25 nm/h · crash repair 18 technician-hours · leak crew +2 people for 3 h · tools 150 kW busy / 60 kW idle, fans 150 kW at 100 %Premissa: as grandezas (MTBF, taxas de geração, k, τ) são calibrações ilustrativas, não dados de uma fábrica real.

Dies brutos por wafer de 300 mm para um die de área A.

DPW = π·d²/(4A) − π·d/√(2A), d = 300 mm[9]

Aleatoriedade: um gerador mulberry32 com semente; distribuições usadas — uniforme, exponencial (inversa da CDF), normal (Box–Muller), Poisson (Knuth). A semente é apresentada e compartilhável.

Fontes

1. SEMI E10 — Specification for Definition and Measurement of Equipment Reliability, Availability, and Maintainability (RAM) and Utilization — SEMI
2. ISO 14644-1:2015 Cleanrooms and associated controlled environments — Part 1: Classification of air cleanliness by particle concentration — ISO, 2015
3. C. H. Stapper, F. M. Armstrong, K. Saji — Integrated circuit yield statistics — Proceedings of the IEEE 71(4), 1983
4. J. A. Cunningham — The use and evaluation of yield models in integrated circuit manufacturing — IEEE Trans. Semiconductor Manufacturing 3(2), 1990
5. W. J. Hopp, M. L. Spearman — Factory Physics (3rd ed.), ch. 7–8: Little’s law, Kingman (VUT) equation — Waveland Press, 2008
6. J. D. C. Little — A Proof for the Queuing Formula L = λW — Operations Research 9(3), 1961
7. D. C. Montgomery — Introduction to Statistical Quality Control (x̄ charts, process capability Cpk) — Wiley, 2019
8. NIST/SEMATECH e-Handbook of Statistical Methods — 6.3 Univariate and Multivariate Control Charts; 6.1.6 Process capability — NIST
9. Dies-per-wafer estimate DPW = πd²/(4S) − πd/√(2S) (de Vries, “Investigation of gross die per wafer formulas”, IEEE TSM 18(1)) — IEEE, 2005
10. Fan affinity laws: flow ∝ speed, pressure ∝ speed², power ∝ speed³ — U.S. DOE — Improving Fan System Performance: A Sourcebook for Industry
11. EN 1822-1:2019 High efficiency air filters (EPA, HEPA and ULPA) — classification (U15 ≥ 99.9995 % at MPPS) — CEN, 2019
12. Western Electric Statistical Quality Control Handbook (1956) — zone rules for control charts — Western Electric / NIST e-Handbook 6.3.2
13. W. Whyte — Cleanroom Technology: Fundamentals of Design, Testing and Operation (2nd ed.), ch. on dispersion of particles from people; well-mixed room dilution equation — Wiley, 2010
14. Yu. I. Bogdanov, N. A. Bogdanova, V. L. Dshkhunyan — Statistical Yield Modeling for IC Manufacture: Hierarchical Fault Distributions (§2 Compound Poisson distribution, after Eq. (17), p. 4 of the arXiv PDF — large-area clustering negative binomial model: the cluster parameter’s “typical values approximately range from 0.3 to 7”) — arXiv physics/0303039, 2003
15. R. C. Leachman — Yield Modeling and Analysis (Poisson, Murphy, Seeds, negative-binomial models; §8: SMLY survey with C. N. Berglund for International SEMATECH, 2002–03 — yield loss fitted as YL(t) = YL(0)·e^(−λt), Table 2 averages 4.4 / 4.0 / 6.5 %/month at 350 / 250 / 180 nm) — UC Berkeley, IEOR 130 course notes (unpublished), 2014
16. A. Klemmt, L. Mönch — Scheduling jobs with time constraints between consecutive process steps in semiconductor manufacturing (time windows set by process engineering against native oxidation and contamination; jobs that violate them are scrapped) — Proceedings of the 2012 Winter Simulation Conference, 2012
17. NIST/SEMATECH e-Handbook of Statistical Methods — 8.1.6.1 Exponential distribution (constant failure rate) — NIST
18. C. Weber — Yield learning and the sources of profitability in semiconductor manufacturing and process development — IEEE Trans. Semiconductor Manufacturing 17(4), 2004
19. M. Abramowitz, I. Stegun — Handbook of Mathematical Functions, 26.2.17 — NBS, 1964