Add comment to VIPER #13453 work-around

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 60fa6db3b465b36ffd62617530948265fed5e996..12f2fdd7fd76e0cb83fc3c4bc3678b3b35310bf8 100644 (file)
--- 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();