In reply to OE93:
thanks I update some test initial sequence about ‘a’.
as you see, ‘a’ has to change as ‘1’ after disable period.
then the assertion is working I though. but problem is that assertion check in disable period.
so the assertion fail has propagated to non disable period.
I though that SVA does not sample in the disable period. but I SVA sampled the signal even in the disable period.
would you please let me know more detail about why time 13NS assertion has failed?
What am I supposed to do?