Add handling of verific OPER_REDUCE_NOR

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 1a16f7508033af84560888e1c9f1d3558191d128..e85e6cf71009d984dacc0d058a436f356c2c8bcc 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -478,6 +478,12 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr
                return true;
        }
 
+       if (inst->Type() == OPER_REDUCE_NOR) {
+               SigSpec t = module->ReduceOr(NEW_ID, IN, SIGNED);
+               module->addNot(inst_name, t, net_map_at(inst->GetOutput()));
+               return true;
+       }
+
        if (inst->Type() == OPER_LESSTHAN) {
                Net *net_cin = inst->GetCin();
                if (net_cin->IsGnd())