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();