Merge pull request #5267 from jix/verificsva-fix

mmicko · web-flow · commit da01e1768657 · 2025-08-05T13:08:51.000+02:00
verificsva: Fix typo in the cover only followed-by operator support
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
@@ -1616,7 +1616,7 @@ struct VerificSvaImporter
 				inst->Type() == PRIM_SVA_NON_OVERLAPPED_IMPLICATION ||
 				(mode_cover && (
 					inst->Type() == PRIM_SVA_OVERLAPPED_FOLLOWED_BY ||
-					inst->Type() == PRIM_SVA_NON_OVERLAPPED_IMPLICATION)))
+					inst->Type() == PRIM_SVA_NON_OVERLAPPED_FOLLOWED_BY)))
 		{
 			Net *antecedent_net = inst->GetInput1();
 			Net *consequent_net = inst->GetInput2();

Original file line number	Diff line number	Diff line change
`@@ -1616,7 +1616,7 @@ struct VerificSvaImporter`
`1616`	`1616`	`inst->Type() == PRIM_SVA_NON_OVERLAPPED_IMPLICATION \|\|`
`1617`	`1617`	`(mode_cover && (`
`1618`	`1618`	`inst->Type() == PRIM_SVA_OVERLAPPED_FOLLOWED_BY \|\|`
`1619`		`- inst->Type() == PRIM_SVA_NON_OVERLAPPED_IMPLICATION)))`
	`1619`	`+ inst->Type() == PRIM_SVA_NON_OVERLAPPED_FOLLOWED_BY)))`
`1620`	`1620`	`{`
`1621`	`1621`	`Net *antecedent_net = inst->GetInput1();`
`1622`	`1622`	`Net *consequent_net = inst->GetInput2();`