From 48628fbf5a387deeb5dff18931628d19efd685a0 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 14 Oct 2022 17:41:24 +0200
Subject: Skip verific primitives and operators import by default

---
 frontends/verific/verific.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'frontends/verific')

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 3ca124a87..71b87755d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3235,6 +3235,7 @@ struct VerificPass : public Pass {
 					MapIter mi ;
 					Verific::Cell *c ;
 					FOREACH_CELL_OF_LIBRARY(l,mi,c) {
+						if (!mode_verific && (l == Library::Primitives() || l == Library::Operators())) continue;
 						MapIter ni ;
 						if (c->NumOfNetlists() == 1) {
 							c->GetFirstNetlist()->SetName("");
-- 
cgit v1.2.3