From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 14 Feb 2020 21:43:34 +0000 (-0800)
Subject: write_xaiger: add comment about arrival times of flop outputs
X-Git-Tag: working-ls180~780^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44;p=yosys.git

write_xaiger: add comment about arrival times of flop outputs
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 2a39d225d..dc0f997fe 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -656,6 +656,7 @@ struct XAigerWriter
 					write_s_buffer(0);
 				}
 
+				// Use arrival time from output of flop box
 				write_i_buffer(arrival_times.at(d, 0));
 				//write_o_buffer(0);
 			}