Hi Ben,
If the sampling of the variables “a” and “c” is done in the preponed region . And the evaluation is done on these sampled values (of “a” and “c”), which are not effected by the changes happening in the current cycle.
Then, why are the concurrent assertions evaluated in Observed region, is there any particular reason.
The assertion evaluation can be done in any region of the current cycle after the preponed region. Am i right in saying so? Please let me know if I am missing something.