back.rtlil: do not emit $next wires for comb signals.
authorwhitequark <whitequark@whitequark.org>
Tue, 2 Jul 2019 18:05:34 +0000 (18:05 +0000)
committerwhitequark <whitequark@whitequark.org>
Tue, 2 Jul 2019 18:05:34 +0000 (18:05 +0000)
commitdd5e513e4266dfdfbb5c8eca03aad4d2bcd0a745
tree38120b37f7d56fbd9e81257109b9ae4bfa337166
parent6b843b5be6fdd786fd4caf5a80ae51abff25b984
back.rtlil: do not emit $next wires for comb signals.

According to RTLIL semantics (that was undocumented before today),
the only purpose of `sync always` is to enable inference of latches,
because there is no other way to express them in terms of RTLIL
processes without ending up with a combinatorial loop. But, nMigen
specifically avoids latches, so this is not necessary.

This change results in major improvements in Verilog readability.

See also #98.
nmigen/back/rtlil.py