How to write Assertions for timing registers

[sahmed01]

As the scope of the signal is within the property, how do i dump that signal into simvision?

Thanks-