From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 16 Apr 2019 05:27:36 +0000 (-0700)
Subject: Use abc_box_id
X-Git-Tag: working-ls180~1208^2~346
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=18108e024ae7d3b246aa83e8a9e7ac5327837d0a;p=yosys.git

Use abc_box_id
---

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();