In reply to ben@SystemVerilog.us:
Hi Ben,
!b[*1] ##1 b[*0] or … // same as !b[*1] ##1 empty_match
// Same as
b[*0] or !b[*1] ##1 empty_match or !b[*2] ##1 empty_match
I am not clear on this.
**Shouldn’t ( !b[*1] ##1 b[*0] ) be equivalent to ( !b[1] ##0 true ) i.e !b[1] ?
Similarly !b[*2] ##1 b[*0] be equivalent to !b[*2] ##0 true i.e !b[*2]
In general !b[*N] ##1 b[*0] be equivalent to !b[*N] ##0 true i.e !b[*N]
So the resultant equivalent expression would be **!b[*0] or !b[*1] or !b[2] or … !b[N]