From 9570b395193691967491a23be8af3efd79d01866 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 13 Oct 2025 09:57:22 +0200
Subject: [PATCH] verifix: fix bits() deprecation warnings

---
 frontends/verific/verific.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e56fd9e50..937789842 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1862,7 +1862,8 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 		if (bit.wire->attributes.count(ID::init))
 			initval = bit.wire->attributes.at(ID::init);
 
-		initval.resize(GetSize(bit.wire), State::Sx);
+		if (GetSize(initval) < GetSize(bit.wire))
+			initval.resize(GetSize(bit.wire), State::Sx);
 
 		if (it.second == '0')
 			initval.set(bit.offset, State::S0);