From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Thu, 14 Feb 2019 21:27:26 +0000 (-0800)
Subject: Get rid of formal stuff from xaiger backend
X-Git-Tag: working-ls180~1237^2~334
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afa4389445adc8e53871af78ab1c38c98e03a6fc;p=yosys.git

Get rid of formal stuff from xaiger backend
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 7fc61fa9a..c5cede3b1 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -205,64 +205,6 @@ struct XAigerWriter
 				continue;
 			}
 
-			if (cell->type == "$assert")
-			{
-				SigBit A = sigmap(cell->getPort("\\A").as_bit());
-				SigBit EN = sigmap(cell->getPort("\\EN").as_bit());
-				unused_bits.erase(A);
-				unused_bits.erase(EN);
-				asserts.push_back(make_pair(A, EN));
-				continue;
-			}
-
-			if (cell->type == "$assume")
-			{
-				SigBit A = sigmap(cell->getPort("\\A").as_bit());
-				SigBit EN = sigmap(cell->getPort("\\EN").as_bit());
-				unused_bits.erase(A);
-				unused_bits.erase(EN);
-				assumes.push_back(make_pair(A, EN));
-				continue;
-			}
-
-			if (cell->type == "$live")
-			{
-				SigBit A = sigmap(cell->getPort("\\A").as_bit());
-				SigBit EN = sigmap(cell->getPort("\\EN").as_bit());
-				unused_bits.erase(A);
-				unused_bits.erase(EN);
-				liveness.push_back(make_pair(A, EN));
-				continue;
-			}
-
-			if (cell->type == "$fair")
-			{
-				SigBit A = sigmap(cell->getPort("\\A").as_bit());
-				SigBit EN = sigmap(cell->getPort("\\EN").as_bit());
-				unused_bits.erase(A);
-				unused_bits.erase(EN);
-				fairness.push_back(make_pair(A, EN));
-				continue;
-			}
-
-			if (cell->type == "$anyconst")
-			{
-				for (auto bit : sigmap(cell->getPort("\\Y"))) {
-					undriven_bits.erase(bit);
-					ff_map[bit] = bit;
-				}
-				continue;
-			}
-
-			if (cell->type == "$anyseq")
-			{
-				for (auto bit : sigmap(cell->getPort("\\Y"))) {
-					undriven_bits.erase(bit);
-					input_bits.insert(bit);
-				}
-				continue;
-			}
-
 			log_error("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));
 		}