[WAVE-24] feat(silicon): Yosys EQY t27c↔src formal equivalence gate · RVR-017 · DO NOT MERGE PRE-TTSKY26c#37

Draft

gHashTag wants to merge 3 commits into

feat/silicon-g1-followupfrom

feat/wave-24-eqy-gate

Commits on May 15, 2026

feat(silicon): add Yosys EQY t27c↔src equivalence gate · RVR-017
Vasilev Dmitrii
committed
fix(eqy): use yosys -V flag for Ubuntu 22.04 apt package (0.9 compat)
Vasilev Dmitrii
committed
fix(eqy-ci): make EQY install non-fatal; continue-on-error for missing pip pkg
Vasilev Dmitrii
committed