Patch release scoping the pinned OSS CAD Suite to SymbiYosys only. This preserves the compatible formal stack while retaining the stable distro Verilator for simulation and coverage. RTL and measured closure metrics are unchanged.
Patch release scoping the pinned OSS CAD Suite to SymbiYosys only. This preserves the compatible formal stack while retaining the stable distro Verilator for simulation and coverage. RTL and measured closure metrics are unchanged.