From 0808318d55a4ac6ccb374393ab73c3b2bb27be6d Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 26 Mar 2020 09:22:27 -0700
Subject: xaiger: add check for $__ABC9_DELAY model

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

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()) {
-- 
cgit v1.2.3