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
SASemiAgoraSemiconductor knowledge & engineeringOpen lesson

SIMULATION / SA-EDA-PV-002

SKY130 physical verification checkpoint replay
SKY130 PV replay

A browser CSV lab for reading DRC, LVS, PEX, and timing-handoff checkpoints as evidence, with public-safe SKY130 source anchors and no PDK collateral on the site.

sectionExploresectionRun CardsectionExportsectionMethodssectionLimitssectionEvidence

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.

guided exploration
  • Filter design block, issue pattern, and review depth to see how evidence changes across DRC, LVS, PEX, and timing handoff.
  • Compare DRC marker proxy, LVS mismatch proxy, extracted-capacitance proxy, extracted-resistance proxy, timing delta, confidence, and fix-risk together.
  • Use release readiness as a teaching label for evidence hygiene, not as a tapeout or foundry decision.
  • Open the model card before reusing a row in a paper note, class worksheet, or review checklist.
Open visual lab ->Open lesson ->

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 matching rows / x: checkpoint index
Loading replay rowsReading the saved CSV in this browser.
drc marker count proxylvs mismatch count proxytiming delta ps proxy

Each metric is normalized independently for shape inspection. Vertical positions do not compare magnitude across metrics.

no matching replay row

n/adrc marker count proxy

n/alvs mismatch count proxy

n/atiming delta ps proxy

Change one or more controls to find a saved row. No unrelated CSV value is substituted.

case iddesign blockissue patternreview depthcheckpoint stagedrc marker count proxylvs mismatch count proxyextracted cap ff proxytiming delta ps proxyevidence confidencefix hypothesis riskrelease readinessnext safe check
Loading saved replay rows...

RUN CARD

Conditions before conclusions.

The browser filters saved CSV rows and redraws local plots. It does not run Magic, Netgen, OpenROAD, OpenLane, OpenSTA, SPICE, TCAD, or a server-side compile flow.

precomputed browser CSV checkpoint replay

Primary knobs

  • design_block: inverter_cell, nand2_cell, sram_peripheral_proxy, counter8_route
  • issue_pattern: clean_baseline, spacing_bridge_risk, label_pin_mismatch, parasitic_load_heavy
  • review_depth: quick, standard, expanded
  • checkpoint_stage: DRC, LVS, PEX, timing handoff
outputs

Saved outputs

  • DRC marker count proxy
  • LVS mismatch count proxy
  • extracted capacitance proxy
  • extracted resistance proxy
  • timing delta proxy
  • evidence confidence
  • fix hypothesis risk
  • release readiness label

EXPORT

Download the public artifacts.

These exports are the supported public files for review. PDK files and restricted third-party material are not redistributed.

download

Interactive checkpoint CSV

/data/sky130-pv-checkpoint-triage-replay-v77.csv

Open file ->
download

Web result JSON

/data/sky130-pv-checkpoint-triage-replay-web-v1.json

Open file ->
download

Model card

/data/sky130-pv-checkpoint-triage-replay-model-card-v1.md

Open file ->

METHODS

How the number was made.

Methods are written for citation discipline: the extraction rule matters as much as the plotted value.

method

Generate a 192-row factorial teaching table over design block, issue pattern, review depth, and verification checkpoint stage.

Keep this method attached when reusing the figure or metric.

method

Map DRC markers, LVS mismatches, extracted-capacitance proxy, extracted-resistance proxy, timing-delta proxy, evidence confidence, and fix-hypothesis risk into one row.

Keep this method attached when reusing the figure or metric.

method

Use public repositories and official tool pages as vocabulary anchors only; all visible rows are original SemiAgora teaching proxies.

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.

non-claim

No live server solver or EDA flow is active; the public page only filters saved CSV rows.

Carry this boundary into any derivative note, paper draft, or slide.

non-claim

The rows are not real Magic, Netgen, OpenROAD, OpenLane, OpenSTA, or silicon results.

Carry this boundary into any derivative note, paper draft, or slide.

non-claim

The SRAM peripheral is a structural teaching proxy, not a compiler macro, foundry SRAM, or custom layout release.

Carry this boundary into any derivative note, paper draft, or slide.

non-claim

A real physical-verification package requires owned layout/source netlists, exact tool versions, PDK terms, rule-deck authority, extraction settings, and design-owner 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.

evidence note

The CSV preserves every block, issue-pattern, review-depth, checkpoint-stage, and evidence metric used by the browser lab.

SA-EDA-PV-002

evidence note

The JSON stores row counts, public boundaries, source anchors, methods, limitations, and highest-risk examples.

SA-EDA-PV-002

evidence note

The page links public SKY130, open-PDK, Magic, Netgen, and OpenROAD anchors without copying restricted collateral.

SA-EDA-PV-002

evidence note

The EDA domain now has a PV checkpoint replay beside DRC/LVS triage, STA slack, and OpenROAD starter report parsing.

SA-EDA-PV-002

Source spine

These links anchor the public teaching model. They do not convert the replay into a qualified process recipe or signoff result.

Physical Verification using SKY130Public training repository signal; SemiAgora does not mirror repository code, reports, decks, screenshots, or PDK collateral.Physical-Verification-using-SKY130 corroborating repoSecond public workshop-style signal for DRC/LVS/PEX vocabulary; link-only source review.SkyWater SKY130 PDKRights-holder open PDK repository anchor; no PDK files, rules, models, or GDS are redistributed from this page.open_pdksOpen-source PDK setup reference for local study; not executed by the public website.Magic VLSIOfficial Magic tool page anchoring layout/DRC vocabulary.NetgenOfficial Netgen page anchoring LVS comparison vocabulary.OpenROAD Flow ScriptsOfficial flow repository anchor for future reproducible open-flow report packages.

Public execution boundary

No server-side live ngspice execution, uploads, accounts, payments, comments, newsletter signup, or job/event submissions are active on this page.