From 9a946c207fd4f5e18ce464e39d7d180c29ce5c23 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 28 May 2018 13:36:35 +0200 Subject: [PATCH] Add comment to VIPER #13453 work-around Signed-off-by: Clifford Wolf --- frontends/verific/verific.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 60fa6db3b..12f2fdd7f 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1395,6 +1395,7 @@ VerificClocking::VerificClocking(VerificImporter *importer, Net *net, bool sva_a return; } + // Use while() instead of if() to work around VIPER #13453 while (inst != nullptr && inst->Type() == PRIM_SVA_POSEDGE) { net = inst->GetInput(); -- 2.30.2