Hi,
The antecedent values in a concurrent assertions are sampled in the preponed region. The only way antecedent gets updated value for the current clock cycle is through either blocking or non-blocking or continuous assignments(please correct me if I am wrong) which happen in Active or NBA regions after the preponed region. So essentially this means that the assertion check I am performing is based on previous clock cycle value of antecedent. Am I correct ?
Thanks