Property specification using a generate block

[user60]

In reply to new_to_uvm:

The built-in $isunknown can handle bit-vector and hence the code you’ve would work for 16 bits without any change.

Srini
www.go2uvm.org