Using a loop control variable in two different procedural blocks causes potential race condition

[x-Aksara-x]

Hi, all!

Using static analysis methods potential race condition was found in C910_RTL_FACTORY/gen_rtl/ciu/rtl/ct_ciu_ncq.v rtl model file.
Here is a quote from the LRM (IEEE 1800-2023, section 12.7.1):

If loops in two or more parallel processes use the same loop control variable, there is a potential of one loop modifying the variable while other loops are still using it.

A loop control variable was declared here and used in two different procedural blocks here and here.