From f7c0dbecee7ee8f2e3fc8bc8337e7045fd4aff15 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 12 Feb 2020 16:04:19 -0800
Subject: abc9: fix abc9_arrival for flops

---
 backends/aiger/xaiger.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'backends')

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 76b7efbfc..4149a8628 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -643,7 +643,6 @@ struct XAigerWriter
 			write_s_buffer(ff_bits.size());
 
 			for (const auto &i : ff_bits) {
-				const SigBit &d = i.first;
 				const Cell *cell = i.second;
 
 				int mergeability = cell->attributes.at(ID(abc9_mergeability)).as_int();
@@ -661,7 +660,11 @@ struct XAigerWriter
 					write_s_buffer(0);
 				}
 
-				write_i_buffer(arrival_times.at(d, 0));
+				auto it = cell->attributes.find(ID(abc9_arrival));
+				if (it != cell->attributes.end())
+					write_i_buffer(it->second.as_int());
+				else
+					write_i_buffer(0);
 				//write_o_buffer(0);
 			}
 
-- 
cgit v1.2.3