Skip to content
SASemiAgoraSemiconductor knowledgeResearch services
Menu
Research services한국어 안내LearnTraceCompareReproducePlanSearch
ExploreKnowledge AtlasDetailed mapSimulationsDomain mapGuided journeysLabs
WorkspacesScenario ComparisonReproducibility RegistryExperiment PlannerResearch Project BuilderClaim-Evidence WorkbenchData Contract
TrustEvidence Knowledge GraphMetric OntologyCitation ProvenanceSource WorkspaceEvidence BrowserPublic Release LedgerSource PolicyCorrections
MoreSearchPracticeCalculatorsResourcesResearch atlasRelease provenanceReading RoomResearch servicesAbout SemiAgora

REPRODUCIBILITY PACKET REGISTRY / V135

Reproducibility Packet Registry

Know what can run before you trust the result. Exact requirements in, honest state out.

Researchers can distinguish four packet states and inspect every input, environment, tool, seed, command, output, hash, limitation, and regression state.

01 Read the state02 Inspect exact requirements03 Verify hashes and history04 Keep validation separate

LOCAL INSPECTION WORKSPACE

One registry. Four states. No silent promotion.

Filter packet contracts, inspect exact prerequisites and failure reasons, follow stable fragments, and export normalized JSON or CSV locally in this tab.

Representative packets readyLoading the complete public registry...

2026-09-05-v135
PACKET REGISTER

Filter by what is actually reproducible.

Ordering is fixed by state, domain, title, and packet ID. Filters and free text remain in this browser tab.

12 packets match the normalized state.

RUNNABLEEDA and design flowSTATIC REPORT CONTRACT CHECK

OpenROAD starter static report contract check

Complete command and hash-bound environment declared.

Tool
Node.js 22.13.0
Inputs
5
Outputs
1
Graph
No exact join
packet:runnable:openroad-static-report-contract-v1LinkOpen route
PRECOMPUTED ONLYCircuitSIMULATION REPLAY

SPICE convergence evidence

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
ngspice 45.2 precomputed replay plus browser-local comparison
Inputs
2
Outputs
4
Graph
Exact join
packet:simulation:sa-cir-spice-convergence-evidence-061LinkOpen route
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

CMOS inverter propagation delay

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
ngspice 42
Inputs
2
Outputs
3
Graph
Exact join
packet:simulation:sa-cir-001-propagation-delayLinkOpen route
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

CMOS inverter VTC and gain

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
ngspice 46
Inputs
2
Outputs
3
Graph
Exact join
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

Current mirror compliance and output resistance

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
SemiAgora analog circuit surrogate
Inputs
2
Outputs
4
Graph
No exact join
packet:simulation:sa-cir-002-current-mirror-complianceLinkOpen route
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

FO4 delay and energy scaling

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
SemiAgora FO4 timing surrogate
Inputs
2
Outputs
5
Graph
Exact join
packet:simulation:sa-dig-001-fo4-delay-energy-scalingLinkOpen route
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

Ring oscillator frequency

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
ngspice 42
Inputs
2
Outputs
3
Graph
Exact join
packet:simulation:sa-cir-001-ring-oscillator-frequencyLinkOpen route
PRECOMPUTED ONLYCircuitsSIMULATION REPLAY

Sense amplifier input delta, offset, and regeneration

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
SemiAgora sense-regeneration surrogate
Inputs
2
Outputs
4
Graph
Exact join
packet:simulation:sa-cir-002-sense-amplifier-regenerationLinkOpen route
PRECOMPUTED ONLYDeviceSIMULATION REPLAY

CFET contact/interconnect parasitic map

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
precomputed CFET contact/interconnect proxy map
Inputs
1
Outputs
3
Graph
Exact join
packet:simulation:sa-dev-cfet-001-contact-interconnect-parasiticLinkOpen route
PRECOMPUTED ONLYDeviceSIMULATION REPLAY

FinFET fin count versus PPA

COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / EXACT PACKAGE AND ENVIRONMENT IDENTITY NOT HASH BOUND / SEED OR DETERMINISM STATE NOT RECORDED IN PACKET CATALOG

Tool
SemiAgora FinFET PPA surrogate
Inputs
2
Outputs
5
Graph
Exact join
packet:simulation:sa-dev-001-finfet-fin-count-ppaLinkOpen route
EXTERNAL DEPENDENCYCircuit numerical evidenceEXTERNAL SOLVER REPLAY

V129 SPICE convergence replay

EXACT NGSPICE 45 2 EXECUTABLE NOT BUNDLED / COMPLETE PUBLIC RUNTIME IMAGE NOT BUNDLED / COMPLETE PUBLIC REPLAY COMMAND NOT PUBLISHED / ALL SOURCE LOGS AND OUTPUTS NOT BUNDLED AS ONE PUBLIC PACKET

Tool
ngspice 45.2
Inputs
3
Outputs
3
Graph
Exact join
packet:external:v129-spice-convergence-ngspice-45-2LinkOpen route
NOT RUNCircuit numerical evidencePLANNED NEXT EXPERIMENT

SPICE convergence evidence next experiment

EXECUTION NOT AUTHORIZED OR RECORDED / OUTPUT ARTIFACTS ABSENT / ENVIRONMENT TOOL AND SEED NOT SPECIFIED

Tool
Not selected
Inputs
0
Outputs
0
Graph
Exact join
packet:not-run:v130:spice-convergence-evidenceLinkOpen route

SCIENTIFIC BOUNDARY

Reproduction is not validation.

Expose exact replay requirements and non-runnable reasons without promoting stored output into scientific validation.

  • Exact stateStored output never becomes runnable evidence without a complete, hash-bound packet.
  • Exact identityRoutes, artifacts, environments, and graph joins never use fuzzy matching.
  • Exact limitsA passing deterministic check does not establish physical truth, silicon correlation, or signoff.
  • Public-safe onlyNo private data, credentials, NDA material, licensed PDKs, models, or runsets are accepted.