CMOS Inverter: Analog Curve to Digital Gate
Explain VM, gain, VIL, VIH, NML, NMH, and why a DC curve cannot prove timing.
- syllabus
- notes
- simulation
- worksheet
- exam-style check
- evidence limits
STRUCTURED LEARNING
Each path moves from a physical idea to an observable, a reproduced experiment, and the evidence behind the number.
THIRTY-NINE CONNECTED TRACKS
Seven technology topics across mechanism, integration, measurement, reliability, and product-readiness evidence, with held sources, open contradictions, and owned replacement slots kept visible
Inspect evidence maturity ->00DMFEATURED PATHGeometry and effective width, total versus normalized Ioff, gm/Id operating conditions, synthetic TLM, contact drop, train/holdout residuals, corner versus Monte Carlo, and SPICE evidence layers
Lock the device contract ->00UQFEATURED PATHLER/LWR bandwidth, PSD and correlation, aperture filtering, sampling uncertainty, hierarchical variation, plasma-etch UQ, Gauge R&R, and hybrid-bonding metrology
Separate uncertainty ->01FEATURED PATHCarriers, bands, transport, junctions, and MOS electrostatics
Follow device path ->02NEW DEVICE PATHPlanar MOSFET, FinFET, GAAFET, and CFET contextual comparison, CFET contact parasitics, GaN/SiC HEMT chain, dynamic Ron recovery, TCAD DOE/surrogate guardrails, variability, and PPA
Compare architecture ->02BV82 DEVICE PATHStacked n/p devices, MOL contacts, vias, local interconnect, thermal coupling, delay, energy, and integration risk
Map CFET parasitics ->02CV83 POWER DEVICESemi-insulating SiC, GaN buffer traps, HEMT mode, thermal path, dynamic Ron, and reliability evidence
Trace GaN/SiC ->02DV88 POWER DEVICEStress class, drain bias, recovery window, temperature, current collapse, measurement caution, and evidence gate
Read dynamic Ron ->02EV90 TCAD DOEDOE plans, response surfaces, Gaussian-process uncertainty, extrapolation guards, mesh convergence, calibration anchors, and owner review
Guard optimizer evidence ->02FV91 DEVICE COMPARISONElectrostatic control, footprint, contacts, capacitance, variability, thermal coupling, integration risk, evidence maturity, and circuit handoff
Compare with context ->02GV99 PHOTONICSPhoton energy, bounded LED/laser logic, ideal detector responsivity, all-pass ring transfer, MZI phase modulation, and replacement evidence
Follow the photon ->02HV100 RFComplex two-port data, reference impedance, passive fixtures, correction assumptions, fT/fmax, RF noise, stability/passivity screens, and replacement evidence
Move the reference plane ->02IV101 CFET DTCOTransport and contact hypotheses, local RC, extraction and compact-model maturity, circuit delay/energy/area proxies, contradictions, and owned replacement evidence
Carry the contact ->02JV102 SNSPDGeometry, normalized current distribution, edge and constriction evidence, photon or dark context, mechanism ambiguity, timing and radiometry lineage, uncertainty, and replacement gates
Separate event evidence ->02KV103 M3D SRAMTier assignment, oxide access transport, contacts, inter-tier links, WL/BL loading, thermal budget, extraction maturity, cell/subarray sensitivities, contradictions, and replacement gates
Trace tier to subarray ->02LV104 NDR EVIDENCESigned I-V, consecutive negative slope, rectification, peak/valley prominence, contact burden, sweep history, mechanism ambiguity, and replacement evidence
Test the NDR claim ->02MV105 SENSOR CALIBRATIONNormalized response, series-junction scaling, reference-junction correction, drift, mechanical hysteresis, cross-sensitivity, uncertainty, traceability, and replacement evidence
Trace signal to evidence ->02NV106 PROCESS TOPOGRAPHYParticle transport, surface interaction, reflection, secondary transport, exact conservation, evolving RIE/PVD profiles, role views, and replacement evidence
Follow transport to profile ->02OV107 PLASMA EQUIPMENTSource coupling, substrate bias, pressure, gas response, wall loss, matching, sheath, charged and neutral delivery, IEDF/IADF breadth, radial state, role gates, feature bridge, and replacement evidence
Separate chamber state ->02PV108 VACUUM EQUIPMENTFlow-model regime, gas admission, wall release, chamber and foreline inventory, conductance-limited pumping, settling, distribution, exact ledgers, role gates, and the bounded plasma handoff
Balance source and removal ->02QV109 RIE MECHANISMSurface family, ion drive, neutral reactivity, passivation, directionality, mask resilience, feature access, six mechanism regimes, exact ledgers, role gates, and bounded profile handoff
Separate the mechanism ->02RV110 INTEGRATIONVariation families, device characterization, circuit margin, reliability and yield context, genealogy, role review, exact ledgers, upstream packet postures, and a human-reviewed public-atlas gate
Trace the evidence chain ->02SV111 ETCH ATLASHAR transport, ALE cycles, selective etch, DRIE passivation, strip and ash residue, wet-etch mass transfer, role gates, exact ledgers, and owned replacement evidence
Compare etch families ->02TV127 VARIABILITYLER versus LWR, edge cross-correlation, correlation length, extraction bandwidth, local-CD aperture, and a bounded device-to-SRAM variability bridge
Separate edge from width ->02UV128 SRAM VARIATIONCondition, lot, wafer, site, replicate, missingness, common-set coverage, variance-component closure, sigma uncertainty, and fixed-condition boundaries
Separate spread from coverage ->02VV129 SPICE EVIDENCEKeep solver, numerical, model, metric, and signoff states independent while comparing timestep, tolerances, initial conditions, saved signals, and measurement definitions
Audit a converged result ->03LEARNING TRACKCMOS logic, gain, delay, noise margin, and dynamic feedback
Follow circuit path ->04NEW ANALOG PATHCurrent mirror compliance, sense regeneration, headroom, offset, and decision margin
Bias the primitive ->05LEARNING TRACKControllers, protocols, BIST, ECC, and architecture trade-offs
Trace verified RTL ->06NEW TIMING PATHFO4 delay, VDD, temperature, energy, leakage, and STA slack vocabulary
Time the primitive ->07EXPANDED PATHSRAM, DRAM/HBM, retention, refresh/ECC guardbands, RowHammer, NAND, 3D NAND, PCM, ReRAM, FeFET, CIM, cache, and test
Follow memory path ->08NEW MEMORY PATHDRAM 1T1C, retention, RowHammer, HBM roofline, NAND, FeFET, MRAM, hierarchy, and CIM
Expand memory ->08BV81 MEMORY SYSTEMDRAM stack, base die, TSV, interposer, PHY, controller, thermal, bandwidth, capacity, and yield tradeoffs
Partition the stack ->09NEW PATHSurface prep, thermal budget, PVD, etch UQ, feedforward control, APC/FDC decision gates, DRC/LVS, floorplan, PDN/IR, CTS, layout RC, extraction, and timing
Follow physical path ->10NEW SURFACE PATHO2 plasma, O3 ozone, contact angle, residue, recovery, and adhesion prep
Prepare the interface ->11NEW ANNEAL PATHAnnealing, RTA, activation, diffusion, TED, and silicide contacts
Follow the heat budget ->12NEW CLEAN PATHContamination removal, native oxide, HMDS, queue time, and evidence needs
Clean the surface ->13NEW PTR PATHPackage parasitics, thermal stack, wafer sort, guardband, stress, and FA vocabulary
Finish the chip story ->14NEW EQP PATHCleanroom particles, vacuum, tool availability, utilities, and EHS boundaries
Bound the fab support ->15V78 PROCESS CONTROLWafer-aware etch uncertainty, lithography-to-etch control, changing variance, and optimizer caution
Study etch UQ ->16V79 EDA RCDRC/LVS/PEX/timing checkpoints, standard-cell reports, CTS/routing/IR handoff, model-to-measurement evidence, floorplan congestion, IR-drop, clock spine, layout RC, slew, slack, confidence, and signoff boundaries
Trace RC delay ->16BV84 EDA FLOORPLANUtilization, macro channels, PDN/IR, CTS, routing overflow, timing-risk, and next evidence checks
Read reports ->16CV92 EDA HANDOFFClock latency/skew, route overflow/completion, extracted RC, static/transient droop, current density, evidence stage, owner view, and replacement slots
Align the reports ->16DV93 OPEN SILICONModel assumptions, cell characterization, implementation reports, test structures, measurement availability, discrepancy, uncertainty, and claim maturity
Trace the evidence ->16EV94 GAUGE R&RCrossed/nested study design, representative part range, repeatability, operator/tool/interaction reproducibility, bias, linearity, stability, resolution, uncertainty, discrimination, and next evidence checks
Review the measurement system ->17V65 DAILY SIGNALSwitch probability, write energy, read margin, retention, and disturb risk
Open MRAM triangle ->18V65 DAILY SIGNALRoughness, stiffness spread, particle state, metrology sigma, and readiness bands
Check readiness ->19V80 VMET PATHSmall-data virtual metrology, APC/FDC decision gates, uncertainty, adaptive sampling, Cpk proxy, escape risk, and evidence gates
Trust the measurement ->19BV89 PROCESS CONTROLEquipment-data context, FDC state, VM uncertainty, dynamic sampling, feedforward handoff, false-alarm risk, and owner review
Gate APC evidence ->DEVICE PATH 01 / 25-35 MIN
Start with charge and potential inside silicon. Then use a gate to control surface charge, and finally connect complementary devices into the smallest restoring logic gate.
Join p-type and n-type silicon and mobile carriers diffuse away from the interface. The uncovered dopants create the field that opposes further diffusion.
Forward bias lowers the junction barrier while reverse bias widens depletion. The solved potential and carrier profiles expose the mechanism behind rectification.
A metal gate and thin oxide reshape the silicon surface from hole accumulation through depletion to electron inversion. The gate-charge derivative turns that electrostatics into a C-V curve.
Positive gate bias attracts electrons toward the oxide interface. Follow the surface concentration as the channel connects source and drain.
The NMOS pull-down and PMOS pull-up exchange control around the switching point. Device current becomes a rail-to-rail voltage transfer characteristic.
CFET density is attractive only when contact resistance, local interconnect capacitance, via alignment, thermal coupling, and integration risk are kept beside the circuit-context delay proxy.
Semi-insulating SiC can help RF and thermal paths, but the useful claim still needs buffer-trap, dynamic Ron, gate-stack, package thermal, and mission-profile evidence.
The v88 replay keeps stress class, drain-bias class, recovery window, temperature, switching context, current collapse, measurement caution, and evidence maturity beside the dynamic-Ron ratio.
The v90 replay keeps device context, design lever, DOE plan, surrogate family, objective priority, validation posture, mesh stability, calibration anchor, extrapolation risk, and constraint review beside the pareto-readiness score.
The v91 replay keeps planar MOSFET, FinFET, GAAFET, and CFET context beside electrostatic control, footprint, contact and capacitance burden, variability, thermal coupling, integration risk, evidence maturity, and circuit handoff.
The v99 replay links photon energy, LED and laser boundaries, ideal detector responsivity, ring transfer, and MZI phase while keeping material absorption, gain, dispersion, mode convergence, coupling calibration, carrier response, and optical measurement visibly unfilled.
The v100 replay compares raw, lossless port-extension, symmetric split-fixture proxy, and exact declared-fixture inversion across complex two-port data while keeping calibration, residual error, passivity, stability, noise, causality, uncertainty, and RF signoff separate.
The v101 replay carries declared n/p transport and contact hypotheses through local RC, extraction maturity, compact-model scope, inverter/ring/logic loading, contradiction gates, and owned replacement evidence without ranking a material, architecture, node, or foundry.
The v102 replay carries declared geometry and normalized current distribution through edge or constriction evidence, illuminated and dark contexts, competing mechanism labels, timing and radiometry lineage, uncertainty, contradiction gates, and owned replacement evidence without recommending a detector or operating point.
The v103 replay carries declared device tiers and oxide-semiconductor access transport through contacts, inter-tier links, WL/BL loading, thermal budget, extraction maturity, cell/subarray sensitivities, contradiction gates, and owned replacement evidence without copying a topology or naming an architecture winner.
The v104 replay separates signed-bias rectification, consecutive negative slope, peak/valley prominence, overlap-window broadening, series/contact burden, matched forward/reverse history, trap-memory contradiction, mechanism ambiguity, and owned replacement evidence.
The v105 replay separates normalized thermoelectric response, series-junction scaling, reference-junction correction, drift, mechanical hysteresis, cross-sensitivity, calibration residual, uncertainty, traceability lineage, contradiction review, and owned replacement evidence.
THE CONNECTING IDEA
Each arrow is represented by a solved or reproduced artifact. The path changes model fidelity deliberately: drift-diffusion for device electrostatics, then a foundry compact model for circuit behavior.
MEMORY PATH 01 / 25-35 MIN
Follow memory from SRAM read/write behavior and column mux/I/O into DRAM/HBM locality, 1T1C sensing, retention, refresh/ECC guardbands, RowHammer, NAND, 3D NAND, PCM drift, ReRAM variability, FeFET, MRAM switching/read/retention, hierarchy placement, CIM crossbar tradeoffs, and the synchronous controller contract that exposes memory to a digital system.
A read begins with both bitlines high. The wordline connects the cell, the stored-zero side develops a small differential, and sensing must wait until that difference is usable.
A lumped 100 fF bitline converts read current into differential voltage. Sense-enable is safe only after the selected threshold is reached.
The selected local bitline pair passes through a finite column mux into shared sense and output circuitry. Mux ratio, shared load, and write-path off-state loading change the delivered differential and timing.
The same access device that exposes the stored state also loads the internal zero node. Overlay the two inverter curves and fit the limiting square to quantify the remaining static margin.
A deeper SRAM note must not flatten everything into a single margin. Sense-amplifier decision margin, column mux/I/O, read-disturb sizing, assist taxonomy, and AMAT cache behavior each carry different assumptions and non-claims.
Memory School now adds DRAM/HBM row-buffer behavior, HBM/base-die partitioning, 1T1C charge sharing, retention, refresh/ECC guardbands, RowHammer, NAND threshold margin, 3D NAND Vt/ECC, PCM drift, ReRAM variability, FeFET hysteresis, HBM roofline, HBM/base-die partitioning, hierarchy placement, MRAM switching/read/retention, and CIM vocabulary.
The v81 HBM map compares host controller, controller-in-base, controller/PHY/RAS-in-base, and custom die-to-die wrapper choices against TSV, interposer, thermal, bandwidth, capacity, integration, and yield-risk proxies.
The v85 replay keeps temperature, weak-tail cells, access activation pressure, refresh policy, ECC/scrub coverage, residual risk, thermal stress, and next evidence check in one public-safe table.
The v86 replay compares SRAM, DRAM, HBM, NAND, MRAM, FeFET, ReRAM, PCM, SCM, embedded NVM, eDRAM, and CIM using latency, density, endurance, retention, energy, margin, integration, thermal, and evidence-maturity proxies.
The MRAM triangle keeps switch probability, write energy, read margin, retention proxy, and disturb risk in one table so one metric cannot dominate the lesson.
A write drives the internal node through access devices while the cell fights to retain its previous state. Lowering cell VDD during the pulse can move the minimum successful wordline.
Requests are accepted only at a defined edge. The controller sequences address, write data, and a one-cycle response while a self-checking testbench verifies every accepted transaction.
THE DESIGN TENSION
The SKY130 read sweep makes load-dependent sensing delay visible, the write shmoo exposes a dynamic write-success boundary, and the generic SNM model isolates static stability. These are educational pre-layout results; the controller evidence proves protocol behavior, not analog timing.
DRAM PATH 01 / 15-20 MIN
Leave the static SRAM latch and follow a dynamic bit instead. The path connects capacitor charge, leakage, a sensing threshold, and the system-level need for periodic refresh.
The baseline begins at 1.2 V on a 30 fF storage node. With the access path closed, leakage is the only modeled discharge path.
Retention time is measured when the node crosses 0.6 V. Three leakage resistances isolate how a shorter RC time constant reduces that deadline.
A safe controller schedules refresh with margin below the measured boundary. Moving the marker past 100% makes the stored state explicitly unsafe.
THE DYNAMIC MEMORY RULE
The executed baseline isolates RC decay. It does not model a production DRAM cell, access transistor, distributed bitline, sense amplifier, process variation, or a calibrated temperature law.
PROCESS & LAYOUT PATH 01 / 25-35 MIN
Follow process evidence from PVD and etch uncertainty into virtual metrology, surface prep, thermal budget, contact resistance chains, cleaning, and public-safe physical-verification literacy. Every stage keeps the artifact and boundary visible.
The v111 atlas keeps HAR, ALE, selective etch, DRIE, strip and ash, and wet etch distinct while aligning profile, selectivity, transport, mask, residue, surface, metrology, role, and replacement-evidence questions.
The v109 replay separates ion access, neutral reactivity, passivation, chemical and physical removal, synergy, mask burden, transport, damage, profile control, six regimes, role gates, and the restricted feature-profile bridge.
The v108 replay separates gas admission, wall release, chamber and foreline inventory, conductance, nominal and effective pumping, settling, distribution, role gates, and the restricted CCP/ICP bridge.
The v107 replay separates bounded CCP/ICP architecture, normalized drive, pressure, bias, gas response, wall loss, matching, bulk support, sheath, charged and neutral delivery, energy-angle breadth, radial state, role gates, and the restricted feature-scale bridge.
The v106 replay connects normalized source direction, species mix, surface interaction, reflection, secondary transport, exact conservation, and 16 saved geometry states for directional RIE and sputter trench deposition.
PVD and sputter films can look healthy on open areas while high-aspect-ratio features lose bottom and sidewall continuity. The useful evidence separates blanket thickness, bottom coverage, sidewall coverage, and overhang risk.
Plasma etch learning should not expose a recipe. It should show anisotropy, selectivity, CD bias, wafer location, and pass-probability proxy as separate evidence claims.
The v78 replay links post-lithography CD/overlay, resist/focus state, feedforward action, post-etch CD, Cpk proxy, and inverter-delay proxy without exposing recipes.
Virtual metrology can reduce physical sampling only when data age, sensor health, sample fraction, model family, uncertainty, guardband, escape risk, and the next physical measurement remain visible.
The v89 replay keeps signal quality, FDC state, VM uncertainty, sampling coverage, feedforward handoff, false-alarm risk, wafer-at-risk proxy, and role review beside the decision-readiness score.
O2 plasma and O3 / UV-ozone can remove organics and raise wettability before deposition, bonding, or adhesion work. The useful claim keeps contact angle, recovery, oxide caution, and material compatibility visible.
Annealing can electrically activate dopants and repair implant damage, but it can also broaden junctions, feed TED tails, and change contact reactions. The useful claim keeps thermal budget, activation, diffusion, and metrology visible.
The v72 browser chain links surface/contact preparation, silicide anneal, contact area, activation proxy, Rc/Rsd proxy, ring oscillator delay proxy, and SRAM bitline delay proxy in one replaceable table.
Wet clean, native oxide control, and HMDS adhesion prep should name organics, particles, metals, oxide state, hydrophobicity, queue time, and downstream intent separately.
Load the official SKY130 inverter GDS with the pinned technology rules. DRC checks widths, spaces, enclosures, and other manufacturability constraints before connectivity is trusted.
Extraction converts polygons into devices and nets. Netgen then compares that result with the official source circuit, including pins, device counts, and topology.
The extracted circuit retains the two intended MOS devices and adds coupling capacitances created by the layout. Those parasitics are the bridge from geometry to electrical consequence.
Wire length, layer class, route style, fanout load, and checkpoint stage change RC, delay, slew, and slack-risk proxies. The public replay teaches the evidence order without publishing SPEF, Liberty, SDC, PDK, or tool reports.
The v84 replay links utilization, macro channels, PDN obstruction, routing congestion, IR-drop, clock sink spread, skew, insertion delay, and timing-risk proxies to the next safe evidence check.
The v87 replay links standard-cell archetype, drive strength, input slew, output load, report stage, optimization goal, pin capacitance, setup/hold slack, max-cap/slew risk, and area/power pressure.
The v92 replay juxtaposes verified clock-tree, routing, and power-grid fixture states, then gates reuse on report stage, extracted RC, activity/current context, cross-report consistency, replacement evidence, and owner review.
The v94 replay distinguishes study-design defects, representative part spread, repeatability, operator/tool/interaction reproducibility, bias, range linearity, stability/drift, resolution, uncertainty review, discrimination, and accountable next checks without publishing a production pass/fail band.
The v93 replay separates model assumptions, cell characterization, implementation checkpoints, test-structure intent, author-claim metadata, synthetic teaching pairs, empty owned measurement slots, discrepancy, uncertainty, and bounded claim maturity.
Run schematic and extracted netlists under the same TT, 1.8 V, 27 C, 5 fF condition. The post-layout waveform shifts because physical capacitance must also be charged and discharged.
Hold total wire R and C constant, then divide the path into one, three, and five sections. The 50% delay converges as the ladder better represents a distributed wire.
Increase coupling capacitance while the aggressor transition and victim load stay fixed. Peak victim noise and recovery time both rise with coupling.
Increase load current while the five-section rail stays fixed. The voltage gradient steepens, and the endpoint drop follows the same I x R identity at every executed operating point.
THE EVIDENCE CHAIN
The reproduced baseline uses the official sky130_fd_sc_hd__inv_1 cell, the v79 replay adds a public-safe RC-to-delay ladder, v84 adds floorplan/congestion/IR/CTS report literacy, and v92 adds same-checkpoint CTS/routing/IR handoff, and v93 adds a zero-real-measurement model-to-silicon evidence ladder, and v94 adds Gauge R&R measurement-system decision literacy. These validate evidence order and report literacy; they do not claim that a custom SRAM layout, macro, or product has passed signoff.
EQUIPMENT FACILITIES PATH 01 / 20-30 MIN
Process results depend on the environment around the wafer. This path names cleanroom, vacuum, equipment-state, and utilities evidence without creating facility operation or equipment-control workflows.
A useful claim separates traffic, air-change proxy, particle burden, mini-environment effect, recovery, and excursion vocabulary before saying anything about wafer impact.
Volume, effective speed, target pressure, and leak floor belong next to any vacuum claim. The public card teaches the envelope without valve, leak-check, or interlock instructions.
SEMI E10-style language keeps productive, standby, engineering, scheduled downtime, unscheduled downtime, and queue pressure in separate evidence fields.
Cleanroom air, vacuum/exhaust, UPW/cooling, precision support, and abatement should stay visible before a sustainability, capacity, or process-support claim is reused.
PACKAGING TEST RELIABILITY PATH 01 / 20-30 MIN
Move beyond front-end fabrication into the job families that turn die into screened products: package electricals, heat flow, wafer sort, reliability stress, and failure-analysis vocabulary.
Wirebonds, bumps, interposers, and 3D/chiplet connections change loop inductance, coupling capacitance, delay, and PDN impedance. Treat them as evidence fields, not packaging adjectives.
A thermal claim needs junction-to-case, case-to-ambient, power, boundary condition, and hotspot context before it becomes useful in a paper or design note.
Tighter guardbands can lower estimated escapes while also lowering effective yield and increasing retest load. The page keeps those lanes separate.
The bathtub curve helps organize infant mortality, useful life, wearout, and stress-mode vocabulary. It does not prove qualification without sample size, failures, and confidence rules.
Roughness, stiffness spread, particles, and metrology sigma belong together before a hybrid-bonding claim is reused.
CIRCUIT PATH 01 / 20-30 MIN
A static inverter curve tells us where logic switches. A transient ring tells us how quickly it can happen. Follow the same SKY130 technology across both views.
Sweep VIN from 0 to VDD. The PMOS and NMOS exchange control through a narrow high-gain region, turning an analog transfer curve into robust digital levels.
VIL and VIH are found where the sampled slope crosses -1. Their distance from the output rails estimates how much unwanted voltage a logic level can tolerate.
A gate must source or sink charge before its output crosses the next gate's threshold. More load stretches propagation delay even when the DC truth table is unchanged.
Three inversions cannot settle consistently. A transition keeps circulating, and the measured period exposes the accumulated rise and fall delay of the chain.
THE CONNECTING IDENTITY
For an N-stage odd ring, one period contains two transitions through every stage. This is an extraction identity for the reproduced waveform, not a claim that every edge or stage is perfectly identical.
DIGITAL SYSTEMS PATH 01 / 20-30 MIN
Move from functional memory access to structural self-test and error correction. Explicit contracts and executed traces distinguish detection from safe recovery.
Start from the controller acceptance edge, address and data capture, and the one-cycle response contract proved by the existing self-checking trace.
March C- writes and reads every address in ascending and descending order. Ten operations per cell preserve linear complexity while sensitizing stuck-at faults.
Compare the fault-free trace with injected stuck-at-0 and stuck-at-1 scenarios. The lab preserves every cycle and points to the first observable failure.
SECDED adds five parity bits to eight data bits. Every single codeword-bit error is corrected; every double-bit pair is detected and explicitly withheld as uncorrectable.
THE VERIFICATION LOOP
The browser replays executed Icarus evidence. It does not synthesize arbitrary HDL. BIST covers a single-cell stuck-at model; ECC covers one fixed payload and digital bit flips, not analog cell failures.
MODEL BOUNDARY
The paths deliberately cross model boundaries: educational drift-diffusion, foundry compact models, generic SRAM stability, verified RTL, and an official-cell physical baseline. None replaces custom-macro post-layout PVT characterization or measured silicon.
Open the first lesson packet ->EVIDENCE TRAIL
Each lab exposes conditions, extraction rules, limitations, datasets, and downloadable netlists. Research keeps executed evidence separate from indexed sources, and worksheets test whether the boundary was understood before reuse.
Open the first worksheet ->