Binding-Module (SVA)

In reply to msaidi:

My question is: why not use bind?

Because using any other way, I think, you will change the DUT and that is not usual. You would be solving a problem and, probably, creating another.