Using non-blocking assignments for combincational logic

In reply to Farhad:

You have asked the same question before. If a clock goes through combinational logic with an NBA, you lose the determinism that the NBA was supposed to provide.

Also according to the LRM, variables that you make assignments to are not put into the senstivity list to re-trigger if you also plan on reading them in the same block. Some tools bend the rules, but you should not rely on that behavior.