Optical Proximity Correction (OPC): Mathematical Modeling
Keywords: optical proximity correction opc, opc correction, proximity correction, mask opc, lithography proximity correction, opc algorithms
Optical Proximity Correction (OPC): Mathematical Modeling
1. The Physical Problem
When projecting mask patterns onto a silicon wafer using light (typically 193nm DUV or 13.5nm EUV), several phenomena distort the image:
- Diffraction: Light bending around features near or below the wavelength
- Interference: Constructive/destructive wave interactions
- Optical aberrations: Lens imperfections
- Resist effects: Photochemical behavior during exposure and development
- Etch loading: Pattern-density-dependent etch rates
OPC pre-distorts the mask so that after all these effects, the printed pattern matches the design intent.
Key Parameters
| Parameter | Typical Value | Description |
|---|---|---|
| $\lambda$ | 193 nm (DUV), 13.5 nm (EUV) | Exposure wavelength |
| $NA$ | 0.33 - 1.35 | Numerical aperture |
| $k_1$ | 0.25 - 0.40 | Process factor |
| Resolution | $\frac{k_1 \lambda}{NA}$ | Minimum feature size |
2. Hopkins Imaging Model
The foundational mathematical framework for partially coherent lithographic imaging comes from Hopkins' theory (1953).
Aerial Image Intensity
The aerial image intensity at position $\mathbf{r} = (x, y)$ is given by:
Where:
- $M(\mathbf{f})$ — Fourier transform of the mask transmission function
- $M^*(\mathbf{f})$ — Complex conjugate of $M(\mathbf{f})$
- $TCC$ — Transmission Cross Coefficient
- $\mathbf{f} = (f_x, f_y)$ — Spatial frequency coordinates
Transmission Cross Coefficient (TCC)
The TCC encodes the optical system characteristics:
Where:
- $J(\mathbf{f})$ — Source (illumination) intensity distribution (mutual intensity at mask)
- $H(\mathbf{f})$ — Pupil function of the projection lens
- $H^*(\mathbf{f})$ — Complex conjugate of pupil function
Pupil Function
For an ideal circular aperture:
With aberrations included:
Where $W(\mathbf{f})$ is the wavefront aberration function (Zernike polynomial expansion).
3. SOCS Decomposition
Sum of Coherent Systems
To make computation tractable, the TCC (a Hermitian matrix when discretized) is decomposed via eigenvalue decomposition:
Where:
- $\lambda_n$ — Eigenvalues (sorted in descending order)
- $\phi_n(\mathbf{f})$ — Eigenvectors (orthonormal kernels)
Image Computation
This allows the image to be computed as a sum of coherent images:
Or equivalently:
Where each coherent image is:
Practical Considerations
- Eigenvalue decay: $\lambda_n$ decay rapidly; typically only 10–50 terms needed
- Speedup: Converts one $O(N^4)$ partially coherent calculation into $\sim$20 $O(N^2 \log N)$ FFT operations
- Accuracy: Trade-off between number of terms and simulation accuracy
4. OPC Problem Formulation
Forward Problem
Given mask $M(\mathbf{r})$, predict wafer pattern $W(\mathbf{r})$:
Mathematical chain:
1. Optical Model: $I = \mathcal{O}(M)$ — Hopkins/SOCS imaging 2. Resist Model: $R = \mathcal{R}(I)$ — Threshold or convolution model 3. Etch Model: $W = \mathcal{E}(R)$ — Etch bias and loading
Inverse Problem (OPC)
Given target pattern $T(\mathbf{r})$, find mask $M(\mathbf{r})$ such that:
This is fundamentally ill-posed:
- Non-unique: Many masks could produce similar results
- Nonlinear: The imaging equation is quadratic in mask transmission
- Constrained: Mask must be manufacturable
5. Edge Placement Error Minimization
Objective Function
The standard OPC objective minimizes Edge Placement Error (EPE):
Where:
- $x_i^{\text{printed}}$ — Actual edge position after lithography
- $x_i^{\text{target}}$ — Desired edge position from design
- $w_i$ — Weight for edge $i$ (can prioritize critical features)
Constraints
Subject to mask manufacturability:
- Minimum feature size: $\text{CD}_{\text{mask}} \geq \text{CD}_{\min}$
- Minimum spacing: $\text{Space}_{\text{mask}} \geq \text{Space}_{\min}$
- Maximum jog: Limit on edge fragmentation complexity
- MEEF constraint: Mask Error Enhancement Factor within spec
Iterative Edge-Based OPC Algorithm
The classic algorithm moves mask edges iteratively:
Where:
- $\Delta x$ — Edge movement from original position
- $\alpha$ — Damping factor (typically 0.3–0.8)
- $n$ — Iteration number
Convergence criterion:
Gradient Computation
Using the chain rule:
Where $m$ represents mask parameters (edge positions, segment lengths).
At a contour position where $I = I_{th}$:
The image log-slope (ILS) is a key metric:
Higher ILS → better process latitude, lower EPE sensitivity.
6. Resist Modeling
Threshold Model (Simplest)
The resist develops where intensity exceeds threshold:
The printed contour is the $I_{th}$ isoline.
Variable Threshold Resist (VTR)
The threshold varies with local context:
Where:
- $I_{th,0}$ — Base threshold
- $\bar{I}_{\text{local}}$ — Local average intensity (density effect)
- $
abla^2 I$ — Laplacian (curvature effect)
- $\beta_i$ — Fitted coefficients
Compact Phenomenological Models
For OPC speed, empirical models are used instead of physics-based resist simulation:
Where:
- $K_j$ — Convolution kernels (typically Gaussians):
- $g_j(I)$ — Nonlinear functions: $I$, $I^2$, $\log(I)$, $\sqrt{I}$, etc.
- $w_j$ — Fitted weights
- $\otimes$ — Convolution operator
Physical Interpretation
| Kernel Width | Physical Effect |
|---|---|
| Small $\sigma$ | Optical proximity effects |
| Medium $\sigma$ | Acid/base diffusion in resist |
| Large $\sigma$ | Long-range loading effects |
Model Calibration
Parameters are fitted to wafer measurements:
Where:
- $\theta = \{w_j, \sigma_j, \beta_i, \ldots\}$ — Model parameters
- $\lambda \|\theta\|^2$ — Regularization term
- Test structures: Lines, spaces, contacts, line-ends at various pitches/densities
7. Inverse Lithography Technology
Full Optimization Formulation
ILT treats the mask as a continuous optimization variable (pixelated):
Where:
- $W(M)$ — Predicted wafer pattern
- $T$ — Target pattern
- $\mathcal{R}(M)$ — Regularization for manufacturability
- $\lambda$ — Regularization weight
Cost Function Components
Pattern Fidelity Term:
Or in discrete form:
Regularization Terms
Total Variation (promotes piecewise constant, sharp edges):
Curvature Penalty (promotes smooth contours):
Where $\kappa$ is the local curvature of the mask boundary.
Minimum Feature Size (MRC - Mask Rule Check):
Sigmoid Regularization (push mask toward binary):
Level Set Formulation
Represent the mask boundary implicitly via level set function $\phi(\mathbf{r})$:
- Inside chrome: $\phi(\mathbf{r}) < 0$
- Outside chrome: $\phi(\mathbf{r}) > 0$
- Boundary: $\phi(\mathbf{r}) = 0$
Evolution equation:
Where velocity $v$ is derived from the cost function gradient:
Advantages:
- Naturally handles topological changes (features splitting/merging)
- Implicit curvature regularization available
- Well-studied numerical methods
Optimization Algorithms
Since the problem is non-convex, various methods are used:
1. Gradient Descent with Momentum:
2. Conjugate Gradient:
3. Adam Optimizer:
4. Genetic Algorithms (for discrete/combinatorial aspects)
5. Simulated Annealing (for escaping local minima)
8. Source-Mask Optimization
Joint Optimization
SMO optimizes both illumination source $S$ and mask $M$ simultaneously:
Source Parameterization
Pixelated Source:
Each pixel in the pupil plane is a free variable.
Parametric Source:
- Annular: $(R_{\text{inner}}, R_{\text{outer}})$
- Quadrupole: $(R, \theta, \sigma)$
- Freeform: Spline or Zernike coefficients
Alternating Optimization
Algorithm:
Initialize: S⁰, M⁰
for k = 1 to max_iter:
# Step 1: Fix S, optimize M (standard OPC)
M^k = argmin_M L(S^(k-1), M)
# Step 2: Fix M, optimize S
S^k = argmin_S L(S, M^k)
# Check convergence
if |L^k - L^(k-1)| < tolerance:
break
Note: Step 2 is often convex in $S$ when $M$ is fixed (linear in source pixels for intensity-based metrics).
Mathematical Form for Source Optimization
When mask is fixed, the image is linear in source:
Where $I_{ij}$ is the image contribution from source pixel $(i,j)$.
This makes source optimization a quadratic program (convex if cost is convex in $I$).
9. Process Window Optimization
Multi-Condition Optimization
Real manufacturing has variations. Robust OPC optimizes across a process window (PW):
Process Window Dimensions
| Dimension | Typical Range | Effect |
|---|---|---|
| Focus | $\pm 50$ nm | Defocus blur |
| Dose | $\pm 3\%$ | Threshold shift |
| Mask CD | $\pm 2$ nm | Feature size bias |
| Aberrations | Per-lens | Pattern distortion |
Worst-Case (Minimax) Formulation
This is more conservative but ensures robustness.
Soft Constraints via Barrier Functions
Process Window Metrics
Common Process Window (CPW):
Where all specs are simultaneously met.
Exposure Latitude (EL):
Depth of Focus (DOF):
10. Stochastic Effects (EUV)
At EUV wavelengths (13.5 nm), photon counts are low and shot noise becomes significant.
Photon Statistics
Number of photons per pixel follows Poisson distribution:
Where:
- $E$ — Exposure dose (mJ/cm²)
- $A$ — Pixel area
- $\eta$ — Quantum efficiency
- $\frac{hc}{\lambda}$ — Photon energy
Signal-to-Noise Ratio
For reliable imaging, need $\text{SNR} > 5$, requiring $\bar{n} > 25$ photons/pixel.
Line Edge Roughness (LER)
Random edge fluctuations characterized by:
- 3σ LER: $3 \times \text{standard deviation of edge position}$
- Correlation length $\xi$: Spatial extent of roughness
Power Spectral Density:
Where $\alpha$ is the roughness exponent (typically 0.5–1.0).
Stochastic Defect Probability
Probability of a stochastic failure (missing contact, bridging):
For rare events, approximately:
Stochastic-Aware OPC Objective
Monte Carlo Simulation
For stochastic modeling:
1. Sample photon arrival: $n_{ij} \sim \text{Poisson}(\bar{n}_{ij})$ 2. Simulate acid generation: Proportional to absorbed photons 3. Simulate diffusion: Random walk or stochastic PDE 4. Simulate development: Threshold with noise 5. Repeat $N$ times, compute statistics
11. Machine Learning Approaches
Neural Network Forward Models
Train networks to approximate expensive simulations:
Architectures:
- CNN: Convolutional neural networks for local pattern effects
- U-Net: Encoder-decoder for image-to-image translation
- GAN: Generative adversarial networks for realistic image generation
Training:
End-to-End ILT with Deep Learning
Directly predict corrected masks:
Training data: Pairs $(T, M_{\text{optimal}})$ from conventional ILT.
Loss function:
Hybrid Approaches
Combine ML speed with physics accuracy:
1. ML Initialization: $M^{(0)} = G_\theta(T)$ 2. Physics Refinement: Run conventional OPC starting from $M^{(0)}$
Benefits:
- Faster convergence (good starting point)
- Physics ensures accuracy
- ML handles global pattern context
Neural Network Architectures for OPC
| Architecture | Use Case | Advantages |
|---|---|---|
| CNN | Local correction prediction | Fast inference |
| U-Net | Full mask prediction | Multi-scale features |
| GAN | Realistic mask generation | Sharp boundaries |
| Transformer | Global context | Long-range dependencies |
| Physics-Informed NN | Constrained prediction | Respects physics |
12. Computational Complexity
Scale of Full-Chip OPC
- Features per chip: $10^9 - 10^{10}$
- Evaluation points: $\sim 10^{12}$ (multiple points per feature)
- Iterations: 10–50 per feature
- Optical simulations: $O(N \log N)$ per FFT
Complexity Analysis
Single feature OPC:
Full chip:
Result: Hours to days on large compute clusters.
Acceleration Strategies
Hierarchical Processing:
- Identify repeated cells (memory arrays, standard cells)
- Compute OPC once, reuse for identical instances
- Speedup: $10\times - 100\times$ for regular designs
GPU Parallelization:
- FFTs parallelize well on GPUs
- Convolutions map to tensor operations
- Multiple features processed simultaneously
- Speedup: $10\times - 50\times$
Approximate Models:
- Kernel-based: Pre-compute influence functions
- Variable resolution: Fine grid only near edges
- Neural surrogates: Replace simulation with inference
Domain Decomposition:
- Divide chip into tiles
- Process tiles in parallel
- Handle tile boundaries with overlap or iteration
13. Mathematical Toolkit Summary
| Domain | Techniques |
|---|---|
| Optics | Fourier transforms, Hopkins theory, SOCS decomposition, Abbe imaging |
| Optimization | Gradient descent, conjugate gradient, level sets, genetic algorithms, simulated annealing |
| Linear Algebra | Eigendecomposition (TCC), sparse matrices, SVD, matrix factorization |
| PDEs | Diffusion equations (resist), level set evolution, Hamilton-Jacobi |
| Statistics | Poisson processes, Monte Carlo, stochastic simulation, Bayesian inference |
| Machine Learning | CNNs, GANs, U-Net, transformers, physics-informed neural networks |
| Computational Geometry | Polygon operations, fragmentation, contour extraction, Boolean operations |
| Numerical Methods | FFT, finite differences, quadrature, interpolation |
Equations Quick Reference
Hopkins Imaging
SOCS Image
EPE Minimization
ILT Cost Function
Level Set Evolution
Poisson Photon Statistics
Source: ChipFoundryServices — Search this topic — Ask CFSGPT
Related Topics
Explore 500+ Semiconductor & AI Topics
From EUV lithography to CUDA optimization — search the full knowledge base or chat with our AI assistant.