diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-12-10 00:59:44 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-12-10 00:59:44 +0100 |
| commit | e4a4c0e10c39edeffcae19f2635feea4ea0300df (patch) | |
| tree | b22bb422d108e20f28fbe3319cb5efef6b169feb /frontends | |
| parent | 27916105a9f0d9fd27758257af3bf5d6300b26ca (diff) | |
| download | yosys-e4a4c0e10c39edeffcae19f2635feea4ea0300df.tar.gz yosys-e4a4c0e10c39edeffcae19f2635feea4ea0300df.tar.bz2 yosys-e4a4c0e10c39edeffcae19f2635feea4ea0300df.zip | |
Add Verific OPER_SVA_STABLE support
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 34 |
1 files changed, 32 insertions, 2 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 07ab44289..04133e5fb 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1140,6 +1140,34 @@ struct VerificImporter if (inst->Type() == PRIM_SVA_COVER) sva_covers.insert(inst); + if (inst->Type() == OPER_SVA_STABLE && !mode_nosva) + { + VerificClockEdge clock_edge(this, inst->GetInput2Bit(0)->Driver()); + + log_assert(inst->Input1Size() == inst->OutputSize()); + + SigSpec sig_d, sig_q, sig_o; + sig_q = module->addWire(NEW_ID, inst->Input1Size()); + + for (int i = int(inst->Input1Size())-1; i >= 0; i--){ + sig_d.append(net_map_at(inst->GetInput1Bit(i))); + sig_o.append(net_map_at(inst->GetOutputBit(i))); + } + + if (verbose) { + log(" %sedge FF with D=%s, Q=%s, C=%s.\n", clock_edge.posedge ? "pos" : "neg", + log_signal(sig_d), log_signal(sig_q), log_signal(clock_edge.clock_sig)); + log(" XNOR with A=%s, B=%s, Y=%s.\n", + log_signal(sig_d), log_signal(sig_q), log_signal(sig_o)); + } + + module->addDff(NEW_ID, clock_edge.clock_sig, sig_d, sig_q, clock_edge.posedge); + module->addXnor(NEW_ID, sig_d, sig_q, sig_o); + + if (!mode_keep) + continue; + } + if (inst->Type() == PRIM_SVA_PAST && !mode_nosva) { VerificClockEdge clock_edge(this, inst->GetInput2()->Driver()); @@ -1284,7 +1312,8 @@ struct VerificSvaPP if (!verific_sva_prims.count(inst->Type())) return nullptr; - if (inst->Type() == PRIM_SVA_PAST) + if (inst->Type() == PRIM_SVA_ROSE || inst->Type() == PRIM_SVA_FELL || + inst->Type() == PRIM_SVA_STABLE || inst->Type() == OPER_SVA_STABLE || inst->Type() == PRIM_SVA_PAST) return nullptr; return inst; @@ -1405,7 +1434,8 @@ struct VerificSvaImporter if (!verific_sva_prims.count(inst->Type())) return nullptr; - if (inst->Type() == PRIM_SVA_PAST) + if (inst->Type() == PRIM_SVA_ROSE || inst->Type() == PRIM_SVA_FELL || + inst->Type() == PRIM_SVA_STABLE || inst->Type() == OPER_SVA_STABLE || inst->Type() == PRIM_SVA_PAST) return nullptr; return inst; |