Interview Questions on Assertions

In reply to ben@SystemVerilog.us:

Hi Ben can you please clarify the following two questions

  1. can you please explain what the ‘1’ outside the [*0:] stands for? 1[*0:]

  2. Does [*0:] mean infinite repetitions? If yes, how is it different from [*1:] or [*n:$] where n is an integer