How to check the connectivity of tb and dut signals using SVA?

In reply to KillSteal:

Thanks for your thoughts!