SVA evaluation

@Ben
Thanks for your inputs.

In which region immediate assertions are sampled and evaluated ?