feat(m): Wave-31 Lane M — multi-PDK portability probe (Yosys SG13G3 + SKY90 proxy)#29
Merged
Merged
Conversation
This was referenced May 15, 2026
… SKY90 proxy)
Adds sim/pdk_portability/{Makefile, sg13g3_tech.lib, sky90_tech.lib, report.md}
and docs/lever-stack/lane-m.md. Probes Lanes V/W/V'/S synth-portability
across SG13G3 (IHP 130 nm) and SKY90 (90 nm proxy) liberty constraints.
🟡 SYNTH-SIM verdict — commercial-STA on silicon PDK Liberty is a gate,
not a claim. Silicon-verified 🟢 only on multi-PDK return.
Anchor: φ² + φ⁻² = 3 · DOI 10.5281/zenodo.19227877
Wave-31 ONE SHOT: gHashTag/trinity-fpga#110
Refs #110
Signed-off-by: Vasilev Dmitrii <admin@t27.ai>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Wave-31 Lane M — Multi-PDK Portability Probe
Branch:
feat/l-dpc28/m-pdk-portabilityONE SHOT: gHashTag/trinity-fpga#110
Verdict: 🟡 SYNTH-SIM
What this PR adds
Five new files (zero RTL changes — constraint + techmap-proxy only):
sim/pdk_portability/Makefilemake sg13g3 | sky90 | report | cleansim/pdk_portability/sg13g3_tech.libsim/pdk_portability/sky90_tech.libsim/pdk_portability/report.mddocs/lever-stack/lane-m.mdGates
make sg13g3in CI)make sky90in CI)*in any netlist (R-SI-1 portability sanity): PASSR-rules
*in RTL).svfiles addedgit diff main -- rtl/ | wc -l= 0R5-HONEST: Liberty-Proxy Gap
sg13g3_tech.libis a proxy, not the real IHP sg13g2/sg13g3 Liberty.Real Liberty: https://github.com/IHP-GmbH/IHP-Open-PDK
sky90_tech.lib: SKY90 is not a publicly released PDK. This is a 90 nm ITRS-scaled proxy only.Silicon-verified 🟢 requires production Liberty files and post-route STA.
Commit
Single commit
e0da9d9cwithRefs #110trailer andSigned-off-by: Vasilev Dmitrii <admin@t27.ai>.Refs #110