In reply to ben@SystemVerilog.us:
Thank you for replying Ben. I tried your suggestion but still getting same error:
Error-[SVATHTLHS] Temporal LHS of ‘throughout’ operator.
A temporal LHS is not allowed with the ‘throughout’ operator.
Expression: (( ##1 ((stable(gray_count) || (gray_count == "X")) [* 1:]))
throughout (iso_input [-> 1]))
One doubt: why did you suggest to use throughout (iso_input[->1]) instead of throughout (iso_input[->0])?
Intention is to check validity of sequence until iso_input is de-asserted.
Please let me know.
Thanks.