diff options
author | Claire Xen <claire@clairexen.net> | 2021-10-15 16:43:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-15 16:43:25 +0200 |
commit | 92ecfb2b36850072f4a7516190c8b6cc01f4beaf (patch) | |
tree | eefbbc9a20f6b714183891ccab21f57f08cb0a82 | |
parent | a0f5ba850111c6edc471d070057fa07b073141f4 (diff) | |
parent | 1aa68969660549ae9c0fd683c0a328c499694b49 (diff) | |
download | yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.tar.gz yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.tar.bz2 yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.zip |
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
Support PRIM_BUFIF1 primitive, fixes #2981
-rw-r--r-- | frontends/verific/verific.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 74638dc8d..fcacbd086 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -371,7 +371,7 @@ bool VerificImporter::import_netlist_instance_gates(Instance *inst, RTLIL::IdStr return true; } - if (inst->Type() == PRIM_TRI) { + if ((inst->Type() == PRIM_TRI) || (inst->Type() == PRIM_BUFIF1)) { module->addMuxGate(inst_name, RTLIL::State::Sz, net_map_at(inst->GetInput()), net_map_at(inst->GetControl()), net_map_at(inst->GetOutput())); return true; } @@ -497,7 +497,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr return true; } - if (inst->Type() == PRIM_TRI) { + if ((inst->Type() == PRIM_TRI) || (inst->Type() == PRIM_BUFIF1)) { cell = module->addMux(inst_name, RTLIL::State::Sz, net_map_at(inst->GetInput()), net_map_at(inst->GetControl()), net_map_at(inst->GetOutput())); import_attributes(cell->attributes, inst); return true; |