Concurrent assertions are active over period of time and does temporal checks. Concurrent assertions are written inside property.
See below example,
This property requires that at every clock cycle, if req comes, grant should be high after 2 clock cycles.
See below example,
1 2 3 | property reqGrant; @(posedge clock) req |-> ##2 grant; endproperty |
This property requires that at every clock cycle, if req comes, grant should be high after 2 clock cycles.
