Hi Ben,
“Sampling in preponed region, execution in observed region, action block in reactive region”
Are these scheduling principles obeyed by assertion based formal verification tools as well, or do they have a different mechanism for sampling and evaluation?
Thanks.