diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-10-14 17:41:24 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-10-14 17:41:24 +0200 |
| commit | 48628fbf5a387deeb5dff18931628d19efd685a0 (patch) | |
| tree | eadc120a19834c6cab33b89ffece27ed35fecd4f /frontends | |
| parent | 922f8b614a8922d5c482f8e02a0bf0df8826b2d2 (diff) | |
| download | yosys-48628fbf5a387deeb5dff18931628d19efd685a0.tar.gz yosys-48628fbf5a387deeb5dff18931628d19efd685a0.tar.bz2 yosys-48628fbf5a387deeb5dff18931628d19efd685a0.zip | |
Skip verific primitives and operators import by default
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 1 |
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(""); |