In reply to Alokpati:
Hey, i do not think sva are meant to be used for connectivity check because:
- Using a clocked property you are adding load to the entire simulation
- There are tools that runs connectivity checks for you diving into the hier
- The clocked properties on your side are free running meaning that will check the equality every time eval point, instead connectivity checks claims: a change of a specific signal should propagate up to the load through the hier.
Anyway if you do not have clock dep then i would suggest:
Always_comb
Con_ck: assert #0 y==x; else $error(“connectivity not satisfied”);
If the context requires a clock then there is not choice rather then using a property but i would say trigger your property only when the driver changes (not using a @x bit like !stable in one or more cycle before activating the property)
Regards