fix(lec): keep public wire names for equiv_make cut-points - #274

Open

Emin017 wants to merge 4 commits into

mainfrom

emin/fix-lec-keep-publich-wire

Commits on Sep 9, 2026

fix(lec): keep public wire names for equiv_make cut-points
Emin017
committed
e2cbc3a
fix(lec): hide FF D-input nets from equiv_make matching
Emin017
committed
ccf5044
fix(yosys): avoid QN-only DFF cells so LEC keeps FF output names
Emin017
committed
a78477a

Commits on Sep 10, 2026

feat(lec): record FF cut-point contract in synthesis, replay in LEC
Emin017
committed
d6f8ca6