Separate geometry markers, connectivity mismatches, parasitic proxies, and timing context.
Open the run card to inspect the saved rows, methods, limits, and export files behind this step.
Inspect run card ->LESSON PACKET / SA-EDA-PV-002
Read SKY130 PV checkpoints as evidence.
EDA / Layout
The useful lesson is not a command list. It is how DRC, LVS, PEX, and timing-handoff checkpoints support a claim, what they cannot prove, and how to keep PDK collateral out of the public page.
EVIDENCE SEQUENCE
What the learner should inspect first.
This surface connects the daily-scan source signal to an original SemiAgora simulation object without copying source text, code, figures, PDK files, or process recipes.
Read evidence confidence, fix-risk proxy, and release-readiness label together.
Open the run card to inspect the saved rows, methods, limits, and export files behind this step.
Inspect run card ->Decide what evidence would be needed before a layout claim leaves the page.
Open the run card to inspect the saved rows, methods, limits, and export files behind this step.
Inspect run card ->METHODS
Precomputed model contract.
The goal is useful study scaffolding and paper-planning discipline, not calibrated production evidence.
Synthetic checkpoint table based on public SKY130 physical-verification vocabulary.
The simulation object keeps the same statement beside downloadable JSON and CSV evidence.
No repository scripts, rule decks, GDS, or extracted netlists are mirrored.
The simulation object keeps the same statement beside downloadable JSON and CSV evidence.
The replay uses safe evidence-check prompts instead of tool instructions.
The simulation object keeps the same statement beside downloadable JSON and CSV evidence.
LIMITS
Useful, but deliberately bounded.
No account, upload, payment, comment, newsletter, live solver, facility workflow, or product-release surface is enabled.
No foundry signoff equivalence.
Keep this boundary attached when reusing the card for lesson writing, figure planning, or research notes.
No proprietary rule deck, PDK redistribution, or tapeout readiness claim.
Keep this boundary attached when reusing the card for lesson writing, figure planning, or research notes.
Real work needs rights-clean PDK setup, tool logs, versioned decks, and design-owner review.
Keep this boundary attached when reusing the card for lesson writing, figure planning, or research notes.
SOURCE ANCHOR
Link-only public source spine.
SemiAgora uses the source as a signal and citation anchor, then writes original summaries and original toy data with explicit limitations.
Physical Verification using SKY130
https://github.com/Mysha-Fathima/Physical-Verification-using-SKY130
Open source ->