⚡ elektrotechniek

Design-Point Transfer With Conformal Calibration for SRAM Reliability Sign-Off Across PVT Conditions

Dit artikel presenteert een design-point transfer methode, verbeterd door conformale kalibratie en gerichte SPICE-correcties, om een betrouwbare en efficiënte SRAM sign-off over PVT-condities te bereiken, waarbij de nauwkeurigheid aanzienlijk wordt verbeterd ten opzichte van traditionele moment-gebaseerde en onbeschermde estimators terwijl de computationele kosten worden verminderd.

Oorspronkelijke auteurs: Nabanita Sarker

Gepubliceerd 2026-10-22

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Nabanita Sarker

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Binnen de miljarden transistors die onze smartphones en computers aandrijven, bevinden zich piepkleine geheugencellen genaamd SRAMs die fungeren als het kortetermijngeheugen van het brein. Deze cellen zijn zo klein dat ze geen perfecte kopieën meer van elkaar zijn; in plaats daarvan zijn ze licht van elkaar verschillend door de willekeurige aard van hoe atomen tijdens het productieproces zijn gerangschikt. Deze minieme variatie betekent dat een cel mogelijk niet in staat is om een stukje data vast te houden als de elektrische omstandigheden veranderen, zoals wanneer het apparaat warm wordt of de batterijspanning daalt. Omdat een enkele chip miljoenen van deze cellen bevat, kan zelfs een minuscule kans op het falen van één cel leiden tot een volledige systeemcrash. Ingenieurs moeten ervoor zorgen dat de waarschijnlijkheid dat een enkele cel faalt extreem laag is, vaak minder dan één op een biljoen, over elke mogelijke combinatie van temperatuur, spanning en fabricagevariatie.

Het controleren van deze uitvalpercentages is een monumentale taak. De standaardmanier om een cel te testen is door miljoenen keren een computersimulatie uit te voeren om te zien hoe vaak deze kapot gaat, maar voor de uiterst zeldzame defecten die er echt toe doen, zou dit langer duren dan de leeftijd van het universum. Om dit op te lossen, gebruiken ingenieurs slimme wiskundige afkortingen om deze zeldzame gebeurtenissen te voorspellen zonder elke simulatie afzonderlijk uit te voeren. Deze afkortingen hebben echter een verborgen gevaar: ze werken vaak goed voor gemiddelde omstandigheden, maar falen spectaculair bij het voorspellen van de uiterste randen van de veiligheid, wat leidt tot chips die op papier goed lijken maar in de echte wereld falen. Een nieuwe studie door Nabanita Sarker aan de Bangladesh University of Engineering and Technology pakt dit probleem aan door een methode te ontwikkelen die niet alleen deze zeldzame defecten nauwkeurig voorspelt, maar ook een statistisch begrensde veiligheidsbuffer biedt voor de voorspellingen.

De onderzoekers richtten zich op twee specifieke soorten geheugencellen: één gemaakt met oudere, planaire technologie en een andere met nieuwere, driedimensionale FinFET-technologie. Ze stelden eerst de absolute waarheid vast door enorme, tijdrovende simulaties uit te voeren op een uitgebreid rooster van condities, variërend van vrieskou tot verzengende hitte en van een lage batterijspanning tot volle kracht. Dit creëerde een "gouden standaard"-dataset waarmee ze verschillende voorspellingsmethoden konden testen. Ze ontdekten dat de meest gebruikelijke afkortingen, die proberen het uitvalpercentage te raden door naar het gemiddelde gedrag van de cellen te kijken, fundamenteel gebrekkig waren. Deze methoden gingen ervan uit dat de defecten een vloeiende, voorspelbare curve volgden, maar de realiteit was veel grilliger en complexer. In sommige gevallen onderschatten deze afkortingen het risico met een factor tien miljard, een verschil dat zo groot is dat het een chip onbruikbaar zou maken.

De kern van de nieuwe aanpak omvat een techniek genaamd "design-point transfer". In plaats van te proberen het volledige complexe gedrag van de cel vanaf nul te modelleren voor elke nieuwe conditie, neemt de methode een bekend punt van falen uit een geteste conditie en verplaatst dit naar de nieuwe, ongeteste conditie. Het is alsof je een kaart van een bekende gevaarlijke klifrand neemt en deze naar een nieuwe locatie schuift om te zien waar het gevaar zich bevindt. Het simpelweg verschuiven van de kaart is echter niet genoeg, omdat de vorm van de klif kan veranderen. De onderzoekers voegden een cruciale stap toe: ze voerden slechts één snelle simulatie uit op de nieuwe locatie om te controleren of de kaart nog steeds accuraat was. Als de kaart er iets naast zat, corrigeerden ze deze onmiddellijk. Deze enkele controle elimineerde de grootste bron van fouten, waardoor een ruwe gok werd omgezet in een uiterst nauwkeurige voorspelling.

Zelfs met deze correctie was er nog steeds een klein risico dat de voorspelling fout zou zijn in een gevaarlijke richting. Om dit op te vangen, introduceerde het team een statistische veiligheidsnet genaamd "conformal calibration". Ze stelden een kleine, willekeurige groep condities apart om te dienen als testgroep. Door de dure, hoog-nauwkeurige simulaties op slechts deze enkele testgevallen uit te voeren, konden ze meten hoeveel hun snelle voorspellingen afwijken van de waarheid. Vervolgens gebruikten ze deze meting om een veiligheidsmarge toe te voegen aan al hun andere voorspellingen. Als een voorspelling te dicht bij de rand van de veiligheid kwam, zou het systeem dit automatisch signaleren en de volledige, dure simulatie uitvoeren om zekerheid te krijgen. Dit proces zorgde ervoor dat de waarschijnlijkheid dat een gevaarlijke chip als veilig wordt geaccepteerd bij een willekeurig gekozen conditie strikt begrensd is, wat een niveau van vertrouwen biedt dat eerdere methoden niet konden leveren. Het is belangrijk op te merken dat deze garantie betrekking heeft op het verwachte deel van de onveilige acceptaties over het rooster, in plaats van een gelijktijdige garantie te bieden dat elke individuele conditie op het rooster veilig is.

Wanneer de onderzoekers deze methode toepasten op een grote geheugenchip met één miljoen cellen, waren de resultaten opmerkelijk. De oude, verkorte methoden zouden de chip veilig hebben verklaard, maar in werkelijkheid zou deze niet aan zijn betrouwbaarheidseisen voldoen, wat potentieel zou resulteren in een product dat niet werkt. De nieuwe methode identificeerde echter correct de veilige operationele grenzen. Het vond dat de chip kon werken op een spanning die iets lager was dan wat de oude methoden suggereerden, wat energie bespaart, terwijl het tegelijkertijd garandeert dat het uitvalpercentage binnen de strikte veiligheidslimieten blijft. Wat de kosten betreft, vereiste de nieuwe methode veel minder computersimulaties dan de brute-force benadering, waardoor het praktisch bruikbaar is voor de echte wereld. De studie concludeert dat door een slimme overdracht van bekende gegevens te combineren met een rigoureuze statistische controle, ingenieurs nu de betrouwbaarheid van geavanceerde computerchips kunnen goedkeuren met een hoge mate van zekerheid, wat ervoor zorgt dat de apparaten waarop we dagelijks vertrouwen correct functioneren, zelfs onder de meest veeleisende omstandigheden.

Technische Samenvatting: Design-Point Transfer met Conformal Kalibratie voor de Betrouwbaarheidssign-off van SRAM

1. Probleemstelling

De opbrengst (yield) van embedded Static Random-Access Memory (SRAM) wordt gedomineerd door zeldzame parametrische defecten van individuele bitcells, waarbij de faalkansen per cel ( $P_f$ ) tussen $10^{-6}$ en $10^{-12}$ moeten liggen. Deze defecten moeten gegarandeerd worden onder alle PVT-condities (Process, Voltage, Temperature). Traditionele Monte Carlo (MC) simulaties zijn computationeel onhaalbaar voor dergelijke zeldzame gebeurtenissen. Hoewel Importance Sampling (IS) nauwkeurige schattingen biedt, is het uitvoeren ervan bij elke PVT-conditie evenredig duur.

Bestaande alternatieven kampen met aanzienlijke beperkingen:

Moment-gebaseerde Surrogaten: Modellen die Gaussische staarten aanpassen aan het gemiddelde en de variantie van de celmarges, falen catastrofaal in de verre staart. Het artikel toont aan dat de fout niet voortkomt uit extrapolatie, maar uit de intrinsieke vorm van de staart van het minimum van twee faallobes, die zwaarder is dan elke Gaussische verdeling met dezelfde momenten (fouten tot 11,9 decaden).
Reliability Index Extrapolatie: Het extrapoleren van de betrouwbaarheidsindex ( $\beta$ ) over PVT is alleen accuraat als de faalrichting stabiel blijft. Voor planaire cellen roteert de faalrichting aanzienlijk over PVT, wat leidt tot onveilige onderschattingen van de faalkans (tot 1,9 decaden).
Gebrek aan Risicokwantificering: Huidige methoden bieden vaak puntinschattingen zonder een statistisch rigoureuze grens aan het risico op onveilige acceptatie (het accepteren van een conditie waar $P_f$ de doelstelling overschrijdt).

De kernuitdaging is het vinden van een methode die goedkoper is dan een volledige grid-IS, veiliger dan moment-gebaseerde surrogaten of onbeschermde extrapolatie, en in staat is om een gestelde risicogrens te bieden voor sign-off beslissingen.

2. Methodologie

Het artikel stelt een workflow voor die Design-Point Transfer, Anchored Correction en Split-Conformal Calibration combineert.

A. Design-Point Transfer

In plaats van de faalkans direct te modelleren, modelleert de methode de parameters van de faallobes over PVT-condities met behulp van Gaussian Processes (GP's) die getraind zijn op een subset van "trainingscondities". Voor elke lobe $j$ voorspelt de GP:

De betrouwbaarheidsindex $\beta_j$ .
De helling van de limit state $s_j$ .
De eenheidsfaalrichting $u_j$ .
De correlatie $\rho$ tussen de lobes.

B. Anchored Correction

Bij een nieuwe, ongeziene PVT-conditie wordt de voorspelde design point $\hat{x}_j = \hat{\beta}_j \hat{u}_j$ geëvalueerd met behulp van een enkele SPICE-run per lobe (twee runs in totaal). Dit maakt een "verankerde" (anchored) correctie van de betrouwbaarheidsindex mogelijk:
$\tilde{\beta}_j = \hat{\beta}_j + \frac{m_j(\hat{x}_j)}{\hat{s}_j}$
Deze correctie verwijdert de eerstordelijke fout van de voorspelling. Er blijft echter een tweedordelijke foutterm over, afhankelijk van de hoek $\theta$ tussen de voorspelde en de ware faalrichting. Als de richting significant roteert (zoals gezien bij planaire cellen), veroorzaakt deze term een onveilige (te optimistische) inschatting.

C. Guarded Transfer en Escalatie

Om de richtingrotatie te beheersen, hanteert de methode een "guard" (bescherming):

Richtingsfout Schatting: Via block cross-validatie op de trainingsbox wordt de 95e percentiel van de richtingsfout ( $\theta_{95}$ ) berekend.
Conservatieve Aanpassing: De betrouwbaarheidsindex wordt verlaagd met een term die proportioneel is aan $\theta_{95}$ om conservatisme te waarborgen.
Escalatie: Indien de residuele fout (afstand van de voorspelde design point naar de werkelijke waarde) een drempelwaarde overschrijdt, wordt de conditie geëscaleerd naar een duurdere "one-step" estimator (die ~39 SPICE-runs vereist) in plaats van te vertrouwen op de transfer.

D. Conformal Calibration

Om een statistische garantie te bieden, gebruikt de methode Split-Conformal Prediction:

Een willekeurige subset van sign-off condities wordt geselecteerd voor kalibratie.
Nauwkeurige IS wordt uitgevoerd op deze kalibratiecondities om de ware faalkans te bepalen.
Het verschil tussen de IS-waarheid en de transfer-inschatting (de "score") wordt gebruikt om een conformal marge te berekenen.
Voor elke nieuwe conditie wordt de transfer-inschatting aangepast met deze marge. Als de aangepaste bovengrens onder de doelstelling $P^*$ ligt, wordt de conditie geaccepteerd; als de ondergrens boven de doelstelling ligt, wordt deze afgewezen; anders wordt deze geëscaleerd naar IS.

Theoretische Garantie: Onder de aanname van uitwisselbaarheid (exchangeability), begrenst deze procedure de kans op een onveilige acceptatie bij een willekeurig geselecteerde conditie (een marginale garantie), in plaats van een simultane garantie over het gehele grid.

3. Belangrijkste Bijdragen

Diagnose van Moment Surrogates: Het artikel bewijst analytisch en empirisch dat moment-gebaseerde surrogaten falen in de verre staart vanwege de vorm van het minimum van twee gecorreleerde lobes, en niet louter door extrapolatiefouten. Zelfs met exacte momenten treden fouten op tot 11,9 decaden.
Faalrichting Rotatie: Het identificeert dat voor planaire foundry cells de faalrichting significant roteert over PVT, wat standaard $\beta$ -ruimte extrapolatie onveilig maakt. Deze rotatie is meetbaar via cross-validatie vóór de simulatie.
Anchored Design-Point Transfer: Het introduceert een methode om design points over PVT te transfereren en te corrigeren met een enkele SPICE-run per lobe, waardoor eerstordelijke fouten worden verwijderd en een kwantificeerbare, eenzijdige tweedordelijke fout overblijft.
Statistisch Gekalibreerde Sign-Off: Het past split-conformal kalibratie toe op de betrouwbaarheidssign-off van circuits, wat een gebonden risico op onveilige acceptatie biedt zonder de noodzaak van structurele aannames (zoals convexiteit) of uitputtende simulatie.
Full-Grid Evaluatie: De methode wordt geëvalueerd tegen de IS-ground truth bij 242 ongeziene condities voor SkyWater 130-nm en ASAP7 7-nm technologieën, inclusief read en write failures, en gevalideerd tegen gewone MC en een tweede onafhankelijke IS-voorstel.

4. Resultaten

De studie werd uitgevoerd op een SkyWater 130-nm bitcell en een ASAP7 7-nm FinFET cell.

Nauwkeurigheid:
- Moment Surrogates: Onveilig met wel 219 mV in minimale operationele spanning ( $V_{min}$ ) en tot 11,9 decaden in $P_f$ .
- $\beta$ -Space Surrogates: Accuraat voor FinFETs (stabiele richting), maar onveilig voor planaire cellen (roterende richting), met fouten tot 1,9 decaden.
- Guarded Transfer: Bereikte een hoge nauwkeurigheid. Voor de planaire cel verminderde het de maximale onveilige fout tot 0,09 decaden (tegenover 1,9 voor de onbeschermde versie).
- Conformal Sign-Off: Geen onveilige beslissingen genomen over 500 willekeurige kalibratie-splits. De $V_{min}$ afgeleid van de conformal upper limit lag binnen -1 mV tot +34 mV van de IS-waarheid.
Kostenefficiëntie:
- De guarded transfer vereist ~2 SPICE-runs per conditie (plus trainingskosten), vergeleken met ~39 voor een one-step estimator, en duizenden voor IS.
- De gekalibreerde sign-off (inclusief kalibratie IS-runs) is 3,1 tot 4,9 keer goedkoper dan het draaien van IS bij elke conditie.
- Het is duurder dan FORM overal, maar biedt superieure veiligheid op planaire cellen waar FORM onveilig kan zijn.
Impact op Macro Opbrengst:
- Voor een 1-Mb macro met een doelstelling van 99,9% yield, resulteerden moment-surrogaten in een mislukt product (0% yield met reparatie).
- FORM-klasse estimators leverden slechts 99,66% op (waardoor de doelstelling werd gemist).
- De conformal sign-off leverde ten minste 99,88% yield, waarbij de doelstelling in bijna alle gevallen werd gehaald.

5. Betekenis en Claims

Het artikel claimt dat de primaire bijdrage een veilige, statistisch gekalibreerde workflow is voor de SRAM sign-off die de kloof overbrugt tussen dure volledige grid-IS en onveilige extrapolatiemethoden.

Veiligheid: Het biedt een rigoureuze, eindige-steekproef garantie op het risico van onveilige acceptatie bij een willekeurig geselecteerde conditie, een kenmerk dat ontbreekt bij standaard surrogaat- of FORM-gebaseerde methoden.
Robuustheid: Het adresseert expliciet het "staartvorm"-probleem van moment-surrogaten en het "richtingrotatie"-probleem van index-extrapolatie, en biedt een correctiemechanisme (anchored run) dat robuust is tegen deze fysieke realiteiten.
Praktische Bruikbaarheid: Door de dure IS-runs te beperken tot een kleine kalibratiesubset en de goedkope transfer te gebruiken voor de rest, biedt het een levensvatbaar pad voor sign-off in geavanceerde nodes waar volledige grid-simulatie onmogelijk is.

De auteur is bescheiden over de reikwijdte van de garantie: het is een marginale garantie (over een willekeurig geselecteerde conditie) in plaats van een simultane garantie over het gehele PVT-grid. Er wordt ook op gewezen dat de methode afhankelijk is van de geldigheid van de IS-betrouwbaarheidsgrenzen en de uitwisselbaarheid van de kalibratieset. De kostenvoordelen ten opzichte van FORM zijn beperkt tot dichte sweeps of meerdere design-varianten, aangezien de transferkosten per conditie vergelijkbaar zijn met geconvergeerde FORM op de bestudeerde grids. Echter, de verbetering in veiligheid op planaire cellen wordt gepresenteerd als de cruciale waarde.