YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.3k stars 860 forks source link

write_verilog: only warn on processes with sync rules #4310

Closed whitequark closed 3 months ago

whitequark commented 3 months ago

Processes without sync rules correspond to simple decision trees that directly correspond to always @* or always_comb blocks in Verilog, and do not need a warning.

This removes the need to suppress warnings during the RTLIL-to-Verilog conversion performed by Amaranth.