Procedural assertion is not allowed in looping statement

Procedural assertion is not allowed in a looping statement because procedural assertions are used to check certain conditions or constraints within a procedural block. Procedural assertions are typically used in procedural blocks like initial and always blocks, where they can be evaluated continuously or at specific times during simulation.

Looping statements, on the other hand, are used for repetitive execution of a block of code. They include constructs like for loops, while loops, and do-while loops. These looping statements are executed sequentially, without any conditional or constraint checking within the loop itself.

If there is a need to check conditions or constraints within a looping statement, it is recommended to use conditional statements like if-else or switch-case statements within the loop. Procedural assertions are better suited for use in procedural blocks outside of looping statements to ensure the desired conditions or constraints are met