From 12d70ca8fbad73f2615e711e786f8b90fa005bee Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 12 Feb 2020 15:25:30 -0800
Subject: xilinx: improve specify functionality

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

(limited to 'backends')

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 3cf36aca8..c996b0776 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -227,6 +227,9 @@ struct XAigerWriter
 					continue;
 				}
 
+				if (cell->type.in("$specify2", "$specify3", "$specrule"))
+					continue;
+
 				if (inst_module) {
 					bool abc9_flop = false;
 					auto it = cell->attributes.find("\\abc9_box_seq");
-- 
cgit v1.2.3