6144deterministic rowsUNKNOWNInspect metric contract
9topic-specific evidence nodesUNKNOWNInspect metric contract
0live solver runsUNKNOWNInspect metric contract
SIMULATION / SA-MEM-M3D-IGO-SRAM-004
Monolithic-3D Si/oxide-semiconductor SRAM integration evidence ladder
M3D IGO SRAM evidence
Trace declared device tiers and oxide-semiconductor access transport through contacts, inter-tier connectivity, WL/BL loading, thermal budget, extraction maturity, cell/subarray sensitivities, contradictions, and owned replacement evidence without copying a topology or issuing a node, architecture, or signoff claim.
EXPLORE
Start with the observable.
Use this page when the simulation is the primary artifact. The linked lesson explains the concept; the linked lab keeps the visual replay surface available.
- Hold tier assignment, transport, contact, inter-tier state, thermal window, extraction maturity, and evidence posture fixed, then sweep cell-local, compact-subarray, and routed-subarray loading classes.
- Compare access, contact, connectivity, thermal, extraction, read/write stability, delay, energy, standby, footprint, and readiness only as dimensionless within-packet sensitivities.
- Inspect contradiction flags when vertical partition lacks inter-tier evidence, contact burden conflicts with transport posture, thermal scope conflicts with an active BEOL tier, or extraction/loading claims exceed their declared evidence.
- Use the decision gate to name the owned device, contact, thermal, connectivity, extraction, cell, subarray, uncertainty, and review evidence required to replace each proxy.
BROWSER INTERACTIVE LAB
Filter the saved CSV. Inspect matching replay rows.
No server solver is running here. The browser filters a precomputed table and redraws the plot locally.
Loading replay rowsReading the saved CSV in this browser.
access drive proxyread stability proxywrite stability proxyread delay proxydynamic energy proxyevidence readiness score
Each metric is normalized independently for shape inspection. Vertical positions do not compare magnitude across metrics.
n/aaccess drive proxy
n/aread stability proxy
n/awrite stability proxy
n/aread delay proxy
n/adynamic energy proxy
n/aevidence readiness score
Change one or more controls to find a saved row. No unrelated CSV value is substituted.
| case id | tier assignment label | access transport label | contact burden label | intertier connection label | wl bl loading label | thermal budget label | extraction maturity label | read stability proxy | write stability proxy | contradiction flags | decision gate | next safe check |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Loading saved replay rows... | ||||||||||||
RUN CARD
Conditions before conclusions.
The browser filters a saved CSV. It does not run TCAD, compact models, SPICE, SNM extraction, virtual fabrication, layout, PEX, thermal, variation, metrology, or signoff tools, and it cannot recommend a device, topology, process, node, architecture, product, or tapeout action.
Primary knobs
- single-tier through maximal vertical-partition hypotheses
- silicon-reference, oxide-access, or unresolved transport classes
- ideal-reference, bounded, high-burden, or unresolved contacts
- none, conceptual, declared-local, or routing-heavy inter-tier connection classes
- cell-local, compact-subarray, or routed-subarray WL/BL loading
- compatible or constrained thermal-budget hypotheses
- conceptual or deterministic-proxy extraction maturity and evidence posture
Saved outputs
- dimensionless access, contact, inter-tier, thermal, and extraction proxies
- cell-balance, read/write stability, read/write delay, wire-load, energy, standby, and footprint sensitivities
- contradiction flags, evidence-readiness score, decision gate, and next owned evidence check
EXPORT
Download the public artifacts.
These exports are the supported public files for review. PDK files and restricted third-party material are not redistributed.
M3D IGO SRAM evidence CSV
/data/m3d-igo-sram-integration-cell-subarray-evidence-ladder-v103.csv
Open file ->Typed web JSON
/data/m3d-igo-sram-integration-cell-subarray-evidence-ladder-web-v1.json
Open file ->Model card
/data/m3d-igo-sram-integration-cell-subarray-evidence-ladder-model-card-v1.md
Open file ->Metric contract
/data/m3d-igo-sram-integration-cell-subarray-evidence-ladder-metric-contract-v1.json
Open file ->Source spine
/data/m3d-igo-sram-integration-cell-subarray-evidence-ladder-source-spine-v1.json
Open file ->METHODS
How the number was made.
Methods are written for citation discipline: the extraction rule matters as much as the plotted value.
Generate the complete 4 x 4 x 4 x 4 x 3 x 2 x 2 x 2 Cartesian sweep with no randomness, fitting, optimization, hidden state, source-result calibration, or external device value.
Keep this method attached when reusing the figure or metric.
Use original dimensionless access, contact, inter-tier, thermal, extraction, loading, stability, delay, energy, footprint, and evidence equations; none is a calibrated device, compact-model, circuit, layout, or process solver.
Keep this method attached when reusing the figure or metric.
Emit explicit contradictions when tier, transport, contact, inter-tier, loading, thermal, extraction, or evidence-posture declarations disagree, then route every row to the next owned-evidence gate.
Keep this method attached when reusing the figure or metric.
Keep nine topic-specific claim maps and eleven primary, official, roadmap, model-lineage, and metrology anchors separate from all generated coefficients and rows.
Keep this method attached when reusing the figure or metric.
LIMITS
What this page does not claim.
The MVP is useful because the limits are visible. These statements prevent a teaching simulation from being cited as silicon evidence.
Zero copied topology rows, external numeric results, physical dimensions, real PDK files, calibrated models, live TCAD/PEX runs, measured silicon rows, node claims, rankings, comparisons, signoff actions, recipes, or live server runs enter the dataset.
Carry this boundary into any derivative note, paper draft, or slide.
No source-reported topology, layout, parameter, extraction, percentage, node claim, figure, table, equation, result, or conclusion is converted into a model coefficient.
Carry this boundary into any derivative note, paper draft, or slide.
No fabrication recipe, device/process recommendation, architecture winner, product comparison, foundry claim, tapeout readiness, qualification, or signoff action is provided.
Carry this boundary into any derivative note, paper draft, or slide.
A real claim requires owned topology and condition cards, device/compact-model lineage, contacts, cross-tier connectivity, thermal budget, layout/PEX, cell and subarray simulation, variation, uncertainty, measured evidence, and accountable review.
Carry this boundary into any derivative note, paper draft, or slide.
EVIDENCE
Trace the claim back to artifacts.
The evidence route remains the catalog-level browser; this page is the simulation-level reading card.
6144 rows covering the complete declared Cartesian sweep with no random sampling, optimization, fitting, source calibration, or hidden state.
SA-MEM-M3D-IGO-SRAM-004
9 topic-specific claim maps and 11 primary, official, roadmap, model-lineage, and metrology source anchors.
SA-MEM-M3D-IGO-SRAM-004
All generated coefficients are original dimensionless SemiAgora assumptions; every source-reported topology, value, result, percentage, and node claim remains outside the numeric model.
SA-MEM-M3D-IGO-SRAM-004
Independent Cartesian, equation, contradiction, gate, zero-boundary, byte-identity, source-lineage, and SHA-256 verification is required in the canonical experiment folder.
SA-MEM-M3D-IGO-SRAM-004
Source spine
These links anchor the public teaching model. They do not convert the replay into a qualified process recipe or signoff result.
arXiv: process-aware hybrid Si/IGO monolithic-3D SRAM preprint recordScope anchor for the device-tier, integration, cell, and subarray evidence chain; it supplies zero numeric model inputs.IEEE: monolithic-3D SRAM with BEOL-compatible transistorsBEOL-compatible transistor and SRAM integration vocabulary anchor without importing a design or result.IEEE: hybrid IGZO/Si SRAM monolithic-3D demonstration recordHybrid oxide-semiconductor/silicon integration evidence anchor with all reported values excluded.IEEE: monolithic-3D SRAMs using thin-film transistorsEvidence-maturity and integration-challenge vocabulary anchor.Advanced Science / PMC: IGZO device-to-circuit co-design recordDevice-to-circuit handoff vocabulary anchor; no coefficient is calibrated from the article.imec: capacitor-less IGZO DRAM research summaryOxide-semiconductor memory and integration vocabulary anchor; DRAM results are not treated as SRAM evidence.NIST: metrology for emerging integrated systemsStructure, interface, integration, and measurement-evidence vocabulary anchor.NIST / IRDS: 2024 Metrology chapter recordMeasurement readiness, structure-function linkage, and uncertainty vocabulary anchor.imec: logic technology roadmapStaged integration and evidence-maturity vocabulary anchor without a node claim.UC Berkeley: BSIM model indexCompact-model lineage and model-boundary vocabulary anchor; no oxide-semiconductor model, parameter set, calibrated card, or device prediction is supplied.NIST Technical Note 1297: measurement uncertaintyMeasurand, uncertainty, and reporting-lineage vocabulary anchor; no formal uncertainty budget is claimed.
Public execution boundary
No server-side live ngspice execution, uploads, accounts, payments, comments, newsletter signup, or job/event submissions are active on this page.