Uniqe assertion label name

[user49]

In reply to asvn:

That’s a tool dependent thing. gen_blok[i].asssertion_label // i==1, 2, 3, …
Ben