SEMIAGORA / V140 EVIDENCE OS
SemiAgora Knowledge Atlas
Start with the task in front of you, then move from learning to a bounded next test without losing the metric, source state, packet, or stop condition.
- Families
- 6
- Clusters
- 45
- Topic nodes
- 225
- Domains
- 9
- Simulations
- 127
- Source anchors
- 778
SEMIAGORA EVIDENCE OS / V140
One question. Five evidence moves.
Start at the stage closest to your work. Every route carries its evidence state, denominator, packet status, and stop condition forward.
PUBLIC SURFACE CATALOG
Browse by format
Six catalog routes expose the public material available now. The Evidence OS above preserves the reasoning order across them.
Learn a mechanism
Follow a structured causal chain from concept and model to replay, evidence, and limitations.
Open learning paths ->02Compare a simulation
Inspect conditions, methods, saved scenarios, exports, and the boundary around each result.
Open simulations ->03Work through a lab
Replay an evidence packet step by step with checks, interpretation prompts, and visible non-claims.
Open browser labs ->04Build a research trail
Move from experiments to public artifacts and registered source metadata without hidden intake.
Open research atlas ->05Check source policy
Review citation, access, rights, evidence status, and the difference between a lead and proof.
Open source policy ->06Find tools and references
Browse official courses, open technical tools, standards, roadmaps, and bounded calculators.
Open resources ->ENGINEERING NAVIGATOR
Nine connected domains
Browse by technical role when the domain is already clear. Every lane exposes its question, public routes, evidence needs, and operating boundary.
Process
What changed on the wafer, and what evidence proves it?
31 linked simulations ->02 / Device physics / TCAD / characterizationDevice
How do charge, potential, materials, thermal path, and carriers become I-V, C-V, RF, or power-device evidence?
17 linked simulations ->03 / Analog / mixed-signal / circuit designCircuit
How does a device-level curve become gain, delay, and oscillation?
7 linked simulations ->04 / SRAM / DRAM / memory test / architectureMemory
How does memory preserve, sense, move, disturb, retain, protect, and place data across SRAM, DRAM, HBM, NAND, MRAM, FeFET, SCM, CIM, and hybrid memory systems?
32 linked simulations ->05 / RTL / assertions / BIST / ECCDigital / Verification
What cycle-level contract was actually checked?
5 linked simulations ->06 / Physical design / DRC / LVS / PEX / timingEDA / Layout
How do layout markers, connectivity reports, parasitics, and timing evidence become a public-safe verification claim?
10 linked simulations ->07 / Equipment engineer / facilities / EHS boundaryEquipment / Facilities
What tool or facility condition supports the process, and what is still not an operating instruction?
14 linked simulations ->08 / Metrology / process control / yield learningMetrology / Yield
Is the measurement fit for the claim?
21 linked simulations ->09 / Package / test / reliability / FAPackaging / Test / Reliability
What evidence remains after the die is fabricated, bonded, packaged, screened, and stressed?
7 linked simulations ->CAUSAL KNOWLEDGE SPINE
Six knowledge families
The spine connects physics and fabrication to devices, circuits, design artifacts, measurement, and product decisions while keeping depth claims explicit.
Foundations & Materials
What physical model connects material structure and state to an observable?
30 nodes / 20 evidence-linked ->FI / 8 clustersFabrication & Integration
What changed on the wafer, why, and what measurement supports the integration claim?
40 nodes / 40 evidence-linked ->DV / 8 clustersDevices
Which device mechanism creates the measured electrical, optical, thermal, or mechanical response?
40 nodes / 28 evidence-linked ->CS / 8 clustersCircuits & Systems
How does a device or interconnect assumption become a circuit or system observable?
40 nodes / 30 evidence-linked ->DVF / 7 clustersDesign & Verification
What design contract was checked, by which tool and artifact, under which assumptions?
35 nodes / 20 evidence-linked ->MP / 8 clustersMeasurement & Productization
Is the measurement and evidence chain fit for the decision being made?
40 nodes / 39 evidence-linked ->CONNECTED PUBLIC SURFACES
Move from map to evidence
Counts describe registered public metadata and artifacts. They do not claim completeness, source-body review, or production readiness.
Precomputed scenarios with methods, exports, and limitations.
Research Atlas59research recordsExperiments, artifacts, source links, and current evidence state.
Resource Catalog79curated referencesOfficial and rights-holder learning, tooling, and roadmap links.
Source Workspace778registered source anchorsBrowser-local triage and verification-labeled citation starters.
PUBLIC OPERATING CONTRACT
Evidence and source boundaries
The atlas is useful only if registered metadata, reproduced evidence, teaching proxies, and owned measurements remain distinguishable.
Inspect the verified public release ledger ->- 0 live server runsSimulation routes replay public, precomputed artifacts; they do not execute hidden solvers.
- 742 unique source URLsLinks are discovery anchors. A registered URL is not proof that its full body has been reviewed.
- 0 validated claim-source edgesThe public workspace does not invent scholarly fields or silently elevate candidates into evidence.
- v139 latest verified public releasev140 identifiers remain empty until the exact candidate is deployed and passes both public domains.