Assertion for checking connectivity

In reply to Alokpati:

Hey, i do not think sva are meant to be used for connectivity check because:

  1. Using a clocked property you are adding load to the entire simulation
  2. There are tools that runs connectivity checks for you diving into the hier
  3. 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