From 3c6e5d82a62650a48027d35e6d92a7a88ad43a16 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 5 Oct 2019 09:06:13 -0700
Subject: [PATCH] Error if $currQ not found

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

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 4547b9c09..3e3a8fdc6 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -485,7 +485,11 @@ struct XAigerWriter
 				if (box_module->get_bool_attribute("\\abc9_flop")) {
 					IdString port_name = "\\$currQ";
 					Wire *w = box_module->wire(port_name);
+					if (!w)
+						log_error("'$currQ' is not a wire present in module '%s'.\n", log_id(box_module));
 					SigSpec rhs = module->wire(stringf("%s.$currQ", cell->name.c_str()));
+					if (rhs.empty())
+						log_error("'%s.$currQ' is not a wire present in module '%s'.\n", log_id(cell), log_id(module));
 					log_assert(GetSize(w) == GetSize(rhs));
 
 					int offset = 0;
-- 
2.30.2