From: whitequark <whitequark@whitequark.org>
Date: Tue, 2 Jul 2019 18:06:50 +0000 (+0000)
Subject: back.rtlil: emit \sig$next wires instead of \$next\sig. NFC.
X-Git-Tag: locally_working~128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea25806971ff68edf594ae9aee5247668be9f5d8;p=nmigen.git

back.rtlil: emit \sig$next wires instead of \$next\sig. NFC.

Just a bit more readable.
---

diff --git a/nmigen/back/rtlil.py b/nmigen/back/rtlil.py
index f09dda6..0a789a2 100644
--- a/nmigen/back/rtlil.py
+++ b/nmigen/back/rtlil.py
@@ -270,7 +270,7 @@ class _ValueCompilerState:
                                     port_id=port_id, port_kind=port_kind,
                                     src=src(signal.src_loc))
         if signal in self.driven and self.driven[signal]:
-            wire_next = self.rtlil.wire(width=signal.nbits, name="$next" + wire_curr,
+            wire_next = self.rtlil.wire(width=signal.nbits, name=wire_curr + "$next",
                                         src=src(signal.src_loc))
         else:
             wire_next = None
@@ -695,7 +695,7 @@ def convert_fragment(builder, fragment, hierarchy):
         verilog_trigger_sync_emitted = False
 
         # Register all signals driven in the current fragment. This must be done first, as it
-        # affects further codegen; e.g. whether $next\sig signals will be generated and used.
+        # affects further codegen; e.g. whether \sig$next signals will be generated and used.
         for domain, signal in fragment.iter_drivers():
             compiler_state.add_driven(signal, sync=domain is not None)
 
@@ -781,8 +781,8 @@ def convert_fragment(builder, fragment, hierarchy):
 
             with module.process(name="$group_{}".format(group)) as process:
                 with process.case() as case:
-                    # For every signal in comb domain, assign $next\sig to the reset value.
-                    # For every signal in sync domains, assign $next\sig to the current
+                    # For every signal in comb domain, assign \sig$next to the reset value.
+                    # For every signal in sync domains, assign \sig$next to the current
                     # value (\sig).
                     for domain, signal in fragment.iter_drivers():
                         if signal not in group_signals:
@@ -824,7 +824,7 @@ def convert_fragment(builder, fragment, hierarchy):
                         sync.update(verilog_trigger, "1'0")
                         verilog_trigger_sync_emitted = True
 
-                # For every signal in every sync domain, assign \sig to $next\sig. The sensitivity
+                # For every signal in every sync domain, assign \sig to \sig$next. The sensitivity
                 # list, however, differs between domains: for domains with sync reset, it is
                 # `posedge clk`, for sync domains with async reset it is `posedge clk or
                 # posedge rst`.