write_verilog: do not print (*init*) attributes on regs.
authorwhitequark <whitequark@whitequark.org>
Sun, 22 Sep 2019 16:52:06 +0000 (16:52 +0000)
committerwhitequark <whitequark@whitequark.org>
Sun, 22 Sep 2019 16:52:06 +0000 (16:52 +0000)
commit4f426c2ac48bbb5ae9e92ca046aa20af35d75a52
treef3a646aa0fba1dfa89a336cace906a37b75648e8
parentbe0eaf3a9abd410d9ea2962a186b104d8ed0cc04
write_verilog: do not print (*init*) attributes on regs.

If an init value is emitted for a reg, an (*init*) attribute is never
necessary, since it is exactly equivalent. On the other hand, some
tools that consume Verilog (ISE, Vivado, Quartus) complain about
(*init*) attributes because their interpretation differs from Yosys.

All (*init*) attributes that would not become reg init values anyway
are emitted as before.
backends/verilog/verilog_backend.cc