fix(infra): upgrade yosys 0.15 → OSS CAD Suite 2026-05-06 (closes #36)#37

Closed

marcos-mendez wants to merge 5 commits into

mainfrom

feat/stream-1/pr-36-yosys-upgrade-or-oss-cad-suite

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