back.verilog: remove $verilog_initial_trigger after proc_prune.
authorwhitequark <cz@m-labs.hk>
Mon, 28 Oct 2019 10:11:41 +0000 (10:11 +0000)
committerwhitequark <cz@m-labs.hk>
Mon, 28 Oct 2019 10:11:41 +0000 (10:11 +0000)
commitff03f989a2c2e43b9bbe07f71c5a733bce98c427
tree7de1622783873d1b17edf8bb0653acccbf849175
parentf449f12ab92da4e2dcdaef816ba605d3705ad2ee
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