From 9d0a7d5e702e06d505078b0e8445bd81a9a5c27c Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 23 Oct 2020 18:30:10 -0400 Subject: [PATCH] Commentary (#2606). --- src/V3Order.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/V3Order.cpp b/src/V3Order.cpp index 915f88ee2..6be9a3fa6 100644 --- a/src/V3Order.cpp +++ b/src/V3Order.cpp @@ -36,6 +36,9 @@ // assignments to avoid saving state, thus we prefer // a <= b ... As the opposite order would // b <= c ... require the old value of b. +// Add edge consumed_var_POST->logic_vertex +// This prevents a consumer of the "early" value to be +// scheduled after we've changed to the next-cycle value // For Logic // Add vertex for this logic // Add edge logic_sensitive_vertex->logic_vertex @@ -49,6 +52,7 @@ // Add edge logic_sensitive_vertex->logic_vertex // Add edge logic_consumed_var->logic_vertex (same as if comb) // Add edge logic_vertex->logic_generated_var (same as if comb) +// Add edge consumed_var_POST->logic_vertex (same as if comb) // // For comb logic // For comb logic