From 418bf61b8d70b1683cb0644dfc4646a271031ce4 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Thu, 11 Jan 2024 15:11:11 +0100
Subject: [PATCH] Ignore $scopeinfo in write_smv

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

diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
index 49c2cc7a6..44e200384 100644
--- a/backends/smv/smv.cc
+++ b/backends/smv/smv.cc
@@ -573,6 +573,9 @@ struct SmvWorker
 				continue;
 			}
 
+			if (cell->type == ID($scopeinfo))
+				continue;
+
 			if (cell->type[0] == '$') {
 				if (cell->type.in(ID($dffe), ID($sdff), ID($sdffe), ID($sdffce)) || cell->type.str().substr(0, 6) == "$_SDFF" || (cell->type.str().substr(0, 6) == "$_DFFE" && cell->type.str().size() == 10)) {
 					log_error("Unsupported cell type %s for cell %s.%s -- please run `dffunmap` before `write_smv`.\n",