Help with assertion inside always@(*) combinational block alongside with for loop

In reply to feiphung:

What is your question?