From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 26 Mar 2020 16:22:27 +0000 (-0700)
Subject: xaiger: add check for $__ABC9_DELAY model
X-Git-Tag: working-ls180~660^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0808318d55a4ac6ccb374393ab73c3b2bb27be6d;p=yosys.git

xaiger: add check for $__ABC9_DELAY model
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 3b51d8685..3c7c745fe 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -280,6 +280,10 @@ struct XAigerWriter
 				if (abc9_flop)
 					continue;
 			}
+			else {
+				if (cell->type == ID($__ABC9_DELAY))
+					log_error("Cell type '%s' not recognised. Check that '+/abc9_model.v' has been read.\n", cell->type.c_str());
+			}
 
 			bool cell_known = inst_module || cell->known();
 			for (const auto &c : cell->connections()) {