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

[feiphung]

In reply to dave_59:

How to do assert(logic) inside a ‘for’ loop inside always@(*) block ?

I suppose it is easier to do assert() without ‘for’ loop OR inside always@(posedge clk) block