From 18108e024ae7d3b246aa83e8a9e7ac5327837d0a Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 15 Apr 2019 22:27:36 -0700
Subject: [PATCH] Use abc_box_id

---
 backends/aiger/xaiger.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index eb31bfcef..841adf8f6 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -571,7 +571,6 @@ struct XAigerWriter
 		write_h_buffer(input_bits.size());
 		write_h_buffer(num_outputs);
 		write_h_buffer(box_list.size());
-		int box_id = 0;
 		for (auto cell : box_list) {
 			int box_inputs = 0, box_outputs = 0;
 			for (const auto &c : cell->connections()) {
@@ -582,7 +581,7 @@ struct XAigerWriter
 			}
 			write_h_buffer(box_inputs);
 			write_h_buffer(box_outputs);
-			write_h_buffer(box_id++);
+			write_h_buffer(module->design->module(cell->type)->attributes.at("\\abc_box_id").as_int());
 			write_h_buffer(0 /* OldBoxNum */);
 		}
 		std::string h_buffer_str = h_buffer.str();
-- 
2.30.2