back.verilog: remove $verilog_initial_trigger after proc_prune.
authorwhitequark <whitequark@whitequark.org>
Mon, 28 Oct 2019 10:11:41 +0000 (10:11 +0000)
committerwhitequark <whitequark@whitequark.org>
Mon, 28 Oct 2019 10:11:41 +0000 (10:11 +0000)
commit4d6ad28f5966f1f7c94a8f83ef50f07d7e62123c
tree7de1622783873d1b17edf8bb0653acccbf849175
parent75d0fcd639ae2e7913401c08b72e9270b196390b
back.verilog: remove $verilog_initial_trigger after proc_prune.

$verilog_initial_trigger was introduced to work around Verilog
simulation semantics issues with `always @*` statements that only
have constants on RHS and in conditions. Unfortunately, it breaks
Verilator. Since the combination of proc_prune and proc_clean passes
eliminates all such statements, it can be simply removed when both
of these passes are available, currently on Yosys master. After
Yosys 0.10 is released, we can get rid of $verilog_initial_trigger
entirely.
nmigen/back/rtlil.py
nmigen/back/verilog.py