From 75b62d01645bfb454a2e0452020938b598c0a02f Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Mon, 4 Aug 2025 15:38:19 +0200 Subject: [PATCH] verificsva: Fix typo in the cover only followed-by operator support --- frontends/verific/verificsva.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 6e87bd267..60d8292b8 100644 --- 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();