mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

verific: Handle conditions when using sva_at_only in VerificClocking

Browse source 
This handles conditions on clocked concurrent assertions in unclocked
procedural contexts.
This commit is contained in:
Jannis Harder 2023-04-21 16:51:42 +02:00
parent 7efc50367e
commit ec47bf1745
1 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
frontends/verific/verific.cc
View file

@ -2011,6 +2011,28 @@ VerificClocking::VerificClocking(VerificImporter *importer, Net *net, bool sva_a
Instance *inst = net->Driver(); Instance *inst = net->Driver();
// Detect condition expression in sva_at_only mode
if (sva_at_only)
do {
Instance *inst_mux = net->Driver();
if (inst_mux->Type() != PRIM_MUX)
break;
bool pwr1 = inst_mux->GetInput1()->IsPwr();
bool pwr2 = inst_mux->GetInput2()->IsPwr();
if (!pwr1 && !pwr2)
break;
Net *sva_net = pwr1 ? inst_mux->GetInput2() : inst_mux->GetInput1();
if (!verific_is_sva_net(importer, sva_net))
break;
inst = sva_net->Driver();
cond_net = inst_mux->GetControl();
cond_pol = pwr1;
} while (0);
if (inst != nullptr && inst->Type() == PRIM_SVA_AT) if (inst != nullptr && inst->Type() == PRIM_SVA_AT)
{ {
net = inst->GetInput1(); net = inst->GetInput1();