I spent hours trying to figure out why " ##1 (1’b1,$display($stime,“y=%b”, y) )" was not being executed. For the developers to not execute it for efficiency reasons does not make sense. I wanted to know the final value of ‘y’ after one or more of the OR threads pass. If a thread is slated to execute, it must be executed.
But thanks very much for taking time to explain the concepts in such detail. I learnt a lot. Much appreciated. Thanks.