# SKY130 Physical Verification Checkpoint Replay Model Card

Version: 2026-08-19-v77

## Purpose

This browser lab teaches how DRC, LVS, PEX, and timing-handoff evidence fit together before a public engineering claim is written. It uses original synthetic SemiAgora rows and link-only public source anchors.

## Dataset

- Rows: 192
- Design blocks: inverter_cell, nand2_cell, sram_peripheral_proxy, counter8_route
- Issue patterns: clean_baseline, spacing_bridge_risk, label_pin_mismatch, parasitic_load_heavy
- Review depths: quick, standard, expanded
- Checkpoints: drc_precheck, lvs_compare, pex_extract, timing_handoff

## Public Boundary

- No PDK rule deck, GDS, layout database, extracted netlist, tool log, or workshop file is redistributed.
- No live server EDA flow, solver, compiler, SPICE, or TCAD run is active.
- No tapeout readiness, foundry closure, qualification, product release, or signoff result is claimed.
- No account, file transfer, payment, comment, newsletter action, or job/event workflow is enabled.

## Source Anchors

- Physical Verification using SKY130: https://github.com/Mysha-Fathima/Physical-Verification-using-SKY130
- Physical-Verification-using-SKY130 corroborating repo: https://github.com/MihaiHMO/Physical-Verification-using-SKY130
- SkyWater SKY130 PDK: https://github.com/google/skywater-pdk
- open_pdks: https://github.com/fossi-foundation/open-pdks
- Magic VLSI: https://opencircuitdesign.com/magic/
- Netgen: https://opencircuitdesign.com/netgen/
- OpenROAD Flow Scripts: https://github.com/The-OpenROAD-Project/OpenROAD-flow-scripts