hi,
- in the following sequence:
a ##1 b[m:n] ##1 c
does this imply
!c
during the time that:
b[m:n] ##1
?
- if so, is this true to other SVA tasks, for example:
a ##1 b[->1] ##1 c
implies:
!c
during the time that:
b[->1] ##1
?
thanks