From: whitequark <whitequark@whitequark.org>
Date: Wed, 26 Dec 2018 06:45:57 +0000 (+0000)
Subject: back.rtlil: clarify $verilog_initial_trigger behavior. NFC.
X-Git-Tag: working~126
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4fbef65ca1aef299eb4a24acbfadfad05704674;p=nmigen.git

back.rtlil: clarify $verilog_initial_trigger behavior. NFC.
---

diff --git a/nmigen/back/rtlil.py b/nmigen/back/rtlil.py
index c51b4b9..1572d3e 100644
--- a/nmigen/back/rtlil.py
+++ b/nmigen/back/rtlil.py
@@ -710,11 +710,11 @@ def convert_fragment(builder, fragment, name, top):
                     stmt_compiler._has_rhs = False
                     stmt_compiler(lhs_group_filter(fragment.statements))
 
-                    # Verilog `always @*` blocks will not run if `*` does not match anythng, i.e.
+                    # Verilog `always @*` blocks will not run if `*` does not match anything, i.e.
                     # if the implicit sensitivity list is empty. We check this while translating,
-                    # by looking at any signals on RHS. If this is not true, we add some logic
+                    # by looking for any signals on RHS. If there aren't any, we add some logic
                     # whose only purpose is to trigger Verilog simulators when it converts
-                    # through RTLIL and to Verilog.
+                    # through RTLIL and to Verilog, by populating the sensitivity list.
                     if not stmt_compiler._has_rhs:
                         if verilog_trigger is None:
                             verilog_trigger = \
@@ -730,6 +730,8 @@ def convert_fragment(builder, fragment, name, top):
                         wire_curr, wire_next = compiler_state.resolve(signal)
                         sync.update(wire_curr, rhs_compiler(ast.Const(signal.reset, signal.nbits)))
 
+                    # The Verilog simulator trigger needs to change at time 0, so if we haven't
+                    # yet done that in some process, do it.
                     if verilog_trigger and not verilog_trigger_sync_emitted:
                         sync.update(verilog_trigger, "1'0")
                         verilog_trigger_sync_emitted = True