manipulation planning,robotics
Plan grasping and object manipulation.
751 technical terms and definitions
Plan grasping and object manipulation.
Mann-Whitney U test compares distributions between independent groups.
Maturity of manufacturing process.
# Map of Mathematics A comprehensive overview of mathematical fields, their connections, and foundational structures. ## 1. Foundations of Mathematics At the deepest level, mathematics rests on questions about its own nature and structure. ### 1.1 Logic - **Propositional Logic**: Studies logical connectives $\land$ (and), $\lor$ (or), $\neg$ (not), $\rightarrow$ (implies) - **Predicate Logic**: Introduces quantifiers $\forall$ (for all) and $\exists$ (there exists) - **Key Result**: Gödel's Incompleteness Theorems - First: Any consistent formal system $F$ capable of expressing arithmetic contains statements that are true but unprovable in $F$ - Second: Such a system cannot prove its own consistency ### 1.2 Set Theory - **Zermelo-Fraenkel Axioms with Choice (ZFC)**: The standard foundation - **Key Concepts**: - Empty set: $\emptyset$ - Union: $A \cup B = \{x : x \in A \text{ or } x \in B\}$ - Intersection: $A \cap B = \{x : x \in A \text{ and } x \in B\}$ - Power set: $\mathcal{P}(A) = \{B : B \subseteq A\}$ - Cardinality: $|A|$, with $|\mathbb{N}| = \aleph_0$ (countable infinity) - **Continuum Hypothesis**: Is there a set with cardinality strictly between $|\mathbb{N}|$ and $|\mathbb{R}|$? ### 1.3 Category Theory - **Objects and Morphisms**: Abstract structures and structure-preserving maps - **Key Concepts**: - Functors: $F: \mathcal{C} \to \mathcal{D}$ (maps between categories) - Natural transformations: $\eta: F \Rightarrow G$ - Universal properties and limits - **Philosophy**: "It's all about the arrows" — relationships matter more than objects ### 1.4 Type Theory - **Dependent Types**: Types that depend on values - **Curry-Howard Correspondence**: $$\text{Propositions} \cong \text{Types}, \quad \text{Proofs} \cong \text{Programs}$$ - **Applications**: Proof assistants (Coq, Lean, Agda) ## 2. Algebra The study of structure, operations, and their properties. ### 2.1 Linear Algebra - **Vector Spaces**: A set $V$ over field $F$ with addition and scalar multiplication - **Key Structures**: - Linear transformation: $T: V \to W$ where $T(\alpha u + \beta v) = \alpha T(u) + \beta T(v)$ - Matrix representation: $[T]_{\mathcal{B}}$ - Eigenvalue equation: $Av = \lambda v$ - **Fundamental Theorem**: Every matrix $A$ has a Jordan normal form - **Singular Value Decomposition**: $$A = U \Sigma V^*$$ ### 2.2 Group Theory - **Definition**: A group $(G, \cdot)$ satisfies: - Closure: $a, b \in G \Rightarrow a \cdot b \in G$ - Associativity: $(a \cdot b) \cdot c = a \cdot (b \cdot c)$ - Identity: $\exists e \in G$ such that $e \cdot a = a \cdot e = a$ - Inverses: $\forall a \in G, \exists a^{-1}$ such that $a \cdot a^{-1} = e$ - **Key Examples**: - Symmetric group $S_n$ (all permutations of $n$ elements) - Cyclic group $\mathbb{Z}/n\mathbb{Z}$ - General linear group $GL_n(\mathbb{R})$ (invertible $n \times n$ matrices) - **Lagrange's Theorem**: If $H \leq G$, then $|H|$ divides $|G|$ - **Classification of Finite Simple Groups**: Completed in 2004 (~10,000 pages) ### 2.3 Ring Theory - **Definition**: A ring $(R, +, \cdot)$ has: - $(R, +)$ is an abelian group - Multiplication is associative - Distributivity: $a(b + c) = ab + ac$ - **Key Examples**: - Integers $\mathbb{Z}$ - Polynomials $R[x]$ - Matrices $M_n(R)$ - **Ideals**: $I \subseteq R$ is an ideal if $RI \subseteq I$ and $IR \subseteq I$ - **Quotient Rings**: $R/I$ ### 2.4 Field Theory - **Definition**: A field is a commutative ring where every nonzero element has a multiplicative inverse - **Examples**: $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$, $\mathbb{F}_p$ (finite fields) - **Field Extensions**: $L/K$ where $K \subseteq L$ - **Galois Theory**: Studies field extensions via their automorphism groups - **Fundamental Theorem**: There is a correspondence between intermediate fields of $L/K$ and subgroups of $\text{Gal}(L/K)$ ### 2.5 Representation Theory - **Definition**: A representation of group $G$ is a homomorphism $\rho: G \to GL(V)$ - **Characters**: $\chi_\rho(g) = \text{Tr}(\rho(g))$ - **Key Result**: Characters of irreducible representations form an orthonormal basis $$\langle \chi_\rho, \chi_\sigma \rangle = \frac{1}{|G|} \sum_{g \in G} \chi_\rho(g) \overline{\chi_\sigma(g)} = \delta_{\rho\sigma}$$ ## 3. Analysis The rigorous study of continuous change, limits, and infinity. ### 3.1 Real Analysis - **Limits**: $\lim_{x \to a} f(x) = L$ iff $\forall \varepsilon > 0, \exists \delta > 0$ such that $0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon$ - **Continuity**: $f$ is continuous at $a$ if $\lim_{x \to a} f(x) = f(a)$ - **Differentiation**: $$f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}$$ - **Integration** (Riemann): $$\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^n f(x_i^*) \Delta x_i$$ - **Fundamental Theorem of Calculus**: $$\frac{d}{dx} \int_a^x f(t) \, dt = f(x)$$ ### 3.2 Measure Theory - **$\sigma$-Algebra**: Collection of sets closed under complements and countable unions - **Measure**: $\mu: \Sigma \to [0, \infty]$ with: - $\mu(\emptyset) = 0$ - Countable additivity: $\mu\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \mu(A_i)$ for disjoint $A_i$ - **Lebesgue Integral**: $$\int f \, d\mu = \sup \left\{ \int \phi \, d\mu : \phi \leq f, \phi \text{ simple} \right\}$$ ### 3.3 Complex Analysis - **Holomorphic Functions**: $f: \mathbb{C} \to \mathbb{C}$ is holomorphic if $f'(z)$ exists - **Cauchy-Riemann Equations**: If $f = u + iv$, then $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$ - **Cauchy's Integral Formula**: $$f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z - z_0} \, dz$$ - **Residue Theorem**: $$\oint_\gamma f(z) \, dz = 2\pi i \sum_{k} \text{Res}(f, z_k)$$ ### 3.4 Functional Analysis - **Banach Spaces**: Complete normed vector spaces - **Hilbert Spaces**: Complete inner product spaces - Inner product: $\langle \cdot, \cdot \rangle: V \times V \to \mathbb{C}$ - Norm: $\|v\| = \sqrt{\langle v, v \rangle}$ - **Key Theorems**: - Hahn-Banach (extension of linear functionals) - Open Mapping Theorem - Closed Graph Theorem - Spectral Theorem: Normal operators on Hilbert spaces have spectral decompositions ### 3.5 Differential Equations - **Ordinary Differential Equations (ODEs)**: - First order: $\frac{dy}{dx} = f(x, y)$ - Linear: $y^{(n)} + a_{n-1}y^{(n-1)} + \cdots + a_0 y = g(x)$ - **Partial Differential Equations (PDEs)**: - Heat equation: $\frac{\partial u}{\partial t} = \alpha \nabla^2 u$ - Wave equation: $\frac{\partial^2 u}{\partial t^2} = c^2 \nabla^2 u$ - Laplace equation: $\nabla^2 u = 0$ - Schrödinger equation: $i\hbar \frac{\partial \psi}{\partial t} = \hat{H}\psi$ ## 4. Geometry and Topology The study of space, shape, and structure. ### 4.1 Euclidean Geometry - **Euclid's Postulates**: Five axioms defining flat space - **Key Results**: - Pythagorean theorem: $a^2 + b^2 = c^2$ - Sum of angles in triangle: $180°$ - Parallel postulate: Given a line and a point not on it, exactly one parallel exists ### 4.2 Non-Euclidean Geometries - **Hyperbolic Geometry** (negative curvature): - Multiple parallels through a point - Sum of angles in triangle: $< 180°$ - Model: Poincaré disk with metric $ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}$ - **Elliptic/Spherical Geometry** (positive curvature): - No parallels - Sum of angles in triangle: $> 180°$ ### 4.3 Differential Geometry - **Manifolds**: Spaces locally homeomorphic to $\mathbb{R}^n$ - **Tangent Spaces**: $T_p M$ at each point $p$ - **Riemannian Metric**: $g_{ij}$ defining distances and angles $$ds^2 = g_{ij} \, dx^i \, dx^j$$ - **Curvature**: - Gaussian curvature: $K = \kappa_1 \kappa_2$ (product of principal curvatures) - Riemann curvature tensor: $R^i_{\ jkl}$ - Ricci curvature: $R_{ij} = R^k_{\ ikj}$ - Scalar curvature: $R = g^{ij} R_{ij}$ - **Gauss-Bonnet Theorem**: $$\int_M K \, dA = 2\pi \chi(M)$$ where $\chi(M)$ is the Euler characteristic ### 4.4 Topology - **Topological Space**: $(X, \tau)$ where $\tau$ is a collection of "open sets" - **Homeomorphism**: Continuous bijection with continuous inverse - **Key Invariants**: - Connectedness - Compactness - Euler characteristic: $\chi = V - E + F$ ### 4.5 Algebraic Topology - **Fundamental Group**: $\pi_1(X, x_0)$ — loops up to homotopy - $\pi_1(S^1) = \mathbb{Z}$ - $\pi_1(\mathbb{R}^n) = 0$ - **Higher Homotopy Groups**: $\pi_n(X)$ - **Homology Groups**: $H_n(X)$ — "holes" in dimension $n$ - $H_0$ counts connected components - $H_1$ counts 1-dimensional holes (loops) - $H_2$ counts 2-dimensional holes (voids) - **Cohomology**: Dual theory with cup product structure ### 4.6 Algebraic Geometry - **Affine Variety**: Zero set of polynomials $$V(f_1, \ldots, f_k) = \{x \in k^n : f_i(x) = 0 \text{ for all } i\}$$ - **Projective Variety**: Variety in projective space $\mathbb{P}^n$ - **Schemes**: Generalization using commutative algebra - **Sheaves**: Local-to-global data structures - **Key Results**: - Bézout's Theorem: Degree $m$ and $n$ curves intersect in $mn$ points (counting multiplicities) - Riemann-Roch Theorem (for curves): $$\ell(D) - \ell(K - D) = \deg(D) - g + 1$$ ## 5. Number Theory The study of integers and their generalizations. ### 5.1 Elementary Number Theory - **Divisibility**: $a | b$ iff $\exists k$ such that $b = ka$ - **Prime Numbers**: $p > 1$ with only divisors $1$ and $p$ - **Fundamental Theorem of Arithmetic**: Every integer $> 1$ factors uniquely into primes $$n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$$ - **Modular Arithmetic**: $a \equiv b \pmod{n}$ iff $n | (a - b)$ - **Euler's Theorem**: If $\gcd(a, n) = 1$, then $a^{\phi(n)} \equiv 1 \pmod{n}$ - **Fermat's Little Theorem**: If $p$ is prime and $p \nmid a$, then $a^{p-1} \equiv 1 \pmod{p}$ ### 5.2 Analytic Number Theory - **Prime Number Theorem**: $$\pi(x) \sim \frac{x}{\ln x}$$ where $\pi(x)$ counts primes $\leq x$ - **Riemann Zeta Function**: $$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_p \frac{1}{1 - p^{-s}}$$ - **Riemann Hypothesis**: All non-trivial zeros of $\zeta(s)$ have real part $\frac{1}{2}$ - **Dirichlet L-Functions**: Generalization for arithmetic progressions ### 5.3 Algebraic Number Theory - **Number Fields**: Finite extensions of $\mathbb{Q}$ - **Ring of Integers**: $\mathcal{O}_K$ — algebraic integers in $K$ - **Unique Factorization Failure**: $\mathcal{O}_K$ may not be a UFD - Example: In $\mathbb{Z}[\sqrt{-5}]$: $6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})$ - **Ideal Class Group**: Measures failure of unique factorization - **Class Number Formula**: $$h_K = \frac{w_K \sqrt{|d_K|}}{2^{r_1}(2\pi)^{r_2} R_K} \cdot \lim_{s \to 1} (s-1) \zeta_K(s)$$ ### 5.4 Famous Conjectures and Theorems - **Fermat's Last Theorem** (proved by Wiles, 1995): $$x^n + y^n = z^n \text{ has no positive integer solutions for } n > 2$$ - **Goldbach's Conjecture** (open): Every even integer $> 2$ is the sum of two primes - **Twin Prime Conjecture** (open): Infinitely many primes $p$ where $p + 2$ is also prime - **ABC Conjecture**: For coprime $a + b = c$, $\text{rad}(abc)^{1+\varepsilon} > c$ for almost all triples ## 6. Combinatorics The study of discrete structures and counting. ### 6.1 Enumerative Combinatorics - **Counting Principles**: - Permutations: $P(n, k) = \frac{n!}{(n-k)!}$ - Combinations: $\binom{n}{k} = \frac{n!}{k!(n-k)!}$ - **Binomial Theorem**: $$(x + y)^n = \sum_{k=0}^{n} \binom{n}{k} x^{n-k} y^k$$ - **Generating Functions**: - Ordinary: $F(x) = \sum_{n=0}^{\infty} a_n x^n$ - Exponential: $F(x) = \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}$ ### 6.2 Graph Theory - **Definitions**: - Graph $G = (V, E)$: vertices and edges - Degree: $\deg(v) = |\{e \in E : v \in e\}|$ - **Handshaking Lemma**: $\sum_{v \in V} \deg(v) = 2|E|$ - **Euler's Formula** (planar graphs): $V - E + F = 2$ - **Key Problems**: - Graph coloring: $\chi(G)$ = chromatic number - Four Color Theorem: Every planar graph is 4-colorable - Hamiltonian cycles ### 6.3 Ramsey Theory - **Principle**: "Complete disorder is impossible" - **Ramsey Numbers**: $R(m, n)$ = minimum $N$ such that any 2-coloring of $K_N$ contains monochromatic $K_m$ or $K_n$ - $R(3, 3) = 6$ - $R(4, 4) = 18$ - $43 \leq R(5, 5) \leq 48$ (exact value unknown) ## 7. Probability and Statistics ### 7.1 Probability Theory - **Kolmogorov Axioms**: 1. $P(A) \geq 0$ 2. $P(\Omega) = 1$ 3. Countable additivity: $P\left(\bigcup_{i} A_i\right) = \sum_{i} P(A_i)$ for disjoint $A_i$ - **Conditional Probability**: $P(A|B) = \frac{P(A \cap B)}{P(B)}$ - **Bayes' Theorem**: $$P(A|B) = \frac{P(B|A) P(A)}{P(B)}$$ - **Expectation**: $E[X] = \int x \, dF(x)$ - **Variance**: $\text{Var}(X) = E[(X - E[X])^2] = E[X^2] - (E[X])^2$ ### 7.2 Key Distributions | Distribution | PMF/PDF | Mean | Variance | |-------------|---------|------|----------| | Binomial | $\binom{n}{k} p^k (1-p)^{n-k}$ | $np$ | $np(1-p)$ | | Poisson | $\frac{\lambda^k e^{-\lambda}}{k!}$ | $\lambda$ | $\lambda$ | | Normal | $\frac{1}{\sigma\sqrt{2\pi}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}$ | $\mu$ | $\sigma^2$ | | Exponential | $\lambda e^{-\lambda x}$ | $\frac{1}{\lambda}$ | $\frac{1}{\lambda^2}$ | ### 7.3 Limit Theorems - **Law of Large Numbers**: $$\bar{X}_n = \frac{1}{n} \sum_{i=1}^n X_i \xrightarrow{p} \mu$$ - **Central Limit Theorem**: $$\frac{\bar{X}_n - \mu}{\sigma / \sqrt{n}} \xrightarrow{d} N(0, 1)$$ ## 8. Applied Mathematics ### 8.1 Numerical Analysis - **Root Finding**: Newton's method: $x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$ - **Interpolation**: Lagrange, splines - **Numerical Integration**: Simpson's rule, Gaussian quadrature - **Linear Systems**: LU decomposition, iterative methods ### 8.2 Optimization - **Unconstrained**: Find $\min_x f(x)$ - Gradient descent: $x_{k+1} = x_k - \alpha \nabla f(x_k)$ - **Constrained**: Lagrange multipliers $$\nabla f = \lambda \nabla g \quad \text{at optimum}$$ - **Linear Programming**: Simplex method, interior point methods - **Convex Optimization**: Global optimum = local optimum ### 8.3 Mathematical Physics - **Classical Mechanics**: Lagrangian $L = T - V$, Euler-Lagrange equations $$\frac{d}{dt} \frac{\partial L}{\partial \dot{q}} - \frac{\partial L}{\partial q} = 0$$ - **Electromagnetism**: Maxwell's equations - **General Relativity**: Einstein field equations $$R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}$$ - **Quantum Mechanics**: Schrödinger equation, Hilbert space formalism ## 9. The Grand Connections ### 9.1 Langlands Program A web of conjectures connecting: - Number theory (Galois representations) - Representation theory (automorphic forms) - Algebraic geometry - Harmonic analysis **Central idea**: $L$-functions from different sources are the same: $$L(s, \rho) = L(s, \pi)$$ where $\rho$ is a Galois representation and $\pi$ is an automorphic representation. ### 9.2 Mirror Symmetry - **Physics Origin**: String theory on Calabi-Yau manifolds - **Mathematical Content**: Pairs $(X, \check{X})$ where: - Complex geometry of $X$ $\leftrightarrow$ Symplectic geometry of $\check{X}$ - $h^{1,1}(X) = h^{2,1}(\check{X})$ ### 9.3 Topological Quantum Field Theory - **Axioms** (Atiyah): Functor from cobordism category to vector spaces - **Examples**: Chern-Simons theory, topological string theory - **Connections**: Knot invariants, 3-manifold invariants, quantum groups ## 10. Summary Diagram **Interactive Visual Map of Mathematics** An interactive diagram showing the hierarchical relationships between mathematical fields is available at: The ASCII diagram below is retained for reference: ``` - ┌─────────────────────────────────────────┐ │ FOUNDATIONS │ │ Logic ─ Set Theory ─ Category Theory │ └─────────────────┬───────────────────────┘ │ ┌────────────────────────────┼────────────────────────────┐ │ │ │ ▼ ▼ ▼ ┌─────────┐ ┌──────────┐ ┌──────────┐ │ ALGEBRA │◄───────────────►│ ANALYSIS │◄───────────────►│ GEOMETRY │ │ │ │ │ │ TOPOLOGY │ └────┬────┘ └────┬─────┘ └────┬─────┘ │ │ │ │ ┌─────────────────┼─────────────────┐ │ │ │ │ │ │ ▼ ▼ ▼ ▼ ▼ ┌─────────────────┐ ┌──────────────────┐ ┌─────────────────┐ │ NUMBER THEORY │ │ COMBINATORICS │ │ PROBABILITY │ │ │ │ & GRAPH THEORY │ │ & STATISTICS │ └────────┬────────┘ └────────┬─────────┘ └────────┬────────┘ │ │ │ └──────────────────────┼───────────────────────┘ │ ▼ ┌───────────────────────────────┐ │ APPLIED MATHEMATICS │ │ Physics ─ Computing ─ Data │ └───────────────────────────────┘ ```
Mean Average Precision optimization focuses on top-ranked precision across queries.
How to store 3D map.
Transform latent code to style.
Marangoni drying uses surface tension gradients creating watermark-free surfaces.
Use IPA vapor gradient to prevent water droplets and watermarks.
March algorithms systematically test memory cells with specific read-write sequences.
Extract mesh from volume.
Marching cubes extracts mesh surfaces from volumetric data or implicit functions.
Find operating margins.
Marked point processes attach additional information marks to events capturing both occurrence times and event attributes.
Create advertising text.
Sample from posterior distributions.
State-based reliability model.
Multi-agent reinforcement learning communication protocols enable agents to share information through learned discrete or continuous communication channels.
Focus on misclassified examples.
Marvin provides AI functions in Python. Natural language to structured data.
Thick mask topography affects light diffraction.
Substrate before pattern writing.
Soften mask edges.
Remove particles from photomasks.
Expense of photomask set (millions for advanced nodes).
Mask costs include photomask set fabrication representing significant NRE component.
Convert design to mask format.
Convert design data to mask patterns.
How much mask defects magnify on wafer.
Detect defects on photomasks.
Verify mask meets requirements.
Fix defects on photomasks.
Verify mask meets manufacturing rules.
Token for masking in MLM.
Physical creation of photomask.
Mask-based beamforming estimates covariance matrices using time-frequency masks from neural networks.
Mask-based separation estimates time-frequency masks that isolate individual sources when applied to mixture.
Iteratively predict masked positions.
# Mask, Reticle, Photomask, and Pattern Transfer in Semiconductor Manufacturing ## 1. Definitions and Distinctions ### 1.1 Photomask A **photomask** is the master template containing the circuit pattern that will be transferred onto a semiconductor wafer. It consists of: - A highly pure fused silica (quartz) substrate - A patterned opaque layer (traditionally chromium) - Advanced masks may use other materials like molybdenum silicide (MoSi) for phase-shifting applications ### 1.2 Mask vs. Reticle Historically, these terms had distinct meanings: #### Mask (1:1) - In early lithography, a mask contained the full-wafer pattern at actual size - The entire wafer was exposed in one shot through contact or proximity printing - Direct 1:1 pattern transfer #### Reticle (Reduction) - With the advent of projection lithography (steppers and scanners), the industry moved to reduction optics - Typically 4:1 or 5:1 reduction ratio - A reticle contains a pattern that is 4× or 5× larger than the final printed feature - Covers only one or a few die areas per exposure - The optical system demagnifies this pattern onto the wafer **Modern Usage:** Today, the terms "mask," "reticle," and "photomask" are often used interchangeably in the industry, though technically most modern photomasks are reticles (used with reduction optics). ### 1.3 Pattern Transfer Pattern transfer is the broader process of replicating a pattern from the mask/reticle onto the wafer. This encompasses: 1. **Exposure**: Light passes through the reticle, carrying the pattern information 2. **Image Formation**: The projection optics demagnify and focus the aerial image onto photoresist 3. **Development**: Chemical processing reveals the latent image in the resist 4. **Etch Transfer**: The resist pattern is transferred into underlying layers ## 2. The Physics of Pattern Transfer ### 2.1 Optical Imaging Fundamentals The resolution limit of optical lithography is governed by the **Rayleigh criterion**: $$ R = k_1 \frac{\lambda}{NA} $$ Where: - $R$ = minimum resolvable feature size - $k_1$ = process factor (theoretical minimum $\approx 0.25$) - $\lambda$ = exposure wavelength - $NA$ = numerical aperture of projection lens The **depth of focus (DOF)** follows: $$ DOF = k_2 \frac{\lambda}{NA^2} $$ Where: - $k_2$ = depth of focus process factor **Fundamental Trade-off:** Higher NA improves resolution but reduces DOF, making process control more challenging. ### 2.2 Evolution of Exposure Wavelengths | Generation | Wavelength | Light Source | Era | |:-----------|:-----------|:-------------|:----| | g-line | 436 nm | Mercury arc | 1980s | | i-line | 365 nm | Mercury arc | Late 1980s–1990s | | KrF | 248 nm | Excimer laser | 1990s–2000s | | ArF | 193 nm | Excimer laser | 2000s–present | | EUV | 13.5 nm | Laser-produced plasma | 2019–present | ### 2.3 Numerical Aperture Progression The numerical aperture has increased over time: $$ NA = n \cdot \sin(\theta) $$ Where: - $n$ = refractive index of medium between lens and wafer - $\theta$ = half-angle of the maximum cone of light For **immersion lithography** (ArF-i): $$ NA_{immersion} = n_{water} \cdot \sin(\theta) \approx 1.35 $$ Since $n_{water} \approx 1.44$ at 193 nm. ## 3. Mask Types and Technologies ### 3.1 Binary Masks The simplest type of photomask: - Regions are either fully **transparent** (quartz) or fully **opaque** (chrome) - The transmitted light has uniform phase - Transmission function: $$ T(x,y) = \begin{cases} 1 & \text{clear regions} \\ 0 & \text{opaque regions} \end{cases} $$ ### 3.2 Phase-Shift Masks (PSM) Introduced to push resolution beyond binary mask limits by exploiting interference. #### 3.2.1 Alternating PSM (AltPSM) - Adjacent clear areas have **180° phase difference** - Creates destructive interference at boundaries for sharper edges - Electric field representation: $$ E_{total} = E_0 e^{i \cdot 0} + E_0 e^{i \cdot \pi} = E_0 - E_0 = 0 \text{ (at boundary)} $$ **Advantages:** - Excellent resolution enhancement - Sharpest edge definition **Disadvantages:** - Complex layout rules - Potential phase conflicts at intersections #### 3.2.2 Attenuated PSM (AttPSM / EPSM) - The "opaque" regions are partially transmitting (typically 6–8%) - These regions have 180° phase shift - Transmission function: $$ T(x,y) = \begin{cases} 1 \cdot e^{i \cdot 0} & \text{clear regions} \\ \sqrt{0.06} \cdot e^{i \cdot \pi} & \text{attenuated regions} \end{cases} $$ **Advantages:** - Simpler to implement than AltPSM - Widely used for contact/via layers #### 3.2.3 Chromeless Phase Lithography (CPL) - Uses only phase transitions (no chrome) to define features - Features defined through interference alone - Intensity at phase edge: $$ I(x) \propto \left| E_1 e^{i\phi_1} + E_2 e^{i\phi_2} \right|^2 $$ ### 3.3 EUV Masks Fundamentally different architecture from transmissive masks: - **Reflective** rather than transmissive (EUV is absorbed by all materials) - Multilayer Bragg reflector structure: - 40–50 Mo/Si bilayers - Period $\approx 7$ nm - Absorber pattern on top (TaN-based materials) - Reflectivity $\approx 65\text{–}70\%$ **Bragg reflection condition:** $$ m\lambda = 2d\sin(\theta) $$ Where: - $m$ = diffraction order - $d$ = bilayer period - $\theta$ = angle of incidence ## 4. Resolution Enhancement Techniques (RET) ### 4.1 Optical Proximity Correction (OPC) The aerial image doesn't perfectly replicate mask features due to diffraction. OPC pre-distorts mask patterns to compensate. #### 4.1.1 Rule-Based OPC Simple geometric adjustments: - Serifs at corners - Line biasing - Hammerheads at line ends #### 4.1.2 Model-Based OPC - Iterative simulation-driven correction - Uses optical and resist models - Edge placement error (EPE) minimization: $$ EPE = |x_{target} - x_{simulated}| $$ Iterate until: $$ \sum_{i} EPE_i^2 < \epsilon_{threshold} $$ #### 4.1.3 Inverse Lithography Technology (ILT) - Computes optimal mask pattern from desired wafer result - Produces curvilinear, non-intuitive shapes - Optimization problem: $$ \min_{M} \left\| I_{target}(x,y) - I_{aerial}(M, x, y) \right\|^2 + \lambda \cdot R(M) $$ Where: - $M$ = mask pattern - $I_{target}$ = target intensity pattern - $I_{aerial}$ = simulated aerial image - $R(M)$ = regularization term (mask complexity penalty) - $\lambda$ = regularization weight ### 4.2 Sub-Resolution Assist Features (SRAF) Small features placed near main features that: - Do **not** print on wafer - Improve process window by modifying diffraction pattern **Design constraints:** - Too large → SRAFs print (defect) - Too small → ineffective - Optimal width typically: $$ W_{SRAF} < 0.25 \frac{\lambda}{NA} $$ ### 4.3 Source-Mask Optimization (SMO) Co-optimizes illumination source shape and mask pattern together: $$ \min_{S, M} \left\| I_{target} - I_{aerial}(S, M) \right\|^2 $$ Where: - $S$ = source (illumination pupil) pattern - $M$ = mask pattern Enables complex, freeform illumination pupils (dipole, quadrupole, pixelated sources). ## 5. Mask Manufacturing ### 5.1 Mask Blanks Starting substrate requirements are extraordinarily stringent: | Parameter | Specification | |:----------|:--------------| | Flatness | < 50 nm across 152 mm × 152 mm | | Surface roughness | < 0.15 nm RMS | | Defect density | Zero printable defects | | Thermal expansion | Matched to exposure tool | ### 5.2 Pattern Generation **E-beam lithography** is the primary method for writing mask patterns: - **Variable Shaped Beam (VSB)** systems for throughput - **Gaussian beam** for highest resolution - **Multi-beam systems** (emerging) for throughput improvement **Write time considerations:** - Hours to days for complex masks - Shot count for a single mask can exceed $10^{10}$ #### Challenges at Advanced Nodes - Shot count explosion with curvilinear OPC - Placement accuracy requirements: $< 1$ nm - CD uniformity across mask: $< 1$ nm $3\sigma$ ### 5.3 Mask Inspection and Repair #### Inspection Methods - **Die-to-die comparison**: Compare identical dies on same mask - **Die-to-database comparison**: Compare to design intent - **Actinic inspection** for EUV: Inspection at 13.5 nm wavelength #### Repair Techniques - **Focused Ion Beam (FIB)**: Chrome removal/deposition - **Electron beam repair**: Precise material modification - **Nanomachining**: Mechanical removal - **EUV-specific**: Compensation techniques for multilayer defects ## 6. Mask Error Enhancement Factor (MEEF) A critical concept linking mask quality to wafer results: $$ MEEF = \frac{\partial CD_{wafer}}{\partial (CD_{mask}/M)} $$ Where: - $CD_{wafer}$ = critical dimension on wafer - $CD_{mask}$ = critical dimension on mask - $M$ = reduction ratio (typically 4) ### Interpretation | MEEF Value | Meaning | |:-----------|:--------| | MEEF = 1 | 1 nm mask error → 0.25 nm wafer error (after 4× reduction) | | MEEF = 4 | 1 nm mask error → 1 nm wafer error (no reduction benefit) | | MEEF > 4 | Mask errors are **amplified** on wafer | ### MEEF vs. Feature Size As features approach the resolution limit: $$ MEEF \propto \frac{1}{k_1} $$ At advanced nodes, MEEF can exceed 3–5, driving extremely tight mask specifications. ## 7. Multi-Patterning and Its Impact on Masks When single-exposure lithography cannot achieve required pitch, patterns are split across multiple masks. ### 7.1 LELE (Litho-Etch-Litho-Etch) - Pattern split into two complementary masks - Each exposed and etched separately - **Critical requirement:** Overlay between masks $< 2\text{–}3$ nm Process flow: ``` Mask 1 Exposure → Etch → Mask 2 Exposure → Etch ``` ### 7.2 SADP (Self-Aligned Double Patterning) 1. Single mask defines mandrels 2. Spacers deposited conformally 3. Mandrel removed, leaving 2× density pattern **Pitch relationship:** $$ P_{final} = \frac{P_{mask}}{2} $$ Where: - $P_{final}$ = final pitch on wafer - $P_{mask}$ = pitch on mask ### 7.3 SAQP (Self-Aligned Quadruple Patterning) Extension of SADP to 4× density: $$ P_{final} = \frac{P_{mask}}{4} $$ Used for most critical metal layers at 7 nm and 5 nm nodes before EUV. ### 7.4 Impact on Mask Industry | Factor | Effect | |:-------|:-------| | Mask count | Multiplied (2×–4× more masks per layer) | | Mask cost | Increased total cost per design | | Individual mask specs | Relaxed (larger features) | | Overlay requirements | Extremely tight between masks | ## 8. EUV Pattern Transfer: Unique Challenges ### 8.1 Mask 3D Effects At 13.5 nm wavelength, the $\approx 60$ nm absorber thickness is optically thick: **Shadowing effects:** - Non-telecentric illumination (6° chief ray angle) - Pattern shift dependent on feature orientation - Best focus variation across field **Shadow-induced pattern shift:** $$ \Delta x = h_{absorber} \cdot \tan(\theta_{chief}) $$ Where: - $h_{absorber}$ = absorber height - $\theta_{chief}$ = chief ray angle ### 8.2 Pellicle Challenges Traditional pellicles (thin membranes protecting masks from particles) don't work at EUV: - All materials absorb EUV - Ultra-thin membranes required (< 50 nm) - Thermal management difficult (EUV power absorbed in pellicle) - Industry still developing robust solutions **Transmission requirement:** $$ T_{pellicle} > 90\% $$ This requires membrane thickness: $$ t < \frac{\lambda}{4\pi k} $$ Where $k$ is the extinction coefficient. ### 8.3 Stochastic Defects At EUV power levels, shot noise becomes significant: **Poisson statistics for photon count:** $$ \sigma_N = \sqrt{N} $$ **Relative noise:** $$ \frac{\sigma_N}{N} = \frac{1}{\sqrt{N}} $$ **Effects:** - Line edge roughness (LER) from photon statistics - Random defects (missing contacts, bridging) - Requires higher dose (slower throughput) or better resists **LER relationship to dose:** $$ LER \propto \frac{1}{\sqrt{Dose}} $$ ## 9. Current State and Future Directions ### 9.1 High-NA EUV (0.55 NA) Under development by ASML: | Parameter | Current EUV | High-NA EUV | |:----------|:------------|:------------| | NA | 0.33 | 0.55 | | Resolution | ~13 nm HP | ~8 nm HP | | Reduction | 4× isotropic | 4× scan / 8× cross-scan | | Field size | 26 mm × 33 mm | 26 mm × 16.5 mm | **Anamorphic optics:** - 4× reduction in scan direction - 8× reduction perpendicular to scan - Masks become larger (half-field stitching may be needed) **Resolution target:** $$ R = k_1 \frac{13.5 \text{ nm}}{0.55} \approx 8 \text{ nm HP (at } k_1 = 0.33\text{)} $$ ### 9.2 Mask Cost Trends A leading-edge EUV mask set (all layers for one chip design): $$ Cost_{maskset} > \$10\text{–}15 \text{ million} $$ **Implications:** - Limits advanced node access to highest-volume products - Drives interest in mask-less lithography for prototyping - Motivates chiplet/advanced packaging approaches ### 9.3 Curvilinear Masks ILT-optimized masks with freeform curves offer best imaging but: - Dramatically increase mask write time - Require multi-beam mask writers - Challenge inspection and repair infrastructure **Write time scaling:** $$ t_{write} \propto N_{shots} $$ For curvilinear patterns: $$ N_{shots,curvilinear} \gg N_{shots,Manhattan} $$ ## Mask The photomask/reticle is the critical interface between design intent and physical reality in semiconductor manufacturing. Pattern transfer quality depends on: 1. **Mask technology**: Binary, PSM, or reflective (EUV) 2. **RETs**: OPC, SRAF, and source optimization 3. **Exposure system**: Wavelength, NA, and illumination 4. **Process integration**: Resist, etch, and metrology The relentless push to smaller features has transformed masks from simple stencils to sophisticated optical elements requiring atomic-scale precision and costing millions of dollars each—making them one of the most demanding precision manufacturing challenges in human history. ## Equations ### Resolution $$ R = k_1 \frac{\lambda}{NA} $$ ### Depth of Focus $$ DOF = k_2 \frac{\lambda}{NA^2} $$ ### MEEF $$ MEEF = \frac{\partial CD_{wafer}}{\partial (CD_{mask}/M)} $$ ### Bragg Reflection $$ m\lambda = 2d\sin(\theta) $$ ### Shot Noise (LER) $$ LER \propto \frac{1}{\sqrt{Dose}} $$
# Mask, Reticle, Photomask, and Pattern Transfer in Semiconductor Manufacturing ## 1. Definitions and Distinctions ### 1.1 Photomask A **photomask** is the master template containing the circuit pattern that will be transferred onto a semiconductor wafer. It consists of: - A highly pure fused silica (quartz) substrate - A patterned opaque layer (traditionally chromium) - Advanced masks may use other materials like molybdenum silicide (MoSi) for phase-shifting applications ### 1.2 Mask vs. Reticle Historically, these terms had distinct meanings: #### Mask (1:1) - In early lithography, a mask contained the full-wafer pattern at actual size - The entire wafer was exposed in one shot through contact or proximity printing - Direct 1:1 pattern transfer #### Reticle (Reduction) - With the advent of projection lithography (steppers and scanners), the industry moved to reduction optics - Typically 4:1 or 5:1 reduction ratio - A reticle contains a pattern that is 4× or 5× larger than the final printed feature - Covers only one or a few die areas per exposure - The optical system demagnifies this pattern onto the wafer **Modern Usage:** Today, the terms "mask," "reticle," and "photomask" are often used interchangeably in the industry, though technically most modern photomasks are reticles (used with reduction optics). ### 1.3 Pattern Transfer Pattern transfer is the broader process of replicating a pattern from the mask/reticle onto the wafer. This encompasses: 1. **Exposure**: Light passes through the reticle, carrying the pattern information 2. **Image Formation**: The projection optics demagnify and focus the aerial image onto photoresist 3. **Development**: Chemical processing reveals the latent image in the resist 4. **Etch Transfer**: The resist pattern is transferred into underlying layers ## 2. The Physics of Pattern Transfer ### 2.1 Optical Imaging Fundamentals The resolution limit of optical lithography is governed by the **Rayleigh criterion**: $$ R = k_1 \frac{\lambda}{NA} $$ Where: - $R$ = minimum resolvable feature size - $k_1$ = process factor (theoretical minimum $\approx 0.25$) - $\lambda$ = exposure wavelength - $NA$ = numerical aperture of projection lens The **depth of focus (DOF)** follows: $$ DOF = k_2 \frac{\lambda}{NA^2} $$ Where: - $k_2$ = depth of focus process factor **Fundamental Trade-off:** Higher NA improves resolution but reduces DOF, making process control more challenging. ### 2.2 Evolution of Exposure Wavelengths | Generation | Wavelength | Light Source | Era | |:-----------|:-----------|:-------------|:----| | g-line | 436 nm | Mercury arc | 1980s | | i-line | 365 nm | Mercury arc | Late 1980s–1990s | | KrF | 248 nm | Excimer laser | 1990s–2000s | | ArF | 193 nm | Excimer laser | 2000s–present | | EUV | 13.5 nm | Laser-produced plasma | 2019–present | ### 2.3 Numerical Aperture Progression The numerical aperture has increased over time: $$ NA = n \cdot \sin(\theta) $$ Where: - $n$ = refractive index of medium between lens and wafer - $\theta$ = half-angle of the maximum cone of light For **immersion lithography** (ArF-i): $$ NA_{immersion} = n_{water} \cdot \sin(\theta) \approx 1.35 $$ Since $n_{water} \approx 1.44$ at 193 nm. ## 3. Mask Types and Technologies ### 3.1 Binary Masks The simplest type of photomask: - Regions are either fully **transparent** (quartz) or fully **opaque** (chrome) - The transmitted light has uniform phase - Transmission function: $$ T(x,y) = \begin{cases} 1 & \text{clear regions} \\ 0 & \text{opaque regions} \end{cases} $$ ### 3.2 Phase-Shift Masks (PSM) Introduced to push resolution beyond binary mask limits by exploiting interference. #### 3.2.1 Alternating PSM (AltPSM) - Adjacent clear areas have **180° phase difference** - Creates destructive interference at boundaries for sharper edges - Electric field representation: $$ E_{total} = E_0 e^{i \cdot 0} + E_0 e^{i \cdot \pi} = E_0 - E_0 = 0 \text{ (at boundary)} $$ **Advantages:** - Excellent resolution enhancement - Sharpest edge definition **Disadvantages:** - Complex layout rules - Potential phase conflicts at intersections #### 3.2.2 Attenuated PSM (AttPSM / EPSM) - The "opaque" regions are partially transmitting (typically 6–8%) - These regions have 180° phase shift - Transmission function: $$ T(x,y) = \begin{cases} 1 \cdot e^{i \cdot 0} & \text{clear regions} \\ \sqrt{0.06} \cdot e^{i \cdot \pi} & \text{attenuated regions} \end{cases} $$ **Advantages:** - Simpler to implement than AltPSM - Widely used for contact/via layers #### 3.2.3 Chromeless Phase Lithography (CPL) - Uses only phase transitions (no chrome) to define features - Features defined through interference alone - Intensity at phase edge: $$ I(x) \propto \left| E_1 e^{i\phi_1} + E_2 e^{i\phi_2} \right|^2 $$ ### 3.3 EUV Masks Fundamentally different architecture from transmissive masks: - **Reflective** rather than transmissive (EUV is absorbed by all materials) - Multilayer Bragg reflector structure: - 40–50 Mo/Si bilayers - Period $\approx 7$ nm - Absorber pattern on top (TaN-based materials) - Reflectivity $\approx 65\text{–}70\%$ **Bragg reflection condition:** $$ m\lambda = 2d\sin(\theta) $$ Where: - $m$ = diffraction order - $d$ = bilayer period - $\theta$ = angle of incidence ## 4. Resolution Enhancement Techniques (RET) ### 4.1 Optical Proximity Correction (OPC) The aerial image doesn't perfectly replicate mask features due to diffraction. OPC pre-distorts mask patterns to compensate. #### 4.1.1 Rule-Based OPC Simple geometric adjustments: - Serifs at corners - Line biasing - Hammerheads at line ends #### 4.1.2 Model-Based OPC - Iterative simulation-driven correction - Uses optical and resist models - Edge placement error (EPE) minimization: $$ EPE = |x_{target} - x_{simulated}| $$ Iterate until: $$ \sum_{i} EPE_i^2 < \epsilon_{threshold} $$ #### 4.1.3 Inverse Lithography Technology (ILT) - Computes optimal mask pattern from desired wafer result - Produces curvilinear, non-intuitive shapes - Optimization problem: $$ \min_{M} \left\| I_{target}(x,y) - I_{aerial}(M, x, y) \right\|^2 + \lambda \cdot R(M) $$ Where: - $M$ = mask pattern - $I_{target}$ = target intensity pattern - $I_{aerial}$ = simulated aerial image - $R(M)$ = regularization term (mask complexity penalty) - $\lambda$ = regularization weight ### 4.2 Sub-Resolution Assist Features (SRAF) Small features placed near main features that: - Do **not** print on wafer - Improve process window by modifying diffraction pattern **Design constraints:** - Too large → SRAFs print (defect) - Too small → ineffective - Optimal width typically: $$ W_{SRAF} < 0.25 \frac{\lambda}{NA} $$ ### 4.3 Source-Mask Optimization (SMO) Co-optimizes illumination source shape and mask pattern together: $$ \min_{S, M} \left\| I_{target} - I_{aerial}(S, M) \right\|^2 $$ Where: - $S$ = source (illumination pupil) pattern - $M$ = mask pattern Enables complex, freeform illumination pupils (dipole, quadrupole, pixelated sources). ## 5. Mask Manufacturing ### 5.1 Mask Blanks Starting substrate requirements are extraordinarily stringent: | Parameter | Specification | |:----------|:--------------| | Flatness | < 50 nm across 152 mm × 152 mm | | Surface roughness | < 0.15 nm RMS | | Defect density | Zero printable defects | | Thermal expansion | Matched to exposure tool | ### 5.2 Pattern Generation **E-beam lithography** is the primary method for writing mask patterns: - **Variable Shaped Beam (VSB)** systems for throughput - **Gaussian beam** for highest resolution - **Multi-beam systems** (emerging) for throughput improvement **Write time considerations:** - Hours to days for complex masks - Shot count for a single mask can exceed $10^{10}$ #### Challenges at Advanced Nodes - Shot count explosion with curvilinear OPC - Placement accuracy requirements: $< 1$ nm - CD uniformity across mask: $< 1$ nm $3\sigma$ ### 5.3 Mask Inspection and Repair #### Inspection Methods - **Die-to-die comparison**: Compare identical dies on same mask - **Die-to-database comparison**: Compare to design intent - **Actinic inspection** for EUV: Inspection at 13.5 nm wavelength #### Repair Techniques - **Focused Ion Beam (FIB)**: Chrome removal/deposition - **Electron beam repair**: Precise material modification - **Nanomachining**: Mechanical removal - **EUV-specific**: Compensation techniques for multilayer defects ## 6. Mask Error Enhancement Factor (MEEF) A critical concept linking mask quality to wafer results: $$ MEEF = \frac{\partial CD_{wafer}}{\partial (CD_{mask}/M)} $$ Where: - $CD_{wafer}$ = critical dimension on wafer - $CD_{mask}$ = critical dimension on mask - $M$ = reduction ratio (typically 4) ### Interpretation | MEEF Value | Meaning | |:-----------|:--------| | MEEF = 1 | 1 nm mask error → 0.25 nm wafer error (after 4× reduction) | | MEEF = 4 | 1 nm mask error → 1 nm wafer error (no reduction benefit) | | MEEF > 4 | Mask errors are **amplified** on wafer | ### MEEF vs. Feature Size As features approach the resolution limit: $$ MEEF \propto \frac{1}{k_1} $$ At advanced nodes, MEEF can exceed 3–5, driving extremely tight mask specifications. ## 7. Multi-Patterning and Its Impact on Masks When single-exposure lithography cannot achieve required pitch, patterns are split across multiple masks. ### 7.1 LELE (Litho-Etch-Litho-Etch) - Pattern split into two complementary masks - Each exposed and etched separately - **Critical requirement:** Overlay between masks $< 2\text{–}3$ nm Process flow: ``` Mask 1 Exposure → Etch → Mask 2 Exposure → Etch ``` ### 7.2 SADP (Self-Aligned Double Patterning) 1. Single mask defines mandrels 2. Spacers deposited conformally 3. Mandrel removed, leaving 2× density pattern **Pitch relationship:** $$ P_{final} = \frac{P_{mask}}{2} $$ Where: - $P_{final}$ = final pitch on wafer - $P_{mask}$ = pitch on mask ### 7.3 SAQP (Self-Aligned Quadruple Patterning) Extension of SADP to 4× density: $$ P_{final} = \frac{P_{mask}}{4} $$ Used for most critical metal layers at 7 nm and 5 nm nodes before EUV. ### 7.4 Impact on Mask Industry | Factor | Effect | |:-------|:-------| | Mask count | Multiplied (2×–4× more masks per layer) | | Mask cost | Increased total cost per design | | Individual mask specs | Relaxed (larger features) | | Overlay requirements | Extremely tight between masks | ## 8. EUV Pattern Transfer: Unique Challenges ### 8.1 Mask 3D Effects At 13.5 nm wavelength, the $\approx 60$ nm absorber thickness is optically thick: **Shadowing effects:** - Non-telecentric illumination (6° chief ray angle) - Pattern shift dependent on feature orientation - Best focus variation across field **Shadow-induced pattern shift:** $$ \Delta x = h_{absorber} \cdot \tan(\theta_{chief}) $$ Where: - $h_{absorber}$ = absorber height - $\theta_{chief}$ = chief ray angle ### 8.2 Pellicle Challenges Traditional pellicles (thin membranes protecting masks from particles) don't work at EUV: - All materials absorb EUV - Ultra-thin membranes required (< 50 nm) - Thermal management difficult (EUV power absorbed in pellicle) - Industry still developing robust solutions **Transmission requirement:** $$ T_{pellicle} > 90\% $$ This requires membrane thickness: $$ t < \frac{\lambda}{4\pi k} $$ Where $k$ is the extinction coefficient. ### 8.3 Stochastic Defects At EUV power levels, shot noise becomes significant: **Poisson statistics for photon count:** $$ \sigma_N = \sqrt{N} $$ **Relative noise:** $$ \frac{\sigma_N}{N} = \frac{1}{\sqrt{N}} $$ **Effects:** - Line edge roughness (LER) from photon statistics - Random defects (missing contacts, bridging) - Requires higher dose (slower throughput) or better resists **LER relationship to dose:** $$ LER \propto \frac{1}{\sqrt{Dose}} $$ ## 9. Current State and Future Directions ### 9.1 High-NA EUV (0.55 NA) Under development by ASML: | Parameter | Current EUV | High-NA EUV | |:----------|:------------|:------------| | NA | 0.33 | 0.55 | | Resolution | ~13 nm HP | ~8 nm HP | | Reduction | 4× isotropic | 4× scan / 8× cross-scan | | Field size | 26 mm × 33 mm | 26 mm × 16.5 mm | **Anamorphic optics:** - 4× reduction in scan direction - 8× reduction perpendicular to scan - Masks become larger (half-field stitching may be needed) **Resolution target:** $$ R = k_1 \frac{13.5 \text{ nm}}{0.55} \approx 8 \text{ nm HP (at } k_1 = 0.33\text{)} $$ ### 9.2 Mask Cost Trends A leading-edge EUV mask set (all layers for one chip design): $$ Cost_{maskset} > \$10\text{–}15 \text{ million} $$ **Implications:** - Limits advanced node access to highest-volume products - Drives interest in mask-less lithography for prototyping - Motivates chiplet/advanced packaging approaches ### 9.3 Curvilinear Masks ILT-optimized masks with freeform curves offer best imaging but: - Dramatically increase mask write time - Require multi-beam mask writers - Challenge inspection and repair infrastructure **Write time scaling:** $$ t_{write} \propto N_{shots} $$ For curvilinear patterns: $$ N_{shots,curvilinear} \gg N_{shots,Manhattan} $$ ## Mask The photomask/reticle is the critical interface between design intent and physical reality in semiconductor manufacturing. Pattern transfer quality depends on: 1. **Mask technology**: Binary, PSM, or reflective (EUV) 2. **RETs**: OPC, SRAF, and source optimization 3. **Exposure system**: Wavelength, NA, and illumination 4. **Process integration**: Resist, etch, and metrology The relentless push to smaller features has transformed masks from simple stencils to sophisticated optical elements requiring atomic-scale precision and costing millions of dollars each—making them one of the most demanding precision manufacturing challenges in human history. ## Equations ### Resolution $$ R = k_1 \frac{\lambda}{NA} $$ ### Depth of Focus $$ DOF = k_2 \frac{\lambda}{NA^2} $$ ### MEEF $$ MEEF = \frac{\partial CD_{wafer}}{\partial (CD_{mask}/M)} $$ ### Bragg Reflection $$ m\lambda = 2d\sin(\theta) $$ ### Shot Noise (LER) $$ LER \propto \frac{1}{\sqrt{Dose}} $$
Predict masked patches.
MLM pretraining masks random tokens, model predicts them. BERT-style. Bidirectional understanding.
Predict masked words given image.
MLM conditioned on images.
BERT-style masked token prediction.
Predict masked image regions.
Predict masked image regions.
Magnet that selects ions of specific mass/charge ratio.
Mass flow controllers regulate gas delivery based on mass flow rate.
Models covering 100+ languages.