기술 요약: SRAM 신뢰성 검증을 위한 설계점 전이 및 컨포멀 캘리브레이션(Conformal Calibration)

1. 문제 정의

임베디드 정적 랜덤 액세스 메모리(SRAM)의 수율은 개별 비트셀의 희귀한 파라미터 고장에 의해 결정되며, 이를 위해 각 셀의 고장 확률($P_f$)은 $10^{-6}$에서 $10^{-12}$ 사이의 매우 낮은 수준을 유지해야 합니다. 이러한 고장은 모든 공정, 전압, 온도(PVT) 조건에서 보장되어야 합니다. 전통적인 몬테카를로(Monte Carlo, MC) 시뮬레이션은 이러한 희귀 사건을 다루기에 계산적으로 불가능합니다. 중요도 샘플링(Importance Sampling, IS)이 정확한 추정치를 제공하기는 하지만, 모든 PVT 조건마다 이를 실행하는 것은 비용이 너무 많이 듭니다.

기존의 대안들은 다음과 같은 심각한 한계에 직면해 있습니다:

• 모멘트 기반 대리 모델(Moment-based Surrogates): 평균과 분산을 사용하여 가우시안 꼬리(Gaussian tails)를 맞추는 모델은 극단적인 꼬리 영역에서 처참하게 실패합니다. 본 논문은 이 오류가 단순한 외삽(extrapolation)의 문제가 아니라, 두 개의 고장 로브(failure lobes)의 최솟값이 가지는 고유한 꼬리 형태 때문임을 입증합니다. 이 형태는 동일한 모멘트를 가진 그 어떤 가우시안보다 더 무거운 꼬리(heavy tail)를 가집니다(오차가 최대 11.9 decades에 달함).
• 신뢰도 지수 외삽(Reliability Index Extrapolation): 신뢰도 지수($\beta$)를 PVT 전반에 걸쳐 외삽하는 방식은 고장 방향이 안정적일 때만 정확합니다. 평면형(planar) 셀의 경우, PVT 변화에 따라 고장 방향이 크게 회전하며, 이는 고장 확률을 안전하지 않게 과소평가(최대 1.9 decades 오차)하는 결과를 초래합니다.
• 리스크 정량화 부족: 현재의 방법들은 통계적으로 엄격한 '안전 수락 위험(unsafe acceptance)'에 대한 경계값 없이 점 추정치만을 제공하는 경우가 많습니다(즉, $P_f$가 목표치를 초과하는 조건을 수락하는 위험).

핵심 과제는 전체 그리드 IS보다 저렴하면서도, 모멘트 기반 대리 모델이나 보호 장치가 없는 외삽법보다 안전하며, 의사 결정(sign-off)을 위해 명시된 리스크 경계값을 제공할 수 있는 방법을 찾는 것입니다.

2. 방법론

본 논문은 설계점 전이(Design-Point Transfer), 앵커드 보정(Anchored Correction), 그리고 **분할 컨포멀 캘리브레이션(Split-Conformal Calibration)**을 결합한 워크플로우를 제안합니다.

A. 설계점 전이 (Design-Point Transfer)

이 방법은 고장 확률을 직접 모델링하는 대신, 학습된 일부 "훈련" 조건들을 사용하여 PVT 조건 전반에 걸친 고장 로브의 파라미터를 가우시안 프로세스(GP)로 모델링합니다. 각 로브 $j$에 대해 GP는 다음을 예측합니다:

• 신뢰도 지수 $\beta_j$.
• 한계 상태(limit state)의 기울기 $s_j$.
• 단위 고장 방향 $u_j$.
• 로브 간의 상관관계 $\rho$.

B. 앵커드 보정 (Anchored Correction)

새로운 미지의 PVT 조건에서, 예측된 설계점 $\hat{x}_j = \hat{\beta}_j \hat{u}_j$는 로브당 단 한 번의 SPICE 실행(총 2회 실행)을 통해 평가됩니다. 이를 통해 신뢰도 지수의 "앵커드" 보정이 가능합니다:
$$\tilde{\beta}_j = \hat{\beta}_j + \frac{m_j(\hat{x}_j)}{\hat{s}_j}$$
이 보정은 예측의 1차 오차(first-order error)를 제거합니다. 그러나 예측된 방향과 실제 방향 사이의 각도 $\theta$에 의존하는 2차 오차 항이 여전히 남습니다. 방향이 크게 회전하는 경우(평면형 셀에서 관찰됨), 이 항은 추정치를 안전하지 않게(지나치게 낙관적으로) 만들 수 있습니다.

C. 가드된 전이 및 에스컬레이션 (Guarded Transfer and Escalation)

방향 회전을 처리하기 위해 "가드(guard)"를 사용합니다:

1. 방향 오차 추정: 훈련 박스 내의 블록 교차 검증을 사용하여 방향 오차의 95 백분위수($\theta_{95}$)를 계산합니다.
2. 보수적 조정: $\theta_{95}$에 비례하는 항을 사용하여 신뢰도 지수를 감소시킴으로써 보수성을 확보합니다.
3. 에스컬레이션: 만약 잔차(예측된 설계점으로부터의 거리)가 임계값을 초과하면, 전이 모델에 의존하는 대신 더 비싼 "원스텝(one-step)" 추정기(약 39회의 SPICE 실행 필요)로 해당 조건을 격상(escalate)시킵니다.

D. 컨포멀 캘리브레이션 (Conformal Calibration)

통계적 보장을 제공하기 위해 **분할 컨포멀 예측(Split-Conformal Prediction)**을 사용합니다:

1. 캘리브레이션을 위해 무작위로 선택된 서명(sign-off) 조건 세트가 선정됩니다.
2. 이 캘리브레이션 조건들에 대해 고정밀 IS를 실행하여 실제 고장 확률을 결정합니다.
3. IS 참값과 전이 추정치 사이의 차이("스코어")를 사용하여 컨포멀 마진(conformal margin)을 계산합니다.
4. 새로운 조건에 대해, 전이 추정치는 이 마진에 의해 조정됩니다. 조정된 상한선이 목표 $P^*$보다 낮으면 수락하고, 하한선이 목표보다 높으면 거부하며, 그렇지 않은 경우 IS로 격상합니다.

이론적 보장: 교환 가능성(exchangeability) 가정하에, 이 절차는 전체 그리드에 대한 동시적 보장이 아닌, 무작위로 선택된 조건에 대한 고장 확률의 위험 경계를 제한합니다(marginal guarantee).

3. 주요 기여

1. 모멘트 대리 모델의 진단: 본 논문은 두 개의 상관된 로브가 만드는 최소값의 꼬리 형태 때문에 모멘트 기반 대리 모델이 왜 극단적인 꼬리에서 실패하는지를 분석적 및 경험적으로 증명합니다. 정확한 모멘트를 사용하더라도 오차가 11.9 decades에 달할 수 있음을 보여줍니다.
2. 고장 방향 회전: 평면형 파운드리 셀의 경우 PVT에 따라 고장 방향이 크게 회전하며, 이로 인해 표준 $\beta$-공간 외삽이 안전하지 않을 수 있음을 확인했습니다. 이 회전은 시뮬레이션 전 교차 검증을 통해 측정 가능합니다.
3. 앵커드 설계점 전이: 설계점을 PVT 전반으로 전이하고 각 로브당 단 한 번의 SPICE 실행으로 이를 보정하여, 1차 오차를 제거하고 정량화 가능한 일방향 2차 오차만을 남기는 방법을 도입했습니다.
4. 통계적으로 캘리브레이션된 서명(Sign-off): 구조적 가정(예: 볼록성) 없이도 신뢰할 수 있는 서명을 위해 분할 컨포멀 캘리브레이션을 적용하여, 안전한 수락에 대한 리스크 경계를 제공합니다.
5. 전체 그리드 평가: SkyWater 130-nm 및 ASAP7 7-nm 기술의 Read/Write 고장에 대해 242개의 미학습 조건에서 IS 참값, 일반 MC, 그리고 독립적인 두 번째 IS 제안 모델과 비교하여 검증되었습니다.

4. 결과

연구는 SkyWater 130-nm 비트셀과 ASAP7 7-nm FinFET 셀을 대상으로 수행되었습니다.

• 정확도:

  • 모멘트 대리 모델: 최소 동작 전압($V_{min}$)에서 최대 219 mV, 고장 확률($P_f$)에서 최대 11.9 decades만큼 안전하지 않았습니다.
  • $\beta$-공간 대리 모델: FinFET에서는 정확했으나(안정적인 방향), 평면형 셀에서는 방향 회전으로 인해 최대 1.9 decades의 오차를 보이며 안전하지 않았습니다.
  • 가드된 전이(Guarded Transfer): 높은 정확도를 달성했습니다. 평면형 셀의 경우, 최대 안전 오차를 1.9 decades에서 0.09 decades로 줄였습니다.
  • 컨포멀 서명: 500개의 무작위 캘리브레이션 분할 실험 동안 단 하나의 안전하지 않은 결정도 발생하지 않았습니다. 컨포멀 상한선에 의한 $V_{min}$은 IS 참값 대비 -1 mV에서 +34 mV 범위 내에 있었습니다.

• 비용 효율성:

  • 가드된 전이는 조건당 약 2회의 SPICE 실행(훈련 비용 제외)이 필요하며, 이는 원스텝 추정기의 약 39회나 IS의 수천 회 실행에 비해 훨씬 저렴합니다.
  • 캘리브레이션(캘리브레이션 IS 실행 포함)을 포함한 전체 과정은 모든 조건에 IS를 실행하는 것보다 3.1배에서 4.9배 더 저렴합니다.
  • FORM보다는 비싸지만, FORM이 안전하지 않을 수 있는 평면형 셀에서 우수한 안전성을 제공합니다.

• 매크로 수율 영향:

  • 99.9% 수율을 목표로 하는 1-Mb 매크로에 대해, 모멘트 대리 모델은 (수리 기능을 포함하더라도) 수율 0%인 실패한 제품을 도출했습니다.
  • FORM 클래스 추정기는 99.66%까지 낮은 수율을 기록하여 목표를 달miss했습니다.
  • 컨포멀 서명은 캘리브레이션 드로우 중 아주 적은 빈도를 제외하고 모두 목표를 충족하는 99.88% 이상의 수율을 전달했습니다.

5. 의의 및 주장

본 논문은 자신의 주요 기여가 고가의 전체 그리드 IS와 안전하지 않은 외삽법 사이의 간극을 메우는 안전하고 통계적으로 캘리브레이션된 워크플로우라고 주장합니다.

• 안전성: 구조적 가정 없이도 무작위로 선택된 조건에서의 안전하지 않은 수락 리스크에 대한 엄격하고 유한한 표본 보장을 제공합니다. 이는 기존의 대리 모델이나 FORM 기반 방법에는 없는 기능입니다.
• 강건성: 모멘트 대리 모델의 "꼬리 형태" 문제와 지수 외삽의 "방향 회전" 문제를 명시적으로 해결하며, 이러한 물리적 실체에 강건한 보정 메커니즘(앵커드 런)을 제공합니다.
• 실용성: 캘리브레이션용 소규모 IS 실행과 나머지 조건에 대한 저렴한 전이를 결합함으로써, 전체 그리드 시뮬레이션이 불가능한 첨단 공정에서의 실질적인 서명 경로를 제시합니다.

저자는 이 방법의 보장 범위가 전체 PVT 그리드에 대한 동시적 보장이 아닌, **한계적 보장(marginal guarantee)**이라는 점을 겸허히 밝힙니다. 또한, 이 방법이 캘리브레이션 세트의 교환 가능성(exchangeability)과 IS 신뢰 구간의 유효성에 의존한다는 점을 언급합니다. FORM과의 비용 차이는 밀집된 스윕(sweep)이나 여러 설계 변형을 다룰 때 제한적일 수 있으나, 평면형 셀에서의 안전성 개선이 핵심적인 가치 제안으로 제시됩니다.