fix(infra): upgrade yosys 0.15 → OSS CAD Suite 2026-05-06 (closes #36) [RECOVERY of lost PR #37]#38

Merged

marcos-mendez merged 5 commits into

mainfrom

recover/stream-1/pr-36-yosys-upgrade

May 6, 2026

Commits on May 6, 2026

fix(infra): upgrade yosys 0.15 → OSS CAD Suite 2026-05-06 (closes #36)
Agent 1 (RTL Architect)
committed
fix(ci): smoke pass needs src/assert.sv for `assert_known macro
Agent 1 (RTL Architect)
committed
fix(ci): -D no-op the assert macros for yosys smoke
Agent 1 (RTL Architect)
committed
fix(ci): wrap smoke RTL in no-op-assert smoke_top for yosys
Agent 1 (RTL Architect)
committed
fix(ci): switch smoke target to dadda_32bit32 (truly self-contained)
Agent 1 (RTL Architect)
committed