aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-10-14 17:41:24 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2022-10-14 17:41:24 +0200
commit48628fbf5a387deeb5dff18931628d19efd685a0 (patch)
treeeadc120a19834c6cab33b89ffece27ed35fecd4f /frontends/verific
parent922f8b614a8922d5c482f8e02a0bf0df8826b2d2 (diff)
downloadyosys-48628fbf5a387deeb5dff18931628d19efd685a0.tar.gz
yosys-48628fbf5a387deeb5dff18931628d19efd685a0.tar.bz2
yosys-48628fbf5a387deeb5dff18931628d19efd685a0.zip
Skip verific primitives and operators import by default
Diffstat (limited to 'frontends/verific')
-rw-r--r--frontends/verific/verific.cc1
1 files changed, 1 insertions, 0 deletions
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("");