From 486a2704156c51e1331e69cd5160965a1ef73506 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 15 Feb 2019 15:22:18 -0800
Subject: [PATCH] Fixes needed for DFF circuits

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

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 433f1cdd6..27e156a98 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -137,7 +137,7 @@ struct XAigerWriter
 				if (bit.wire == nullptr) {
 					if (wire->port_output) {
 						aig_map[wirebit] = (bit == State::S1) ? 1 : 0;
-						output_bits.insert(wirebit);
+						//output_bits.insert(wirebit);
 					}
 					continue;
 				}
@@ -220,8 +220,7 @@ struct XAigerWriter
 				}
 				else if (cell->output(c.first)) {
 					SigBit O = sigmap(b);
-					if (!w->port_output)
-						ci_bits.insert(O);
+					ci_bits.insert(O);
 					undriven_bits.erase(O);
 				}
 				else log_abort();
@@ -525,7 +524,7 @@ struct XAigerWriter
 					input_lines[a] += stringf("input %d %d %s\n", (a >> 1)-1, i, log_id(wire));
 				}
 
-				if (wire->port_output || co_bits.count(RTLIL::SigBit{wire, i})) {
+				if (output_bits.count(RTLIL::SigBit{wire, i}) || co_bits.count(RTLIL::SigBit{wire, i})) {
 					int o = ordered_outputs.at(sig[i]);
 					output_lines[o] += stringf("output %d %d %s\n", o, i, log_id(wire));
 				}
-- 
2.30.2