From 251562a4918576bd485bcdcc908c0ac780689a77 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 24 May 2018 18:13:38 +0200 Subject: [PATCH] Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGE Signed-off-by: Clifford Wolf --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 7ebcbca04..19273c69a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1393,7 +1393,7 @@ VerificClocking::VerificClocking(VerificImporter *importer, Net *net, bool sva_a return; } - if (inst != nullptr && inst->Type() == PRIM_SVA_POSEDGE) + while (inst != nullptr && inst->Type() == PRIM_SVA_POSEDGE) { net = inst->GetInput(); inst = net->Driver();; -- 2.30.2